| 2009 |
|---|
| 75 | EE | Janusz A. Brzozowski,
Jeffrey Shallit,
Zhi Xu:
Decision Problems for Convex Languages.
LATA 2009: 247-258 |
| 74 | EE | Janusz A. Brzozowski,
E. Grant,
Jeffrey Shallit:
Closures in Formal Languages and Kuratowski's Theorem
CoRR abs/0901.3761: (2009) |
| 73 | EE | Janusz A. Brzozowski,
E. Grant,
Jeffrey Shallit:
Closures in Formal Languages: Concatenation, Separation, and Algorithms
CoRR abs/0901.3763: (2009) |
| 2008 |
|---|
| 72 | EE | Janusz A. Brzozowski,
Jeffrey Shallit,
Zhi Xu:
Decision Problems For Convex Languages
CoRR abs/0808.1928: (2008) |
| 2007 |
|---|
| 71 | EE | Janusz A. Brzozowski,
Yuli Ye:
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras.
ISMVL 2007: 46 |
| 70 | EE | 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 |
|---|
| 69 | EE | Janusz A. Brzozowski:
Topics in Asynchronous Circuit Theory.
Recent Advances in Formal Languages and Applications 2006: 11-42 |
| 68 | EE | 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) |
| 67 | EE | 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) |
| 66 | EE | Janusz A. Brzozowski:
Representation of a class of nondeterministic semiautomata by canonical words.
Theor. Comput. Sci. 356(1-2): 46-57 (2006) |
| 2005 |
|---|
| 65 | EE | 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 |
|---|
| 64 | EE | Janusz A. Brzozowski,
Radu Negulescu:
Duality for Three: Ternary Symmetry in Process Spaces.
Theory Is Forever 2004: 1-14 |
| 63 | EE | Janusz A. Brzozowski:
Involuted Semilattices and Uncertainty in Ternary Algebras.
IJAC 14(3): 295-310 (2004) |
| 2003 |
|---|
| 62 | EE | Signe J. Silver,
Janusz A. Brzozowski:
True Concurrency in Models of Asynchronous Circuit Behavior.
Formal Methods in System Design 22(3): 183-203 (2003) |
| 61 | EE | Janusz A. Brzozowski,
Zoltán Ésik:
Hazard Algebras.
Formal Methods in System Design 23(3): 223-256 (2003) |
| 60 | EE | 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 |
|---|
| 59 | EE | Mihaela Gheorghiu,
Janusz A. Brzozowski:
Feedback-Free Circuits in the Algebra of Transients.
CIAA 2002: 106-116 |
| 58 | EE | Janusz A. Brzozowski,
Mihaela Gheorghiu:
Simulation of Gate Circuits in the Algebra of Transients.
CIAA 2002: 57-66 |
| 57 | EE | 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 |
|---|
| 56 | | Janusz A. Brzozowski,
Zoltán Ésik,
Y. Iland:
Algebras for Hazard Detection.
ISMVL 2001: 3- |
| 55 | EE | Janusz A. Brzozowski:
A Characterization of De Morgan Algebras.
IJAC 11(5): 525-528 (2001) |
| 2000 |
|---|
| 54 | | Janusz A. Brzozowski,
Zoltán Ésik:
Hazard Algebras (Extended Abstract).
A Half-Century of Automata Theory 2000: 1-19 |
| 53 | EE | Janusz A. Brzozowski:
De Morgan Bisemilattices.
ISMVL 2000: 173-178 |
| 52 | | Janusz A. Brzozowski,
H. Zhang:
Delay-Insensitivity and Semi-Modularity.
Formal Methods in System Design 16(2): 191-218 (2000) |
| 51 | EE | Janusz A. Brzozowski,
Radu Negulescu:
Automata of Asynchronous Behaviors.
Theor. Comput. Sci. 231(1): 113-128 (2000) |
| 50 | EE | Janusz A. Brzozowski:
Delay-insensitivity and ternary simulation.
Theor. Comput. Sci. 245(1): 3-25 (2000) |
| 1999 |
|---|
| 49 | EE | J. J. Lou,
Janusz A. Brzozowski:
A Generalization of Shestakov's Function Decomposition Method.
ISMVL 1999: 66-71 |
| 48 | | Janusz A. Brzozowski,
Helmut Jürgensen:
Semilattices of Fault Semiautomata.
Jewels are Forever 1999: 3-15 |
| 47 | EE | 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) |
| 46 | EE | Janusz A. Brzozowski,
Helmut Jürgensen:
Erratum to An Algebra of Multiple Faults in RAMs.
J. Electronic Testing 14(3): 305-306 (1999) |
| 1998 |
|---|
| 45 | EE | Piotr R. Sidorowicz,
Janusz A. Brzozowski:
An Approach to Modeling and Testing Memories and Its Application to CAMs.
VTS 1998: 411-417 |
| 44 | EE | 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) |
| 43 | | Radu Negulescu,
Janusz A. Brzozowski:
Relative Liveness: From Intuition to Automated Verification.
Formal Methods in System Design 12(1): 73-115 (1998) |
| 1997 |
|---|
| 42 | | Janusz A. Brzozowski,
Radu Negulescu:
Automata of Asynchronous Behaviors.
Workshop on Implementing Automata 1997: 29-45 |
| 41 | EE | R. David,
Janusz A. Brzozowski,
Helmut Jürgensen:
Testing for Bounded Faults in RAMs.
J. Electronic Testing 10(3): 197-214 (1997) |
| 1996 |
|---|
| 40 | EE | Janusz A. Brzozowski,
Helmut Jürgensen:
An algebra of multiple faults in RAMs.
J. Electronic Testing 8(2): 129-142 (1996) |
| 1995 |
|---|
| 39 | EE | 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 |
| 38 | EE | Radu Negulescu,
Janusz A. Brzozowski:
Relative liveness: from intuition to automated verification.
ASYNC 1995: 108-117 |
| 37 | EE | Janusz A. Brzozowski,
Kaamran Raahemifar:
Testing C-elements is not elementary.
ASYNC 1995: 150-159 |
| 1994 |
|---|
| 36 | | Carl-Johan H. Seger,
Janusz A. Brzozowski:
Generalized Ternary Simulation of Sequential Circuits.
ITA 28(3-4): 159-186 (1994) |
| 1992 |
|---|
| 35 | | Janusz A. Brzozowski,
Jo C. Ebergen:
On the Delay-Sensitivity of Gate Networks.
IEEE Trans. Computers 41(11): 1349-1360 (1992) |
| 34 | EE | Janusz A. Brzozowski,
Helmut Jürgensen:
A model for sequential machine testing and diagnosis.
J. Electronic Testing 3(3): 219-234 (1992) |
| 33 | EE | 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 |
|---|
| 32 | EE | Janusz A. Brzozowski,
Bruce F. Cockburn:
Detection of coupling faults in RAMs.
J. Electronic Testing 1(2): 151-162 (1990) |
| 1989 |
|---|
| 31 | | Janusz A. Brzozowski,
Jo C. Ebergen:
Recent Developments in the Design of Asynchronous Circuits.
FCT 1989: 78-94 |
| 30 | | Janusz A. Brzozowski:
Minimization by reversal is not new.
Bulletin of the EATCS 37: 130 (1989) |
| 29 | EE | Janusz A. Brzozowski,
Carl-Johan H. Seger:
A unified framework for race analysis of asynchronous networks.
J. ACM 36(1): 20-45 (1989) |
| 1988 |
|---|
| 28 | | Carl-Johan H. Seger,
Janusz A. Brzozowski:
An Optimistic Ternary Simulation of Gate Races.
Theor. Comput. Sci. 61: 49-66 (1988) |
| 1987 |
|---|
| 27 | | Janusz A. Brzozowski,
Carl-Johan H. Seger:
A Characterization of Ternary Simulation of Gate Networks.
IEEE Trans. Computers 36(11): 1318-1327 (1987) |
| 1986 |
|---|
| 26 | | Janusz A. Brzozowski,
Michael Yoeli:
Combinatorial Static CMOD Networks (Extended Summary).
Aegean Workshop on Computing 1986: 271-282 |
| 25 | | Janusz A. Brzozowski,
Carl-Johan H. Seger:
Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary).
ICALP 1986: 69-78 |
| 24 | | Janusz A. Brzozowski,
Robert Knast:
Graph Congruences and Pair Testing.
ITA 20(2): 129-147 (1986) |
| 1984 |
|---|
| 23 | EE | 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
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 | EE | 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
FOCS 1968: 278-286 |
| 1967 |
|---|
| 8 | | Janusz A. Brzozowski,
Rina S. Cohen:
On Decompositions of Regular Events
FOCS 1967: 255-264 |
| 7 | | Rina S. Cohen,
Janusz A. Brzozowski:
On the Star Height of Regular Events
FOCS 1967: 265-279 |
| 6 | | Janusz A. Brzozowski:
On Single-Loop Realizations of Sequential Machines
Information and Control 10(3): 292-314 (1967) |
| 5 | EE | Janusz A. Brzozowski:
Roots of Star Events.
J. ACM 14(3): 466-477 (1967) |
| 1966 |
|---|
| 4 | | Janusz A. Brzozowski:
Roots of Star Events
FOCS 1966: 88-95 |
| 1965 |
|---|
| 3 | | Janusz A. Brzozowski:
On single-loop realizations of automata
FOCS 1965: 84-93 |
| 1964 |
|---|
| 2 | | Wayne A. Davis,
Janusz A. Brzozowski:
On the linearity of sequential machines
FOCS 1964: 197-208 |
| 1 | EE | Janusz A. Brzozowski:
Derivatives of Regular Expressions.
J. ACM 11(4): 481-494 (1964) |
