Janusz A. Brzozowski

Janusz A. Brzozowski, Galina Jirásková, Baiyu Li: Quotient complexity of ideal languages. Theor. Comput. Sci. 470: 36-52 (2013)

Janusz A. Brzozowski, Hellis Tamm: Minimal Nondeterministic Finite Automata and Atoms of Regular Languages. CoRR abs/1301.5585 (2013)

Janusz A. Brzozowski, Gareth Davies: Maximal Syntactic Complexity of Regular Languages Implies Maximal Quotient Complexities of Atoms. CoRR abs/1302.3906 (2013)

Janusz A. Brzozowski, Baiyu Li, Yuli Ye: On the Complexity of the Evaluation of Transient Extensions of Boolean Functions. Int. J. Found. Comput. Sci. 23(1): 21-35 (2012)

Janusz A. Brzozowski, Bo Liu: Quotient Complexity of Star-Free Languages. Int. J. Found. Comput. Sci. 23(6): 1261-1276 (2012)

Janusz A. Brzozowski, Baiyu Li, Yuli Ye: Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages. Theor. Comput. Sci. 449: 37-53 (2012)

Janusz A. Brzozowski, Baiyu Li: Syntactic Complexities of Some Classes of Star-Free Languages. DCFS 2012: 117-129

Janusz A. Brzozowski, Hellis Tamm: Quotient Complexities of Atoms of Regular Languages. Developments in Language Theory 2012: 50-61

Janusz A. Brzozowski: In Search of Most Complex Regular Languages. CIAA 2012: 5-24

Janusz A. Brzozowski, Hellis Tamm: Quotient Complexities of Atoms of Regular Languages. CoRR abs/1201.0295 (2012)

Janusz A. Brzozowski, David Liu: Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages. CoRR abs/1203.2873 (2012)

Janusz A. Brzozowski, David Liu: Universal Witnesses for State Complexity of Basic Operations Combined with Reversal. CoRR abs/1207.0535 (2012)

Janusz A. Brzozowski, David Liu: Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star. CoRR abs/1207.1982 (2012)

Janusz A. Brzozowski, Baiyu Li: Syntactic Complexity of R- and J-Trivial Regular Languages. CoRR abs/1208.4650 (2012)

Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision problems for convex languages. Inf. Comput. 209(3): 353-367 (2011)

Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem. Int. J. Found. Comput. Sci. 22(2): 301-321 (2011)

Janusz A. Brzozowski, Galina Jirásková, Baiyu Li, Joshua Smith: Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages. AFL 2011: 123-137

Janusz A. Brzozowski, Bo Liu: Quotient Complexity of Star-Free Languages. AFL 2011: 138-152

Janusz A. Brzozowski, Baiyu Li, Yuli Ye: Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages. DCFS 2011: 93-106

Janusz A. Brzozowski, Hellis Tamm: Theory of Átomata. Developments in Language Theory 2011: 105-116

Janusz A. Brzozowski, Yuli Ye: Syntactic Complexity of Ideal and Closed Languages. Developments in Language Theory 2011: 117-128

Janusz A. Brzozowski, Hellis Tamm: Theory of Atomata. CoRR abs/1102.3901 (2011)

Janusz A. Brzozowski, Baiyu Li, Yuli Ye: Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Languages. CoRR abs/1103.2986 (2011)

Janusz A. Brzozowski, Baiyu Li: Syntactic Complexity of Star-Free Languages. CoRR abs/1109.3381 (2011)

Janusz A. Brzozowski: Quotient Complexity of Regular Languages. Journal of Automata, Languages and Combinatorics 15(1/2): 71-89 (2010)

Janusz A. Brzozowski, Yuli Ye: Gate Circuits with Feedback in Finite Multivalued Algebras of Transients. Multiple-Valued Logic and Soft Computing 16(1-2): 155-176 (2010)

Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou: Quotient Complexity of Closed Languages. CSR 2010: 84-95

Janusz A. Brzozowski: Complexity in Convex Languages. LATA 2010: 1-15

Janusz A. Brzozowski, Galina Jirásková, Baiyu Li: Quotient Complexity of Ideal Languages. LATIN 2010: 208-221

Janusz A. Brzozowski, Baiyu Li, Yuli Ye: On the Complexity of the Evaluation of Transient Extensions of Boolean Functions. DCFS 2010: 27-37

Janusz A. Brzozowski, Galina Jirásková, Joshua Smith: Quotient Complexity of Bifix-, Factor-, and Subword-Free Languages. CoRR abs/1006.4843 (2010)

Janusz A. Brzozowski, Yuli Ye: Syntactic Complexity of Ideal and Closed Languages. CoRR abs/1010.3263 (2010)

Janusz A. Brzozowski, Bo Liu: Quotient Complexity of Star-Free Languages. CoRR abs/1012.3962 (2010)

Thomas Ang, Janusz A. Brzozowski: Languages Convex with Respect to Binary Relations, and Their Closure Properties. Acta Cybern. 19(2): 445-464 (2009)

Janusz A. Brzozowski, Stavros Konstantinidis: State-complexity hierarchies of uniform languages of alphabet-size length. Theor. Comput. Sci. 410(35): 3223-3235 (2009)

Janusz A. Brzozowski, Nicolae Santean: Predictable semiautomata. Theor. Comput. Sci. 410(35): 3236-3249 (2009)

Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem. Developments in Language Theory 2009: 125-144

Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision Problems for Convex Languages. LATA 2009: 247-258

Janusz A. Brzozowski: Quotient Complexity of Regular Languages. DCFS 2009: 17-28

Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem. CoRR abs/0901.3761 (2009)

Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages: Concatenation, Separation, and Algorithms. CoRR abs/0901.3763 (2009)

Janusz A. Brzozowski, Galina Jirásková, Baiyu Li: Quotient complexity of ideal languages. CoRR abs/0908.2083 (2009)

Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou: Quotient Complexity of Closed Languages. CoRR abs/0912.1034 (2009)

Thomas Ang, Janusz A. Brzozowski: Continuous Languages. AFL 2008: 74-85

Janusz A. Brzozowski, Stavros Konstantinidis: State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length. DCFS 2008: 97-108

Janusz A. Brzozowski, Nicolae Santean: Determinism without Determinization. DCFS 2008: 109-120

Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision Problems For Convex Languages. CoRR abs/0808.1928 (2008)

Janusz A. Brzozowski, Helmut Jürgensen: Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules. Int. J. Found. Comput. Sci. 18(5): 1065-1087 (2007)

Janusz A. Brzozowski, Yuli Ye: Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. ISMVL 2007: 46

Yuli Ye, Janusz A. Brzozowski: Covering of Transient Simulation of Feedback-free Circuits by Binary Analysis. Int. J. Found. Comput. Sci. 17(4): 949-974 (2006)

Janusz A. Brzozowski, Helmut Jürgensen: Errata: "representation of Semiautomata by Canonical Words and Equivalences". Int. J. Found. Comput. Sci. 17(5): 1231-1232 (2006)

Janusz A. Brzozowski: Representation of a class of nondeterministic semiautomata by canonical words. Theor. Comput. Sci. 356(1-2): 46-57 (2006)

Janusz A. Brzozowski: Topics in Asynchronous Circuit Theory. Recent Advances in Formal Languages and Applications 2006: 11-42

Janusz A. Brzozowski, Helmut Jürgensen: Representation of semiautomata by canonical words and equivalences. Int. J. Found. Comput. Sci. 16(5): 831-850 (2005)

Janusz A. Brzozowski, Mihaela Gheorghiu: Gate circuits in the algebra of transients. ITA 39(1): 67-91 (2005)

Janusz A. Brzozowski: Involuted Semilattices and Uncertainty in Ternary Algebras. IJAC 14(3): 295-310 (2004)

Janusz A. Brzozowski, Radu Negulescu: Duality for Three: Ternary Symmetry in Process Spaces. Theory Is Forever 2004: 1-14

Janusz A. Brzozowski, Helmut Jürgensen: Representation of Semiautomata by Canonical Words and Equivalences. DCFS 2004: 13-27

Signe J. Silver, Janusz A. Brzozowski: True Concurrency in Models of Asynchronous Circuit Behavior. Formal Methods in System Design 22(3): 183-203 (2003)

Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras. Formal Methods in System Design 23(3): 223-256 (2003)

Mihaela Gheorghiu, Janusz A. Brzozowski: Simulation Of Feedback-Free Circuits In The Algebra Of Transients. Int. J. Found. Comput. Sci. 14(6): 1033-1054 (2003)

Piotr R. Sidorowicz, Janusz A. Brzozowski: A framework for testing special-purpose memories. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1459-1468 (2002)

Janusz A. Brzozowski, Mihaela Gheorghiu: Simulation of Gate Circuits in the Algebra of Transients. CIAA 2002: 57-66

Mihaela Gheorghiu, Janusz A. Brzozowski: Feedback-Free Circuits in the Algebra of Transients. CIAA 2002: 106-116

Janusz A. Brzozowski: A Characterization of De Morgan Algebras. IJAC 11(5): 525-528 (2001)

Janusz A. Brzozowski, Zoltán Ésik, Y. Iland: Algebras for Hazard Detection. ISMVL 2001: 3-

Janusz A. Brzozowski, Hao Zhang: Delay-Insensitivity and Semi-Modularity. Formal Methods in System Design 16(2): 191-218 (2000)

Janusz A. Brzozowski, Radu Negulescu: Automata of Asynchronous Behaviors. Theor. Comput. Sci. 231(1): 113-128 (2000)

Janusz A. Brzozowski: Delay-insensitivity and ternary simulation. Theor. Comput. Sci. 245(1): 3-25 (2000)

Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras (Extended Abstract). A Half-Century of Automata Theory 2000: 1-19

Janusz A. Brzozowski: De Morgan Bisemilattices. ISMVL 2000: 173-178

C.-J. Richard Shi, Janusz A. Brzozowski: A Characterization of Signed Hypergraphs and Its Applications to VLSI Via Minimization and Logic Synthesis. Discrete Applied Mathematics 90(1-3): 223-243 (1999)

Janusz A. Brzozowski, Helmut Jürgensen: Erratum to An Algebra of Multiple Faults in RAMs. J. Electronic Testing 14(3): 305-306 (1999)

Janusz A. Brzozowski, Helmut Jürgensen: Semilattices of Fault Semiautomata. Jewels are Forever 1999: 3-15

J. J. Lou, Janusz A. Brzozowski: A Generalization of Shestakov's Function Decomposition Method. ISMVL 1999: 66-71

Radu Negulescu, Janusz A. Brzozowski: Relative Liveness: From Intuition to Automated Verification. Formal Methods in System Design 12(1): 73-115 (1998)

C.-J. Richard Shi, Janusz A. Brzozowski: Cluster-cover a theoretical framework for a class of VLSI-CAD optimization problems. ACM Trans. Design Autom. Electr. Syst. 3(1): 76-107 (1998)

Piotr R. Sidorowicz, Janusz A. Brzozowski: An Approach to Modeling and Testing Memories and Its Application to CAMs. VTS 1998: 411-417

R. David, Janusz A. Brzozowski, Helmut Jürgensen: Testing for Bounded Faults in RAMs. J. Electronic Testing 10(3): 197-214 (1997)

Janusz A. Brzozowski, Radu Negulescu: Automata of Asynchronous Behaviors. Workshop on Implementing Automata 1997: 29-45

Janusz A. Brzozowski, Helmut Jürgensen: An algebra of multiple faults in RAMs. J. Electronic Testing 8(2): 129-142 (1996)

Janusz A. Brzozowski, Carl-Johan H. Seger: Asynchronous circuits. Monographs in computer science, Springer 1995, isbn 978-0-387-94420-3, pp. I-XVI, 1-404

C.-J. Richard Shi, Janusz A. Brzozowski: A framework for the analysis and design of algorithms for a class of VLSI-CAD optimization problems. ASP-DAC 1995

Radu Negulescu, Janusz A. Brzozowski: Relative liveness: from intuition to automated verification. ASYNC 1995: 108-117

Janusz A. Brzozowski, Kaamran Raahemifar: Testing C-elements is not elementary. ASYNC 1995: 150-159

Carl-Johan H. Seger, Janusz A. Brzozowski: Generalized Ternary Simulation of Sequential Circuits. ITA 28(3-4): 159-186 (1994)

Janusz A. Brzozowski, Helmut Jürgensen: A model for sequential machine testing and diagnosis. J. Electronic Testing 3(3): 219-234 (1992)

Bruce F. Cockburn, Janusz A. Brzozowski: Near-optimal tests for classes of write-triggered coupling faults in RAMs. J. Electronic Testing 3(3): 251-264 (1992)

Janusz A. Brzozowski, Jo C. Ebergen: On the Delay-Sensitivity of Gate Networks. IEEE Trans. Computers 41(11): 1349-1360 (1992)

Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat: Consistency and satisfiability of waveform timing specifications. Networks 21(1): 91-107 (1991)

Janusz A. Brzozowski, Bruce F. Cockburn: Detection of coupling faults in RAMs. J. Electronic Testing 1(2): 151-162 (1990)

Janusz A. Brzozowski: Minimization by reversal is not new. Bulletin of the EATCS 37: 130 (1989)

Janusz A. Brzozowski, Carl-Johan H. Seger: A unified framework for race analysis of asynchronous networks. J. ACM 36(1): 20-45 (1989)

Janusz A. Brzozowski, Jo C. Ebergen: Recent Developments in the Design of Asynchronous Circuits. FCT 1989: 78-94

Carl-Johan H. Seger, Janusz A. Brzozowski: An Optimistic Ternary Simulation of Gate Races. Theor. Comput. Sci. 61: 49-66 (1988)

Janusz A. Brzozowski, Carl-Johan H. Seger: A Characterization of Ternary Simulation of Gate Networks. IEEE Trans. Computers 36(11): 1318-1327 (1987)

Janusz A. Brzozowski, Robert Knast: Graph Congruences and Pair Testing. ITA 20(2): 129-147 (1986)

Janusz A. Brzozowski, Michael Yoeli: Combinatorial Static CMOD Networks (Extended Summary). Aegean Workshop on Computing 1986: 271-282

Janusz A. Brzozowski, Carl-Johan H. Seger: Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary). ICALP 1986: 69-78

Janusz A. Brzozowski, S. Muro: On serializability. International Journal of Parallel Programming 14(6): 387-403 (1985)

Janusz A. Brzozowski, Faith E. Fich: On generalized locally testable languages. Discrete Mathematics 50: 153-169 (1984)

Janusz A. Brzozowski, Faith E. Fich: Languages of R-Trivial Monoids. J. Comput. Syst. Sci. 20(1): 32-49 (1980)

Janusz A. Brzozowski, Ernst L. Leiss: On Equations for Regular Languages, Finite Automata, and Sequential Networks. Theor. Comput. Sci. 10: 19-35 (1980)

Janusz A. Brzozowski: Developments in the Theory of regular Languages. IFIP Congress 1980: 29-40

Janusz A. Brzozowski, Michael Yoeli: On a Ternary Model of Gate Networks. IEEE Trans. Computers 28(3): 178-184 (1979)

Faith E. Fich, Janusz A. Brzozowski: A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. ICALP 1979: 230-244

Janusz A. Brzozowski, Robert Knast: The Dot-Depth Hierarchy of Star-Free Languages is Infinite. J. Comput. Syst. Sci. 16(1): 37-55 (1978)

Janusz A. Brzozowski: Hierarchies of Aperiodic Languages. ITA 10(2): 33-49 (1976)

Janusz A. Brzozowski, Michael Yoeli: Models for Analysis of Races in Sequential Networks. MFCS 1974: 26-32

Rina S. Cohen, Janusz A. Brzozowski: Dot-Depth of Star-Free Events. J. Comput. Syst. Sci. 5(1): 1-16 (1971)

Janusz A. Brzozowski, Karel Culik II, Armen Gabrielian: Classification of Noncounting Events. J. Comput. Syst. Sci. 5(1): 41-53 (1971)

Janusz A. Brzozowski, Imre Simon: Characterizations of Locally Testable Events. SWAT (FOCS) 1971: 166-176

Rina S. Cohen, Janusz A. Brzozowski: General Properties of Star Height of Regular Events. J. Comput. Syst. Sci. 4(3): 260-280 (1970)

Janusz A. Brzozowski, Rina S. Cohen: On Decompositions of Regular Events. J. ACM 16(1): 132-144 (1969)

Janusz A. Brzozowski: Regular-Like Expressions for Some Irregular Languages. SWAT (FOCS) 1968: 278-286

Janusz A. Brzozowski: On Single-Loop Realizations of Sequential Machines. Information and Control 10(3): 292-314 (1967)

Janusz A. Brzozowski: Roots of Star Events. J. ACM 14(3): 466-477 (1967)

Janusz A. Brzozowski, Rina S. Cohen: On Decompositions of Regular Events. SWAT (FOCS) 1967: 255-264

Rina S. Cohen, Janusz A. Brzozowski: On the Star Height of Regular Events. SWAT (FOCS) 1967: 265-279

Janusz A. Brzozowski: Roots of Star Events. SWAT (FOCS) 1966: 88-95

Janusz A. Brzozowski: On single-loop realizations of automata. SWCT (FOCS) 1965: 84-93

Janusz A. Brzozowski: Derivatives of Regular Expressions. J. ACM 11(4): 481-494 (1964)

Wayne A. Davis, Janusz A. Brzozowski: On the linearity of sequential machines. SWCT (FOCS) 1964: 197-208