| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye |
On the Complexity of the Evaluation of Transient Extensions of Boolean Functions.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Hellis Tamm |
Quotient Complexities of Atoms of Regular Languages |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, David Liu |
Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit |
Closures in Formal Languages and Kuratowski's Theorem. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu |
Decision problems for convex languages. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Hellis Tamm |
Theory of Atomata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Baiyu Li |
Syntactic Complexity of Star-Free Languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye |
Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Hellis Tamm |
Theory of Átomata. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Yuli Ye |
Syntactic Complexity of Ideal and Closed Languages. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li, Joshua Smith |
Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Bo Liu |
Quotient Complexity of Star-Free Languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye |
Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Bo Liu |
Quotient Complexity of Star-Free Languages |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Yuli Ye |
Syntactic Complexity of Ideal and Closed Languages |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Joshua Smith |
Quotient Complexity of Bifix-, Factor-, and Subword-Free Languages |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Baiyu Li, Yuli Ye |
On the Complexity of the Evaluation of Transient Extensions of Boolean Functions |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Yuli Ye |
Gate Circuits with Feedback in Finite Multivalued Algebras of Transients. |
Multiple-Valued Logic and Soft Computing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou |
Quotient Complexity of Closed Languages. |
CSR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Complexity in Convex Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li |
Quotient Complexity of Ideal Languages. |
LATIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ang, Janusz A. Brzozowski |
Languages Convex with Respect to Binary Relations, and Their Closure Properties. |
Acta Cybern. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Stavros Konstantinidis |
State-complexity hierarchies of uniform languages of alphabet-size length. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Nicolae Santean |
Predictable semiautomata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit |
Closures in Formal Languages: Concatenation, Separation, and Algorithms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li |
Quotient complexity of ideal languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou |
Quotient Complexity of Closed Languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Quotient Complexity of Regular Languages |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit |
Closures in Formal Languages and Kuratowski's Theorem |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu |
Decision Problems for Convex Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit |
Closures in Formal Languages and Kuratowski's Theorem. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu |
Decision Problems For Convex Languages |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ang, Janusz A. Brzozowski |
Continuous Languages. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Stavros Konstantinidis |
State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Nicolae Santean |
Determinism without Determinization. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Yuli Ye |
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Representation of a class of nondeterministic semiautomata by canonical words. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuli Ye, Janusz A. Brzozowski |
Covering of Transient Simulation of Feedback-free Circuits by Binary Analysis. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
Errata: "representation of Semiautomata by Canonical Words and Equivalences". |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Topics in Asynchronous Circuit Theory. |
Recent Advances in Formal Languages and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Mihaela Gheorghiu |
Gate circuits in the algebra of transients. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
Representation of semiautomata by canonical words and equivalences. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Involuted Semilattices and Uncertainty in Ternary Algebras. |
IJAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Radu Negulescu |
Duality for Three: Ternary Symmetry in Process Spaces. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
Representation of Semiautomata by Canonical Words and Equivalences. |
DCFS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mihaela Gheorghiu, Janusz A. Brzozowski |
Simulation Of Feedback-Free Circuits In The Algebra Of Transients. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Signe J. Silver, Janusz A. Brzozowski |
True Concurrency in Models of Asynchronous Circuit Behavior. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive |
| 1 | Janusz A. Brzozowski, Zoltán Ésik |
Hazard Algebras. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
simulation, algebra, circuit, hazard, transient, gate, multivalued |
| 1 | Piotr R. Sidorowicz, Janusz A. Brzozowski |
A framework for testing special-purpose memories. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Mihaela Gheorghiu |
Simulation of Gate Circuits in the Algebra of Transients. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Gheorghiu, Janusz A. Brzozowski |
Feedback-Free Circuits in the Algebra of Transients. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
A Characterization of De Morgan Algebras. |
IJAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Zoltán Ésik, Y. Iland |
Algebras for Hazard Detection. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Radu Negulescu |
Automata of Asynchronous Behaviors. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Delay-insensitivity and ternary simulation. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Hao Zhang 0002 |
Delay-Insensitivity and Semi-Modularity. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
De Morgan Bisemilattices. (PDF / PS) |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
bisemilattice, de Morgan, simulation, digital, algebra, circuit, bilattice, multivalued |
| 1 | Janusz A. Brzozowski, Zoltán Ésik |
Hazard Algebras (Extended Abstract). |
A Half-Century of Automata Theory |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
Erratum to An Algebra of Multiple Faults in RAMs. |
J. Electronic Testing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Lou, Janusz A. Brzozowski |
A Generalization of Shestakov's Function Decomposition Method. (PDF / PS) |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
Semilattices of Fault Semiautomata. |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
cluster-cover, logic minimizaiton, self-checking logic design, topological routing, NP-completeness, state assignment |
| 1 | Radu Negulescu, Janusz A. Brzozowski |
Relative Liveness: From Intuition to Automated Verification. |
Formal Methods in System Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr R. Sidorowicz, Janusz A. Brzozowski |
An Approach to Modeling and Testing Memories and Its Application to CAMs. (PDF / PS) |
VTS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | R. David, Janusz A. Brzozowski, Helmut Jürgensen |
Testing for Bounded Faults in RAMs. |
J. Electronic Testing |
1997 |
DBLP DOI BibTeX RDF |
bounded fault, testing, Markov chain, random test, RAM, test length, deterministic test |
| 1 | Janusz A. Brzozowski, Radu Negulescu |
Automata of Asynchronous Behaviors. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
An algebra of multiple faults in RAMs. |
J. Electronic Testing |
1996 |
DBLP DOI BibTeX RDF |
testing, composition, stuck-at fault, multiple fault, automaton, transition fault, RAM, pattern-sensitive fault, coupling fault, semilattice |
| 1 | Janusz A. Brzozowski, Carl-Johan H. Seger |
Asynchronous circuits. |
|
1995 |
RDF |
|
| 1 | Janusz A. Brzozowski, Kaamran Raahemifar |
Testing C-elements is not elementary. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
C-elements testing, gate circuits, C-element, CMOS implementations, logic testing, logic tests, asynchronous circuits, fault location, stuck-at faults, speed-independence |
| 1 | Radu Negulescu, Janusz A. Brzozowski |
Relative liveness: from intuition to automated verification. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl-Johan H. Seger, Janusz A. Brzozowski |
Generalized Ternary Simulation of Sequential Circuits. |
ITA |
1994 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jo C. Ebergen |
On the Delay-Sensitivity of Gate Networks. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce F. Cockburn, Janusz A. Brzozowski |
Near-optimal tests for classes of write-triggered coupling faults in RAMs. |
J. Electronic Testing |
1992 |
DBLP DOI BibTeX RDF |
toggling faults, lower bounds, coupling faults, RAM testing, optimal tests |
| 1 | Janusz A. Brzozowski, Helmut Jürgensen |
A model for sequential machine testing and diagnosis. |
J. Electronic Testing |
1992 |
DBLP DOI BibTeX RDF |
Markov chains, Diagnosis, fault models, random testing, sequential machines |
| 1 | Janusz A. Brzozowski, Bruce F. Cockburn |
Detection of coupling faults in RAMs. |
J. Electronic Testing |
1990 |
DBLP DOI BibTeX RDF |
toggling faults, fault modeling, coupling faults, RAM testing, optimal tests |
| 1 | Janusz A. Brzozowski, Carl-Johan H. Seger |
A unified framework for race analysis of asynchronous networks. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Minimization by reversal is not new. |
Bulletin of the EATCS |
1989 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jo C. Ebergen |
Recent Developments in the Design of Asynchronous Circuits. |
FCT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Carl-Johan H. Seger, Janusz A. Brzozowski |
An Optimistic Ternary Simulation of Gate Races. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Carl-Johan H. Seger |
A Characterization of Ternary Simulation of Gate Networks. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Robert Knast |
Graph Congruences and Pair Testing. |
ITA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Carl-Johan H. Seger |
Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary). |
ICALP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Michael Yoeli |
Combinatorial Static CMOD Networks (Extended Summary). |
Aegean Workshop on Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, S. Muro |
On serializability. |
International Journal of Parallel Programming |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Faith E. Fich |
On generalized locally testable languages. |
Discrete Mathematics |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Ernst L. Leiss |
On Equations for Regular Languages, Finite Automata, and Sequential Networks. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Faith E. Fich |
Languages of R-Trivial Monoids. |
J. Comput. Syst. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Developments in the Theory of regular Languages. |
IFIP Congress |
1980 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Michael Yoeli |
On a Ternary Model of Gate Networks. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
ternary model, Asynchronous sequential networks, oscillations, hazards, races |
| 1 | Faith E. Fich, Janusz A. Brzozowski |
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Robert Knast |
The Dot-Depth Hierarchy of Star-Free Languages is Infinite. |
J. Comput. Syst. Sci. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
Hierarchies of Aperiodic Languages. |
ITA |
1976 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Michael Yoeli |
Models for Analysis of Races in Sequential Networks. |
MFCS |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Rina S. Cohen, Janusz A. Brzozowski |
Dot-Depth of Star-Free Events. |
J. Comput. Syst. Sci. |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Karel Culik II, Armen Gabrielian |
Classification of Noncounting Events. |
J. Comput. Syst. Sci. |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Imre Simon |
Characterizations of Locally Testable Events |
SWAT (FOCS) |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Rina S. Cohen, Janusz A. Brzozowski |
General Properties of Star Height of Regular Events. |
J. Comput. Syst. Sci. |
1970 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")