Concepedia

Janusz Brzozowski

JB

Statistics

Publications

56

Citations

3.1K

H-Index

24

Active since

1962

Affiliations

University of Waterloo(Current)

University of Ottawa

Princeton University

Slovak Academy of Sciences

Western University

Janusz Brzozowski is an author at University of Waterloo specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationComputational ComplexityLinguisticsCircuit ComplexityAutomated ReasoningSystems Engineering

Publications per year

1962–2017

56

Publications

56

Derivatives of Regular Expressions

Janusz Brzozowski · Journal of the ACM · 1964 · 919 citations · Full text

Characterizations of locally testable events

Janusz Brzozowski, Imre Simon · Discrete Mathematics · 1973 · 208 citations

Engineering, Automated Reasoning, Software Testing +9

On equations for regular languages, finite automata, and sequential networks

Janusz Brzozowski, Ernst L. Leiss · Theoretical Computer Science · 1980 · 163 citations

Logical Automaton, Engineering, Automated Reasoning +8

Dot-depth of star-free events

Rina Cohen, Janusz Brzozowski · Journal of Computer and System Sciences · 1971 · 161 citations

Star-free Events, Complex Event Processing, Stellar Structure +3

The dot-depth hierarchy of star-free languages is infinite

Janusz Brzozowski, Robert Knast · Journal of Computer and System Sciences · 1978 · 142 citations

Applied Linguistics, Programming Language Theory, Combinatorics On Word +6

1–5 of 56