![]() | ![]() |
John Brzozowski
List of publications from the DBLP Bibliography Server - FAQ
| 2012 | ||
|---|---|---|
| 110 | Janusz A. Brzozowski, Hellis Tamm: Quotient Complexities of Atoms of Regular Languages CoRR abs/1201.0295: (2012) | |
| 109 | Janusz A. Brzozowski, David Liu: Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages CoRR abs/1203.2873: (2012) | |
| 108 | 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) | |
| 2011 | ||
| 107 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li, Joshua Smith: Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages. AFL 2011: 123-137 | |
| 106 | Janusz A. Brzozowski, Bo Liu: Quotient Complexity of Star-Free Languages. AFL 2011: 138-152 | |
| 105 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye: Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages. DCFS 2011: 93-106 | |
| 104 | Janusz A. Brzozowski, Hellis Tamm: Theory of Átomata. Developments in Language Theory 2011: 105-116 | |
| 103 | Janusz A. Brzozowski, Yuli Ye: Syntactic Complexity of Ideal and Closed Languages. Developments in Language Theory 2011: 117-128 | |
| 102 | Janusz A. Brzozowski, Hellis Tamm: Theory of Atomata CoRR abs/1102.3901: (2011) | |
| 101 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye: Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Languages CoRR abs/1103.2986: (2011) | |
| 100 | Janusz A. Brzozowski, Baiyu Li: Syntactic Complexity of Star-Free Languages CoRR abs/1109.3381: (2011) | |
| 99 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision problems for convex languages. Inf. Comput. 209(3): 353-367 (2011) | |
| 98 | 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) | |
| 2010 | ||
| 97 | Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou: Quotient Complexity of Closed Languages. CSR 2010: 84-95 | |
| 96 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye: On the Complexity of the Evaluation of Transient Extensions of Boolean Functions DCFS 2010: 27-37 | |
| 95 | Janusz A. Brzozowski: Complexity in Convex Languages. LATA 2010: 1-15 | |
| 94 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li: Quotient Complexity of Ideal Languages. LATIN 2010: 208-221 | |
| 93 | Janusz A. Brzozowski, Galina Jirásková, Joshua Smith: Quotient Complexity of Bifix-, Factor-, and Subword-Free Languages CoRR abs/1006.4843: (2010) | |
| 92 | Janusz A. Brzozowski, Yuli Ye: Syntactic Complexity of Ideal and Closed Languages CoRR abs/1010.3263: (2010) | |
| 91 | Janusz A. Brzozowski, Bo Liu: Quotient Complexity of Star-Free Languages CoRR abs/1012.3962: (2010) | |
| 90 | 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) | |
| 2009 | ||
| 89 | Janusz A. Brzozowski: Quotient Complexity of Regular Languages DCFS 2009: 17-28 | |
| 88 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem. Developments in Language Theory 2009: 125-144 | |
| 87 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision Problems for Convex Languages. LATA 2009: 247-258 | |
| 86 | Thomas Ang, Janusz A. Brzozowski: Languages Convex with Respect to Binary Relations, and Their Closure Properties. Acta Cybern. 19(2): 445-464 (2009) | |
| 85 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem CoRR abs/0901.3761: (2009) | |
| 84 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages: Concatenation, Separation, and Algorithms CoRR abs/0901.3763: (2009) | |
| 83 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li: Quotient complexity of ideal languages CoRR abs/0908.2083: (2009) | |
| 82 | Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou: Quotient Complexity of Closed Languages CoRR abs/0912.1034: (2009) | |
| 81 | Janusz A. Brzozowski, Stavros Konstantinidis: State-complexity hierarchies of uniform languages of alphabet-size length. Theor. Comput. Sci. 410(35): 3223-3235 (2009) | |
| 80 | Janusz A. Brzozowski, Nicolae Santean: Predictable semiautomata. Theor. Comput. Sci. 410(35): 3236-3249 (2009) | |
| 2008 | ||
| 79 | Thomas Ang, Janusz A. Brzozowski: Continuous Languages. AFL 2008: 74-85 | |
| 78 | Janusz A. Brzozowski, Nicolae Santean: Determinism without Determinization. DCFS 2008: 109-120 | |
| 77 | Janusz A. Brzozowski, Stavros Konstantinidis: State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length. DCFS 2008: 97-108 | |
| 76 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu: Decision Problems For Convex Languages CoRR abs/0808.1928: (2008) | |
| 2007 | ||
| 75 | Janusz A. Brzozowski, Yuli Ye: Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. ISMVL 2007: 46 | |
| 74 | 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) | |
| 2006 | ||
| 73 | Janusz A. Brzozowski: Topics in Asynchronous Circuit Theory. Recent Advances in Formal Languages and Applications 2006: 11-42 | |
| 72 | 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) | |
| 71 | 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) | |
| 70 | Janusz A. Brzozowski: Representation of a class of nondeterministic semiautomata by canonical words. Theor. Comput. Sci. 356(1-2): 46-57 (2006) | |
| 2005 | ||
| 69 | Janusz A. Brzozowski, Mihaela Gheorghiu: Gate circuits in the algebra of transients. ITA 39(1): 67-91 (2005) | |
| 68 | Janusz A. Brzozowski, Helmut Jürgensen: Representation of semiautomata by canonical words and equivalences. Int. J. Found. Comput. Sci. 16(5): 831-850 (2005) | |
| 2004 | ||
| 67 | Janusz A. Brzozowski, Helmut Jürgensen: Representation of Semiautomata by Canonical Words and Equivalences. DCFS 2004: 13-27 | |
| 66 | Janusz A. Brzozowski, Radu Negulescu: Duality for Three: Ternary Symmetry in Process Spaces. Theory Is Forever 2004: 1-14 | |
| 65 | Janusz A. Brzozowski: Involuted Semilattices and Uncertainty in Ternary Algebras. IJAC 14(3): 295-310 (2004) | |
| 2003 | ||
| 64 | Signe J. Silver, Janusz A. Brzozowski: True Concurrency in Models of Asynchronous Circuit Behavior. Formal Methods in System Design 22(3): 183-203 (2003) | |
| 63 | Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras. Formal Methods in System Design 23(3): 223-256 (2003) | |
| 62 | 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) | |
| 2002 | ||
| 61 | Mihaela Gheorghiu, Janusz A. Brzozowski: Feedback-Free Circuits in the Algebra of Transients. CIAA 2002: 106-116 | |
| 60 | Janusz A. Brzozowski, Mihaela Gheorghiu: Simulation of Gate Circuits in the Algebra of Transients. CIAA 2002: 57-66 | |
| 59 | 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) | |
| 2001 | ||
| 58 | Janusz A. Brzozowski, Zoltán Ésik, Y. Iland: Algebras for Hazard Detection. ISMVL 2001: 3- | |
| 57 | Janusz A. Brzozowski: A Characterization of De Morgan Algebras. IJAC 11(5): 525-528 (2001) | |
| 2000 | ||
| 56 | Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras (Extended Abstract). A Half-Century of Automata Theory 2000: 1-19 | |
| 55 | Janusz A. Brzozowski: De Morgan Bisemilattices. ISMVL 2000: 173-178 | |
| 54 | Janusz A. Brzozowski, Hao Zhang: Delay-Insensitivity and Semi-Modularity. Formal Methods in System Design 16(2): 191-218 (2000) | |
| 53 | Janusz A. Brzozowski, Radu Negulescu: Automata of Asynchronous Behaviors. Theor. Comput. Sci. 231(1): 113-128 (2000) | |
| 52 | Janusz A. Brzozowski: Delay-insensitivity and ternary simulation. Theor. Comput. Sci. 245(1): 3-25 (2000) | |
| 1999 | ||
| 51 | J. J. Lou, Janusz A. Brzozowski: A Generalization of Shestakov's Function Decomposition Method. ISMVL 1999: 66-71 | |
| 50 | Janusz A. Brzozowski, Helmut Jürgensen: Semilattices of Fault Semiautomata. Jewels are Forever 1999: 3-15 | |
| 49 | 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) | |
| 48 | Janusz A. Brzozowski, Helmut Jürgensen: Erratum to An Algebra of Multiple Faults in RAMs. J. Electronic Testing 14(3): 305-306 (1999) | |
| 1998 | ||
| 47 | Piotr R. Sidorowicz, Janusz A. Brzozowski: An Approach to Modeling and Testing Memories and Its Application to CAMs. VTS 1998: 411-417 | |
| 46 | 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) | |
| 45 | Radu Negulescu, Janusz A. Brzozowski: Relative Liveness: From Intuition to Automated Verification. Formal Methods in System Design 12(1): 73-115 (1998) | |
| 1997 | ||
| 44 | Janusz A. Brzozowski, Radu Negulescu: Automata of Asynchronous Behaviors. Workshop on Implementing Automata 1997: 29-45 | |
| 43 | R. David, Janusz A. Brzozowski, Helmut Jürgensen: Testing for Bounded Faults in RAMs. J. Electronic Testing 10(3): 197-214 (1997) | |
| 1996 | ||
| 42 | Janusz A. Brzozowski, Helmut Jürgensen: An algebra of multiple faults in RAMs. J. Electronic Testing 8(2): 129-142 (1996) | |
| 1995 | ||
| 41 | Janusz A. Brzozowski, Carl-Johan H. Seger: Asynchronous circuits. Springer 1995: I-XVI, 1-404 | |
| 40 | 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 | |
| 39 | Radu Negulescu, Janusz A. Brzozowski: Relative liveness: from intuition to automated verification. ASYNC 1995: 108-117 | |
| 38 | Janusz A. Brzozowski, Kaamran Raahemifar: Testing C-elements is not elementary. ASYNC 1995: 150-159 | |
| 1994 | ||
| 37 | Carl-Johan H. Seger, Janusz A. Brzozowski: Generalized Ternary Simulation of Sequential Circuits. ITA 28(3-4): 159-186 (1994) | |
| 1992 | ||
| 36 | Janusz A. Brzozowski, Jo C. Ebergen: On the Delay-Sensitivity of Gate Networks. IEEE Trans. Computers 41(11): 1349-1360 (1992) | |
| 35 | Janusz A. Brzozowski, Helmut Jürgensen: A model for sequential machine testing and diagnosis. J. Electronic Testing 3(3): 219-234 (1992) | |
| 34 | 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) | |
| 1990 | ||
| 33 | Janusz A. Brzozowski, Bruce F. Cockburn: Detection of coupling faults in RAMs. J. Electronic Testing 1(2): 151-162 (1990) | |
| 1989 | ||
| 32 | Janusz A. Brzozowski, Jo C. Ebergen: Recent Developments in the Design of Asynchronous Circuits. FCT 1989: 78-94 | |
| 31 | Janusz A. Brzozowski: Minimization by reversal is not new. Bulletin of the EATCS 37: 130 (1989) | |
| 30 | Janusz A. Brzozowski, Carl-Johan H. Seger: A unified framework for race analysis of asynchronous networks. J. ACM 36(1): 20-45 (1989) | |
| 1988 | ||
| 29 | Carl-Johan H. Seger, Janusz A. Brzozowski: An Optimistic Ternary Simulation of Gate Races. Theor. Comput. Sci. 61: 49-66 (1988) | |
| 1987 | ||
| 28 | Janusz A. Brzozowski, Carl-Johan H. Seger: A Characterization of Ternary Simulation of Gate Networks. IEEE Trans. Computers 36(11): 1318-1327 (1987) | |
| 1986 | ||
| 27 | Janusz A. Brzozowski, Michael Yoeli: Combinatorial Static CMOD Networks (Extended Summary). Aegean Workshop on Computing 1986: 271-282 | |
| 26 | Janusz A. Brzozowski, Carl-Johan H. Seger: Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary). ICALP 1986: 69-78 | |
| 25 | Janusz A. Brzozowski, Robert Knast: Graph Congruences and Pair Testing. ITA 20(2): 129-147 (1986) | |
| 1985 | ||
| 24 | Janusz A. Brzozowski, S. Muro: On serializability. International Journal of Parallel Programming 14(6): 387-403 (1985) | |
| 1984 | ||
| 23 | Janusz A. Brzozowski, Faith E. Fich: On generalized locally testable languages. Discrete Mathematics 50: 153-169 (1984) | |
| 1980 | ||
| 22 | Janusz A. Brzozowski: Developments in the Theory of regular Languages. IFIP Congress 1980: 29-40 | |
| 21 | Janusz A. Brzozowski, Faith E. Fich: Languages of R-Trivial Monoids. J. Comput. Syst. Sci. 20(1): 32-49 (1980) | |
| 20 | Janusz A. Brzozowski, Ernst L. Leiss: On Equations for Regular Languages, Finite Automata, and Sequential Networks. Theor. Comput. Sci. 10: 19-35 (1980) | |
| 1979 | ||
| 19 | Faith E. Fich, Janusz A. Brzozowski: A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. ICALP 1979: 230-244 | |
| 18 | Janusz A. Brzozowski, Michael Yoeli: On a Ternary Model of Gate Networks. IEEE Trans. Computers 28(3): 178-184 (1979) | |
| 1978 | ||
| 17 | Janusz A. Brzozowski, Robert Knast: The Dot-Depth Hierarchy of Star-Free Languages is Infinite. J. Comput. Syst. Sci. 16(1): 37-55 (1978) | |
| 1976 | ||
| 16 | Janusz A. Brzozowski: Hierarchies of Aperiodic Languages. ITA 10(2): 33-49 (1976) | |
| 1974 | ||
| 15 | Janusz A. Brzozowski, Michael Yoeli: Models for Analysis of Races in Sequential Networks. MFCS 1974: 26-32 | |
| 1971 | ||
| 14 | Janusz A. Brzozowski, Imre Simon: Characterizations of Locally Testable Events SWAT (FOCS) 1971: 166-176 | |
| 13 | Rina S. Cohen, Janusz A. Brzozowski: Dot-Depth of Star-Free Events. J. Comput. Syst. Sci. 5(1): 1-16 (1971) | |
| 12 | Janusz A. Brzozowski, Karel Culik II, Armen Gabrielian: Classification of Noncounting Events. J. Comput. Syst. Sci. 5(1): 41-53 (1971) | |
| 1970 | ||
| 11 | Rina S. Cohen, Janusz A. Brzozowski: General Properties of Star Height of Regular Events. J. Comput. Syst. Sci. 4(3): 260-280 (1970) | |
| 1969 | ||
| 10 | Janusz A. Brzozowski, Rina S. Cohen: On Decompositions of Regular Events. J. ACM 16(1): 132-144 (1969) | |
| 1968 | ||
| 9 | Janusz A. Brzozowski: Regular-Like Expressions for Some Irregular Languages SWAT (FOCS) 1968: 278-286 | |
| 1967 | ||
| 8 | Janusz A. Brzozowski, Rina S. Cohen: On Decompositions of Regular Events SWAT (FOCS) 1967: 255-264 | |
| 7 | Rina S. Cohen, Janusz A. Brzozowski: On the Star Height of Regular Events SWAT (FOCS) 1967: 265-279 | |
| 6 | Janusz A. Brzozowski: On Single-Loop Realizations of Sequential Machines Information and Control 10(3): 292-314 (1967) | |
| 5 | Janusz A. Brzozowski: Roots of Star Events. J. ACM 14(3): 466-477 (1967) | |
| 1966 | ||
| 4 | Janusz A. Brzozowski: Roots of Star Events SWAT (FOCS) 1966: 88-95 | |
| 1965 | ||
| 3 | Janusz A. Brzozowski: On single-loop realizations of automata SWCT (FOCS) 1965: 84-93 | |
| 1964 | ||
| 2 | Wayne A. Davis, Janusz A. Brzozowski: On the linearity of sequential machines SWCT (FOCS) 1964: 197-208 | |
| 1 | Janusz A. Brzozowski: Derivatives of Regular Expressions. J. ACM 11(4): 481-494 (1964) | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page