Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Janusz A. Brzozowski
@article{DBLP:journals/ijfcs/BrzozowskiKLS20,
author = {Janusz A. Brzozowski and
Lila Kari and
Bai Li and
Marek Szykula},
title = {State Complexity of Overlap Assembly},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {8},
pages = {1113--1132},
year = {2020},
url = {https://doi.org/10.1142/S012905412042006X},
doi = {10.1142/S012905412042006X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiKLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiD19,
author = {Janusz A. Brzozowski and
Sylvie Davies},
title = {Most Complex Non-Returning Regular Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {30},
number = {6-7},
pages = {921--957},
year = {2019},
url = {https://doi.org/10.1142/S0129054119400239},
doi = {10.1142/S0129054119400239},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiDM19,
author = {Janusz A. Brzozowski and
Sylvie Davies and
Abhishek Madan},
title = {State complexity of pattern matching in regular languages},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {121--131},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.12.014},
doi = {10.1016/J.TCS.2018.12.014},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiS19,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Complexity of proper prefix-convex regular languages},
journal = {Theor. Comput. Sci.},
volume = {787},
pages = {2--13},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.07.015},
doi = {10.1016/J.TCS.2018.07.015},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiDM19,
author = {Janusz A. Brzozowski and
Sylvie Davies and
Abhishek Madan},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}} and
Stavros Konstantinidis},
title = {State Complexity of Single-Word Pattern Matching in Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 21st {IFIP} {WG} 1.02
International Conference, {DCFS} 2019, Ko{\v{s}}ice, Slovakia, July
17-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11612},
pages = {86--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23247-4\_6},
doi = {10.1007/978-3-030-23247-4\_6},
timestamp = {Mon, 08 Jul 2019 14:43:06 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrzozowskiS18,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Syntactic complexity of suffix-free languages},
journal = {Inf. Comput.},
volume = {259},
number = {2},
pages = {174--190},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.014},
doi = {10.1016/J.IC.2017.08.014},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrzozowskiS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Brzozowski18,
author = {Janusz A. Brzozowski},
title = {Towards a Theory of Complexity of Regular Languages},
journal = {J. Autom. Lang. Comb.},
volume = {23},
number = {1-3},
pages = {67--101},
year = {2018},
url = {https://doi.org/10.25596/jalc-2018-067},
doi = {10.25596/JALC-2018-067},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Brzozowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BrzozowskiSY18,
author = {Janusz A. Brzozowski and
Marek Szykula and
Yuli Ye},
title = {Syntactic Complexity of Regular Ideals},
journal = {Theory Comput. Syst.},
volume = {62},
number = {5},
pages = {1175--1202},
year = {2018},
url = {https://doi.org/10.1007/s00224-017-9803-8},
doi = {10.1007/S00224-017-9803-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BrzozowskiSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiD18,
author = {Janusz A. Brzozowski and
Sylvie Davies},
editor = {Stavros Konstantinidis and
Giovanni Pighizzini},
title = {Most Complex Deterministic Union-Free Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02
International Conference, {DCFS} 2018, Halifax, NS, Canada, July 25-27,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10952},
pages = {37--48},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94631-3\_4},
doi = {10.1007/978-3-319-94631-3\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiKLS18,
author = {Janusz A. Brzozowski and
Lila Kari and
Bai Li and
Marek Szykula},
editor = {Cezar C{\^{a}}mpeanu},
title = {State Complexity of Overlap Assembly},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {109--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_10},
doi = {10.1007/978-3-319-94812-6\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiKLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-04645,
author = {Janusz A. Brzozowski and
Sylvie Davies and
Abhishek Madan},
title = {State Complexity of Pattern Matching in Finite Automata},
journal = {CoRR},
volume = {abs/1806.04645},
year = {2018},
url = {http://arxiv.org/abs/1806.04645},
eprinttype = {arXiv},
eprint = {1806.04645},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-04645.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8354,
author = {John Brzozowski and
John Leddy and
Clarence Filsfils and
Roberta Maglione and
Mark Townsley},
title = {Use Cases for IPv6 Source Packet Routing in Networking {(SPRING)}},
journal = {{RFC}},
volume = {8354},
pages = {1--9},
year = {2018},
url = {https://doi.org/10.17487/RFC8354},
doi = {10.17487/RFC8354},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc8354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/BrzozowskiS17,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular
Languages},
journal = {Acta Cybern.},
volume = {23},
number = {1},
pages = {9--41},
year = {2017},
url = {https://doi.org/10.14232/actacyb.23.1.2017.3},
doi = {10.14232/ACTACYB.23.1.2017.3},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/BrzozowskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BrzozowskiS17,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Unrestricted State Complexity of Binary Operations on Regular and
Ideal Languages},
journal = {J. Autom. Lang. Comb.},
volume = {22},
number = {1-3},
pages = {29--59},
year = {2017},
url = {https://doi.org/10.25596/jalc-2017-029},
doi = {10.25596/JALC-2017-029},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BrzozowskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrzozowskiS17,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Complexity of suffix-free regular languages},
journal = {J. Comput. Syst. Sci.},
volume = {89},
pages = {270--287},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.011},
doi = {10.1016/J.JCSS.2017.05.011},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrzozowskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiD17,
author = {Janusz A. Brzozowski and
Sylvie Davies},
editor = {Giovanni Pighizzini and
Cezar C{\^{a}}mpeanu},
title = {Most Complex Non-returning Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10316},
pages = {89--101},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60252-3\_7},
doi = {10.1007/978-3-319-60252-3\_7},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BrzozowskiS17,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
editor = {Frank Drewes and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages},
booktitle = {Language and Automata Theory and Applications - 11th International
Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10168},
pages = {171--182},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53733-7\_12},
doi = {10.1007/978-3-319-53733-7\_12},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/BrzozowskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiS17,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
editor = {Arnaud Carayol and
Cyril Nicaud},
title = {Complexity of Proper Prefix-Convex Regular Languages},
booktitle = {Implementation and Application of Automata - 22nd International Conference,
{CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10329},
pages = {52--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60134-2\_5},
doi = {10.1007/978-3-319-60134-2\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiD17,
author = {Janusz A. Brzozowski and
Sylvie Davies},
title = {Most Complex Non-Returning Regular Languages},
journal = {CoRR},
volume = {abs/1701.03944},
year = {2017},
url = {http://arxiv.org/abs/1701.03944},
eprinttype = {arXiv},
eprint = {1701.03944},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brzozowski17,
author = {Janusz A. Brzozowski},
title = {Towards a Theory of Complexity of Regular Languages},
journal = {CoRR},
volume = {abs/1702.05024},
year = {2017},
url = {http://arxiv.org/abs/1702.05024},
eprinttype = {arXiv},
eprint = {1702.05024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Brzozowski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-06000,
author = {Janusz A. Brzozowski and
Lila Kari and
Bai Li and
Marek Szykula},
title = {State Complexity of Overlap Assembly},
journal = {CoRR},
volume = {abs/1710.06000},
year = {2017},
url = {http://arxiv.org/abs/1710.06000},
eprinttype = {arXiv},
eprint = {1710.06000},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-06000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09149,
author = {Janusz A. Brzozowski and
Sylvie Davies},
title = {Most Complex Deterministic Union-Free Regular Languages},
journal = {CoRR},
volume = {abs/1711.09149},
year = {2017},
url = {http://arxiv.org/abs/1711.09149},
eprinttype = {arXiv},
eprint = {1711.09149},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/BrzozowskiDL16,
author = {Janusz A. Brzozowski and
Sylvie Davies and
Bo Yang Victor Liu},
title = {Most Complex Regular Ideal Languages},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {18},
number = {3},
year = {2016},
url = {https://doi.org/10.46298/dmtcs.1343},
doi = {10.46298/DMTCS.1343},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/BrzozowskiDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Brzozowski16,
author = {Janusz A. Brzozowski},
editor = {Cezar C{\^{a}}mpeanu and
Florin Manea and
Jeffrey O. Shallit},
title = {Unrestricted State Complexity of Binary Operations on Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2
International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9777},
pages = {60--72},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41114-9\_5},
doi = {10.1007/978-3-319-41114-9\_5},
timestamp = {Mon, 09 Mar 2020 11:10:41 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/Brzozowski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiJLRS16,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Bo Liu and
Aayush Rajasekaran and
Marek Szykula},
editor = {Cezar C{\^{a}}mpeanu and
Florin Manea and
Jeffrey O. Shallit},
title = {On the State Complexity of the Shuffle of Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2
International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9777},
pages = {73--86},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41114-9\_6},
doi = {10.1007/978-3-319-41114-9\_6},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiJLRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/GehlotKB16,
author = {Vijay Gehlot and
Sarvesh S. Kulkarni and
John Brzozowski},
editor = {Hala ElAarag and
Abdolreza Abhari},
title = {Modeling and performance simulation of a software architecture for
large-scale measurement of broadband networks using colored petri
nets},
booktitle = {Proceedings of the 19th Communications {\&} Networking Symposium,
{CNS} 2016, part of the 2016 Spring Simulation Multiconference, SpringSim
'16, Pasadena, CA, USA, April 3-6, 2016},
pages = {4},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2962690},
timestamp = {Tue, 20 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/springsim/GehlotKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brzozowski16,
author = {Janusz A. Brzozowski},
title = {True State Complexity of Binary Operations on Regular Languages},
journal = {CoRR},
volume = {abs/1602.01387},
year = {2016},
url = {http://arxiv.org/abs/1602.01387},
eprinttype = {arXiv},
eprint = {1602.01387},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Brzozowski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS16,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Complexity of Prefix-Convex Regular Languages},
journal = {CoRR},
volume = {abs/1605.06697},
year = {2016},
url = {http://arxiv.org/abs/1605.06697},
eprinttype = {arXiv},
eprint = {1605.06697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS16a,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Unrestricted State Complexity of Binary Operations on Regular and
Ideal Languages},
journal = {CoRR},
volume = {abs/1609.04439},
year = {2016},
url = {http://arxiv.org/abs/1609.04439},
eprinttype = {arXiv},
eprint = {1609.04439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS16b,
author = {Janusz A. Brzozowski and
Corwin Sinnamon},
title = {Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages},
journal = {CoRR},
volume = {abs/1610.00728},
year = {2016},
url = {http://arxiv.org/abs/1610.00728},
eprinttype = {arXiv},
eprint = {1610.00728},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/BrzozowskiD15,
author = {Janusz A. Brzozowski and
Sylvie Davies},
title = {Quotient Complexities of Atoms in Regular Ideal Languages},
journal = {Acta Cybern.},
volume = {22},
number = {2},
pages = {293--311},
year = {2015},
url = {https://doi.org/10.14232/actacyb.22.2.2015.4},
doi = {10.14232/ACTACYB.22.2.2015.4},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/BrzozowskiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiS15,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Large Aperiodic Semigroups},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {7},
pages = {913--932},
year = {2015},
url = {https://doi.org/10.1142/S0129054115400067},
doi = {10.1142/S0129054115400067},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscn/KulkarniBGGDRB15,
author = {Sarvesh S. Kulkarni and
Eduard Bachmakov and
Edward Gallagher and
Vijay Gehlot and
Andrew Dammann and
Peter Rokowski and
John Brzozowski},
title = {A scalable architecture for performance measurement in broadband networks},
booktitle = {{IEEE} Conference on Standards for Communications and Networking,
{CSCN} 2015, Tokyo, Japan, October 28-30, 2015},
pages = {174--180},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CSCN.2015.7390440},
doi = {10.1109/CSCN.2015.7390440},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cscn/KulkarniBGGDRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiS15,
author = {Janusz A. Brzozowski and
Marek Szykula},
editor = {Jeffrey O. Shallit and
Alexander Okhotin},
title = {Upper Bound on Syntactic Complexity of Suffix-Free Languages},
booktitle = {Descriptional Complexity of Formal Systems - 17th International Workshop,
{DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9118},
pages = {33--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19225-3\_3},
doi = {10.1007/978-3-319-19225-3\_3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BrzozowskiS15,
author = {Janusz A. Brzozowski and
Marek Szykula},
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Complexity of Suffix-Free Regular Languages},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
pages = {146--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9\_12},
doi = {10.1007/978-3-319-22177-9\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/BrzozowskiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiD15,
author = {Janusz A. Brzozowski and
Sylvie Davies},
title = {Quotient Complexities of Atoms in Regular Ideal Languages},
journal = {CoRR},
volume = {abs/1503.02208},
year = {2015},
url = {http://arxiv.org/abs/1503.02208},
eprinttype = {arXiv},
eprint = {1503.02208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS15,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Complexity of Suffix-Free Regular Languages},
journal = {CoRR},
volume = {abs/1504.05159},
year = {2015},
url = {http://arxiv.org/abs/1504.05159},
eprinttype = {arXiv},
eprint = {1504.05159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiSY15,
author = {Janusz A. Brzozowski and
Marek Szykula and
Yuli Ye},
title = {Syntactic Complexity of Regular Ideals},
journal = {CoRR},
volume = {abs/1509.06032},
year = {2015},
url = {http://arxiv.org/abs/1509.06032},
eprinttype = {arXiv},
eprint = {1509.06032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiDL15,
author = {Janusz A. Brzozowski and
Sylvie Davies and
Bo Yang Victor Liu},
title = {Most Complex Regular Ideals},
journal = {CoRR},
volume = {abs/1511.00157},
year = {2015},
url = {http://arxiv.org/abs/1511.00157},
eprinttype = {arXiv},
eprint = {1511.00157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiJLRS15,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Bo Liu and
Aayush Rajasekaran and
Marek Szykula},
title = {On the State Complexity of the Shuffle of Regular Languages},
journal = {CoRR},
volume = {abs/1512.01187},
year = {2015},
url = {http://arxiv.org/abs/1512.01187},
eprinttype = {arXiv},
eprint = {1512.01187},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiJLRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/BrzozowskiJLS14,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Baiyu Li and
Joshua Smith},
title = {Quotient Complexity of Bifix-, Factor-, and Subword-free Regular Languages},
journal = {Acta Cybern.},
volume = {21},
number = {4},
pages = {507--527},
year = {2014},
url = {https://doi.org/10.14232/actacyb.21.4.2014.1},
doi = {10.14232/ACTACYB.21.4.2014.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/BrzozowskiJLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiL14,
author = {Janusz A. Brzozowski and
Baiyu Li},
title = {Syntactic Complexity of {\(\mathscr{R}\)}- and {\unicode{54437}}-Trivial
Regular Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {25},
number = {7},
pages = {807--822},
year = {2014},
url = {https://doi.org/10.1142/S0129054114400097},
doi = {10.1142/S0129054114400097},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BrzozowskiJZ14,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Chenglong Zou},
title = {Quotient Complexity of Closed Languages},
journal = {Theory Comput. Syst.},
volume = {54},
number = {2},
pages = {277--292},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9515-7},
doi = {10.1007/S00224-013-9515-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BrzozowskiJZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiT14,
author = {Janusz A. Brzozowski and
Hellis Tamm},
title = {Theory of {\'{a}}tomata},
journal = {Theor. Comput. Sci.},
volume = {539},
pages = {13--27},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.04.016},
doi = {10.1016/J.TCS.2014.04.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiD14,
author = {Janusz A. Brzozowski and
Gareth Davies},
editor = {Helmut J{\"{u}}rgensen and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {Most Complex Regular Right-Ideal Languages},
booktitle = {Descriptional Complexity of Formal Systems - 16th International Workshop,
{DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8614},
pages = {90--101},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09704-6\_9},
doi = {10.1007/978-3-319-09704-6\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiS14,
author = {Janusz A. Brzozowski and
Marek Szykula},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {13--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_2},
doi = {10.1007/978-3-319-09698-8\_2},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BellBMR14,
author = {Jason P. Bell and
Janusz A. Brzozowski and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Symmetric Groups and Quotient Complexity of Boolean Operations},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {1--12},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_1},
doi = {10.1007/978-3-662-43951-7\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BellBMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiS14,
author = {Janusz A. Brzozowski and
Marek Szykula},
editor = {Markus Holzer and
Martin Kutrib},
title = {Large Aperiodic Semigroups},
booktitle = {Implementation and Application of Automata - 19th International Conference,
{CIAA} 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8587},
pages = {124--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08846-4\_9},
doi = {10.1007/978-3-319-08846-4\_9},
timestamp = {Mon, 05 Feb 2024 20:35:24 +0100},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrzozowskiD13,
author = {Janusz A. Brzozowski and
Gareth Davies},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {Maximally Atomic Languages},
booktitle = {Proceedings 14th International Conference on Automata and Formal Languages,
{AFL} 2014, Szeged, Hungary, May 27-29, 2014},
series = {{EPTCS}},
volume = {151},
pages = {151--161},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.151.10},
doi = {10.4204/EPTCS.151.10},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS14,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Large Aperiodic Semigroups},
journal = {CoRR},
volume = {abs/1401.0157},
year = {2014},
url = {http://arxiv.org/abs/1401.0157},
eprinttype = {arXiv},
eprint = {1401.0157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS14a,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals},
journal = {CoRR},
volume = {abs/1403.2090},
year = {2014},
url = {http://arxiv.org/abs/1403.2090},
eprinttype = {arXiv},
eprint = {1403.2090},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiS14b,
author = {Janusz A. Brzozowski and
Marek Szykula},
title = {Upper Bound on Syntactic Complexity of Suffix-Free Languages},
journal = {CoRR},
volume = {abs/1412.2281},
year = {2014},
url = {http://arxiv.org/abs/1412.2281},
eprinttype = {arXiv},
eprint = {1412.2281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiS14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Brzozowski13,
author = {Janusz A. Brzozowski},
title = {In Search of Most Complex Regular Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {691--708},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400133},
doi = {10.1142/S0129054113400133},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Brzozowski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiT13,
author = {Janusz A. Brzozowski and
Hellis Tamm},
title = {Complexity of atoms of Regular Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {7},
pages = {1009--1028},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400285},
doi = {10.1142/S0129054113400285},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiJL13,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Baiyu Li},
title = {Quotient complexity of ideal languages},
journal = {Theor. Comput. Sci.},
volume = {470},
pages = {36--52},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.055},
doi = {10.1016/J.TCS.2012.10.055},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiL13,
author = {Janusz A. Brzozowski and
David Liu},
editor = {Helmut J{\"{u}}rgensen and
Rog{\'{e}}rio Reis},
title = {Universal Witnesses for State Complexity of Boolean Operations and
Concatenation Combined with Star},
booktitle = {Descriptional Complexity of Formal Systems - 15th International Workshop,
{DCFS} 2013, London, ON, Canada, July 22-25, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8031},
pages = {30--41},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39310-5\_5},
doi = {10.1007/978-3-642-39310-5\_5},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiL13a,
author = {Janusz A. Brzozowski and
Baiyu Li},
editor = {Helmut J{\"{u}}rgensen and
Rog{\'{e}}rio Reis},
title = {Syntactic Complexity of - and -Trivial Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 15th International Workshop,
{DCFS} 2013, London, ON, Canada, July 22-25, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8031},
pages = {160--171},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39310-5\_16},
doi = {10.1007/978-3-642-39310-5\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiL13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiL13,
author = {Janusz A. Brzozowski and
David Liu},
editor = {Stavros Konstantinidis},
title = {Universal Witnesses for State Complexity of Basic Operations Combined
with Reversal},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {72--83},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_8},
doi = {10.1007/978-3-642-39274-0\_8},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5585,
author = {Janusz A. Brzozowski and
Hellis Tamm},
title = {Minimal Nondeterministic Finite Automata and Atoms of Regular Languages},
journal = {CoRR},
volume = {abs/1301.5585},
year = {2013},
url = {http://arxiv.org/abs/1301.5585},
eprinttype = {arXiv},
eprint = {1301.5585},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3906,
author = {Janusz A. Brzozowski and
Gareth Davies},
title = {Maximal Syntactic Complexity of Regular Languages Implies Maximal
Quotient Complexities of Atoms},
journal = {CoRR},
volume = {abs/1302.3906},
year = {2013},
url = {http://arxiv.org/abs/1302.3906},
eprinttype = {arXiv},
eprint = {1302.3906},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BellBMR13,
author = {Jason P. Bell and
Janusz A. Brzozowski and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Symmetric Groups and Quotient Complexity of Boolean Operations},
journal = {CoRR},
volume = {abs/1310.1841},
year = {2013},
url = {http://arxiv.org/abs/1310.1841},
eprinttype = {arXiv},
eprint = {1310.1841},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BellBMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrzozowskiD13a,
author = {Janusz A. Brzozowski and
Gareth Davies},
title = {Most Complex Regular Right-Ideal Languages},
journal = {CoRR},
volume = {abs/1311.4448},
year = {2013},
url = {http://arxiv.org/abs/1311.4448},
eprinttype = {arXiv},
eprint = {1311.4448},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrzozowskiD13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiLY12,
author = {Janusz A. Brzozowski and
Baiyu Li and
Yuli Ye},
title = {On the Complexity of the Evaluation of Transient Extensions of Boolean
Functions},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {1},
pages = {21--35},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400023},
doi = {10.1142/S0129054112400023},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiL12,
author = {Janusz A. Brzozowski and
Bo Liu},
title = {Quotient Complexity of Star-Free Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {6},
pages = {1261--1276},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400515},
doi = {10.1142/S0129054112400515},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BrzozowskiLL12,
author = {Janusz A. Brzozowski and
Baiyu Li and
David Liu},
title = {Syntactic Complexities of Six Classes of Star-Free Languages},
journal = {J. Autom. Lang. Comb.},
volume = {17},
number = {2-4},
pages = {83--105},
year = {2012},
url = {https://doi.org/10.25596/jalc-2012-083},
doi = {10.25596/JALC-2012-083},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BrzozowskiLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiLY12,
author = {Janusz A. Brzozowski and
Baiyu Li and
Yuli Ye},
title = {Syntactic complexity of prefix-, suffix-, bifix-, and factor-free
regular languages},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {37--53},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.011},
doi = {10.1016/J.TCS.2012.04.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiL12,
author = {Janusz A. Brzozowski and
Baiyu Li},
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Syntactic Complexities of Some Classes of Star-Free Languages},
booktitle = {Descriptional Complexity of Formal Systems - 14th International Workshop,
{DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7386},
pages = {117--129},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31623-4\_9},
doi = {10.1007/978-3-642-31623-4\_9},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiT12,
author = {Janusz A. Brzozowski and
Hellis Tamm},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Quotient Complexities of Atoms of Regular Languages},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {50--61},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_6},
doi = {10.1007/978-3-642-31653-1\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Brzozowski12,
author = {Janusz A. Brzozowski},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {In Search of Most Complex Regular Languages},
booktitle = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
pages = {5--24},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7\_2},
doi = {10.1007/978-3-642-31606-7\_2},
timestamp = {Wed, 25 Sep 2019 18:11:54 +0200},
biburl = {https://dblp.org/rec/conf/wia/Brzozowski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-0295,
author = {Janusz A. Brzozowski and
Hellis Tamm},
title = {Quotient Complexities of Atoms of Regular Languages},
journal = {CoRR},
volume = {abs/1201.0295},
year = {2012},
url = {http://arxiv.org/abs/1201.0295},
eprinttype = {arXiv},
eprint = {1201.0295},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-0295.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-2873,
author = {Janusz A. Brzozowski and
David Liu},
title = {Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite
Languages},
journal = {CoRR},
volume = {abs/1203.2873},
year = {2012},
url = {http://arxiv.org/abs/1203.2873},
eprinttype = {arXiv},
eprint = {1203.2873},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-2873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0535,
author = {Janusz A. Brzozowski and
David Liu},
title = {Universal Witnesses for State Complexity of Basic Operations Combined
with Reversal},
journal = {CoRR},
volume = {abs/1207.0535},
year = {2012},
url = {http://arxiv.org/abs/1207.0535},
eprinttype = {arXiv},
eprint = {1207.0535},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1982,
author = {Janusz A. Brzozowski and
David Liu},
title = {Universal Witnesses for State Complexity of Boolean Operations and
Concatenation Combined with Star},
journal = {CoRR},
volume = {abs/1207.1982},
year = {2012},
url = {http://arxiv.org/abs/1207.1982},
eprinttype = {arXiv},
eprint = {1207.1982},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-4650,
author = {Janusz A. Brzozowski and
Baiyu Li},
title = {Syntactic Complexity of {R-} and J-Trivial Regular Languages},
journal = {CoRR},
volume = {abs/1208.4650},
year = {2012},
url = {http://arxiv.org/abs/1208.4650},
eprinttype = {arXiv},
eprint = {1208.4650},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrzozowskiSX11,
author = {Janusz A. Brzozowski and
Jeffrey O. Shallit and
Zhi Xu},
title = {Decision problems for convex languages},
journal = {Inf. Comput.},
volume = {209},
number = {3},
pages = {353--367},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.11.009},
doi = {10.1016/J.IC.2010.11.009},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrzozowskiSX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiGS11,
author = {Janusz A. Brzozowski and
Elyot Grant and
Jeffrey O. Shallit},
title = {Closures in Formal Languages and Kuratowski's Theorem},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {2},
pages = {301--321},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008052},
doi = {10.1142/S0129054111008052},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/BrzozowskiJLS11,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Baiyu Li and
Joshua Smith},
editor = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Szabolcs Iv{\'{a}}n},
title = {Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages},
booktitle = {Automata and Formal Languages, 13th International Conference, {AFL}
2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
pages = {123--137},
year = {2011},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/afl/BrzozowskiJLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/BrzozowskiL11,
author = {Janusz A. Brzozowski and
Bo Liu},
editor = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Szabolcs Iv{\'{a}}n},
title = {Quotient Complexity of Star-Free Languages},
booktitle = {Automata and Formal Languages, 13th International Conference, {AFL}
2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
pages = {138--152},
year = {2011},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afl/BrzozowskiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiLY11,
author = {Janusz A. Brzozowski and
Baiyu Li and
Yuli Ye},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {93--106},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_8},
doi = {10.1007/978-3-642-22600-7\_8},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiLY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiT11,
author = {Janusz A. Brzozowski and
Hellis Tamm},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {Theory of {\'{A}}tomata},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {105--116},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_10},
doi = {10.1007/978-3-642-22321-1\_10},
timestamp = {Sat, 09 Apr 2022 12:37:59 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiY11,
author = {Janusz A. Brzozowski and
Yuli Ye},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {Syntactic Complexity of Ideal and Closed Languages},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {117--128},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_11},
doi = {10.1007/978-3-642-22321-1\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3901,
author = {Janusz A. Brzozowski and
Hellis Tamm},
title = {Theory of Atomata},
journal = {CoRR},
volume = {abs/1102.3901},
year = {2011},
url = {http://arxiv.org/abs/1102.3901},
eprinttype = {arXiv},
eprint = {1102.3901},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-2986,
author = {Janusz A. Brzozowski and
Baiyu Li and
Yuli Ye},
title = {Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Languages},
journal = {CoRR},
volume = {abs/1103.2986},
year = {2011},
url = {http://arxiv.org/abs/1103.2986},
eprinttype = {arXiv},
eprint = {1103.2986},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-2986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3381,
author = {Janusz A. Brzozowski and
Baiyu Li},
title = {Syntactic Complexity of Star-Free Languages},
journal = {CoRR},
volume = {abs/1109.3381},
year = {2011},
url = {http://arxiv.org/abs/1109.3381},
eprinttype = {arXiv},
eprint = {1109.3381},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Brzozowski10,
author = {Janusz A. Brzozowski},
title = {Quotient Complexity of Regular Languages},
journal = {J. Autom. Lang. Comb.},
volume = {15},
number = {1/2},
pages = {71--89},
year = {2010},
url = {https://doi.org/10.25596/jalc-2010-071},
doi = {10.25596/JALC-2010-071},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Brzozowski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/BrzozowskiY10,
author = {Janusz A. Brzozowski and
Yuli Ye},
title = {Gate Circuits with Feedback in Finite Multivalued Algebras of Transients},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {16},
number = {1-2},
pages = {155--176},
year = {2010},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-16-number-1-2-2010/mvlsc-16-1-2-p-155-176/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/BrzozowskiY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BrzozowskiJZ10,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Chenglong Zou},
editor = {Farid M. Ablayev and
Ernst W. Mayr},
title = {Quotient Complexity of Closed Languages},
booktitle = {Computer Science - Theory and Applications, 5th International Computer
Science Symposium in Russia, {CSR} 2010, Kazan, Russia, June 16-20,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6072},
pages = {84--95},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13182-0\_8},
doi = {10.1007/978-3-642-13182-0\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/BrzozowskiJZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Brzozowski10,
author = {Janusz A. Brzozowski},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Complexity in Convex Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {1--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_1},
doi = {10.1007/978-3-642-13089-2\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/Brzozowski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BrzozowskiJL10,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Baiyu Li},
editor = {Alejandro L{\'{o}}pez{-}Ortiz},
title = {Quotient Complexity of Ideal Languages},
booktitle = {{LATIN} 2010: Theoretical Informatics, 9th Latin American Symposium,
Oaxaca, Mexico, April 19-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6034},
pages = {208--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12200-2\_20},
doi = {10.1007/978-3-642-12200-2\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latin/BrzozowskiJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-1666,
author = {Janusz A. Brzozowski and
Baiyu Li and
Yuli Ye},
editor = {Ian McQuillan and
Giovanni Pighizzini},
title = {On the Complexity of the Evaluation of Transient Extensions of Boolean
Functions},
booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of
Formal Systems, {DCFS} 2010, Saskatoon, Canada, 8-10th August 2010},
series = {{EPTCS}},
volume = {31},
pages = {27--37},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.31.5},
doi = {10.4204/EPTCS.31.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4843,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Joshua Smith},
title = {Quotient Complexity of Bifix-, Factor-, and Subword-Free Languages},
journal = {CoRR},
volume = {abs/1006.4843},
year = {2010},
url = {http://arxiv.org/abs/1006.4843},
eprinttype = {arXiv},
eprint = {1006.4843},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-4843.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-3263,
author = {Janusz A. Brzozowski and
Yuli Ye},
title = {Syntactic Complexity of Ideal and Closed Languages},
journal = {CoRR},
volume = {abs/1010.3263},
year = {2010},
url = {http://arxiv.org/abs/1010.3263},
eprinttype = {arXiv},
eprint = {1010.3263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-3263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-3962,
author = {Janusz A. Brzozowski and
Bo Liu},
title = {Quotient Complexity of Star-Free Languages},
journal = {CoRR},
volume = {abs/1012.3962},
year = {2010},
url = {http://arxiv.org/abs/1012.3962},
eprinttype = {arXiv},
eprint = {1012.3962},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-3962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/AngB09,
author = {Thomas Ang and
Janusz A. Brzozowski},
title = {Languages Convex with Respect to Binary Relations, and Their Closure
Properties},
journal = {Acta Cybern.},
volume = {19},
number = {2},
pages = {445--464},
year = {2009},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3776},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/AngB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiK09,
author = {Janusz A. Brzozowski and
Stavros Konstantinidis},
title = {State-complexity hierarchies of uniform languages of alphabet-size
length},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {35},
pages = {3223--3235},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.043},
doi = {10.1016/J.TCS.2009.02.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiS09,
author = {Janusz A. Brzozowski and
Nicolae Santean},
title = {Predictable semiautomata},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {35},
pages = {3236--3249},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.05.010},
doi = {10.1016/J.TCS.2009.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiGS09,
author = {Janusz A. Brzozowski and
Elyot Grant and
Jeffrey O. Shallit},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Closures in Formal Languages and Kuratowski's Theorem},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {125--144},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_10},
doi = {10.1007/978-3-642-02737-6\_10},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BrzozowskiSX09,
author = {Janusz A. Brzozowski and
Jeffrey O. Shallit and
Zhi Xu},
editor = {Adrian{-}Horia Dediu and
Armand{-}Mihai Ionescu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Decision Problems for Convex Languages},
booktitle = {Language and Automata Theory and Applications, Third International
Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5457},
pages = {247--258},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00982-2\_21},
doi = {10.1007/978-3-642-00982-2\_21},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BrzozowskiSX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0907-4547,
author = {Janusz A. Brzozowski},
editor = {J{\"{u}}rgen Dassow and
Giovanni Pighizzini and
Bianca Truthe},
title = {Quotient Complexity of Regular Languages},
booktitle = {Proceedings Eleventh International Workshop on Descriptional Complexity
of Formal Systems, {DCFS} 2009, Magdeburg, Germany, July 6-9, 2009},
series = {{EPTCS}},
volume = {3},
pages = {17--28},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.3.2},
doi = {10.4204/EPTCS.3.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-4547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3761,
author = {Janusz A. Brzozowski and
Elyot Grant and
Jeffrey O. Shallit},
title = {Closures in Formal Languages and Kuratowski's Theorem},
journal = {CoRR},
volume = {abs/0901.3761},
year = {2009},
url = {http://arxiv.org/abs/0901.3761},
eprinttype = {arXiv},
eprint = {0901.3761},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3763,
author = {Janusz A. Brzozowski and
Elyot Grant and
Jeffrey O. Shallit},
title = {Closures in Formal Languages: Concatenation, Separation, and Algorithms},
journal = {CoRR},
volume = {abs/0901.3763},
year = {2009},
url = {http://arxiv.org/abs/0901.3763},
eprinttype = {arXiv},
eprint = {0901.3763},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-2083,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Baiyu Li},
title = {Quotient complexity of ideal languages},
journal = {CoRR},
volume = {abs/0908.2083},
year = {2009},
url = {http://arxiv.org/abs/0908.2083},
eprinttype = {arXiv},
eprint = {0908.2083},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0908-2083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-1034,
author = {Janusz A. Brzozowski and
Galina Jir{\'{a}}skov{\'{a}} and
Chenglong Zou},
title = {Quotient Complexity of Closed Languages},
journal = {CoRR},
volume = {abs/0912.1034},
year = {2009},
url = {http://arxiv.org/abs/0912.1034},
eprinttype = {arXiv},
eprint = {0912.1034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-1034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/AngB08,
author = {Thomas Ang and
Janusz A. Brzozowski},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {Continuous Languages},
booktitle = {Automata and Formal Languages, 12th International Conference, {AFL}
2008, Balatonf{\"{u}}red, Hungary, May 27-30, 2008, Proceedings},
pages = {74--85},
year = {2008},
timestamp = {Fri, 18 Nov 2011 12:16:10 +0100},
biburl = {https://dblp.org/rec/conf/afl/AngB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiK08,
author = {Janusz A. Brzozowski and
Stavros Konstantinidis},
editor = {Cezar C{\^{a}}mpeanu and
Giovanni Pighizzini},
title = {State-Complexity Hierarchies of Uniform Languages of Alphabet-Size
Length},
booktitle = {10th International Workshop on Descriptional Complexity of Formal
Systems, {DCFS} 2008, Charlottetown, Prince Edward Island, Canada,
July 16-18, 2008},
pages = {97--108},
publisher = {University of Prince Edward Island},
year = {2008},
timestamp = {Fri, 21 Oct 2011 14:19:45 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiS08,
author = {Janusz A. Brzozowski and
Nicolae Santean},
editor = {Cezar C{\^{a}}mpeanu and
Giovanni Pighizzini},
title = {Determinism without Determinization},
booktitle = {10th International Workshop on Descriptional Complexity of Formal
Systems, {DCFS} 2008, Charlottetown, Prince Edward Island, Canada,
July 16-18, 2008},
pages = {109--120},
publisher = {University of Prince Edward Island},
year = {2008},
timestamp = {Fri, 21 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-1928,
author = {Janusz A. Brzozowski and
Jeffrey O. Shallit and
Zhi Xu},
title = {Decision Problems For Convex Languages},
journal = {CoRR},
volume = {abs/0808.1928},
year = {2008},
url = {http://arxiv.org/abs/0808.1928},
eprinttype = {arXiv},
eprint = {0808.1928},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-1928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiJ07,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {Representation of Semiautomata by Canonical Words and Equivalences,
Part {II:} Specification of Software Modules},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {5},
pages = {1065--1087},
year = {2007},
url = {https://doi.org/10.1142/S0129054107005133},
doi = {10.1142/S0129054107005133},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BrzozowskiY07,
author = {Janusz A. Brzozowski and
Yuli Ye},
title = {Simulation of Gate Circuits with Feedback in Multi-Valued Algebras},
booktitle = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
13-16 May 2007, Oslo, Norway},
pages = {46},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISMVL.2007.51},
doi = {10.1109/ISMVL.2007.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/BrzozowskiY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/YeB06,
author = {Yuli Ye and
Janusz A. Brzozowski},
title = {Covering of Transient Simulation of Feedback-free Circuits by Binary
Analysis},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {4},
pages = {949--974},
year = {2006},
url = {https://doi.org/10.1142/S0129054106004200},
doi = {10.1142/S0129054106004200},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/YeB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiJ06,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {Errata: "representation of Semiautomata by Canonical Words and
Equivalences"},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {5},
pages = {1231--1232},
year = {2006},
url = {https://doi.org/10.1142/S0129054106004364},
doi = {10.1142/S0129054106004364},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brzozowski06,
author = {Janusz A. Brzozowski},
title = {Representation of a class of nondeterministic semiautomata by canonical
words},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {1-2},
pages = {46--57},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.040},
doi = {10.1016/J.TCS.2006.01.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brzozowski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/Brzozowski06,
author = {Janusz A. Brzozowski},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Topics in Asynchronous Circuit Theory},
booktitle = {Recent Advances in Formal Languages and Applications},
series = {Studies in Computational Intelligence},
volume = {25},
pages = {11--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-33461-3\_2},
doi = {10.1007/978-3-540-33461-3\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/Brzozowski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiJ05,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {Representation of semiautomata by canonical words and equivalences},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {5},
pages = {831--850},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003327},
doi = {10.1142/S0129054105003327},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrzozowskiJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BrzozowskiG05,
author = {Janusz A. Brzozowski and
Mihaela Gheorghiu},
title = {Gate circuits in the algebra of transients},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {39},
number = {1},
pages = {67--91},
year = {2005},
url = {https://doi.org/10.1051/ita:2005004},
doi = {10.1051/ITA:2005004},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BrzozowskiG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/Brzozowski04,
author = {Janusz A. Brzozowski},
title = {Involuted Semilattices and Uncertainty in Ternary Algebras},
journal = {Int. J. Algebra Comput.},
volume = {14},
number = {3},
pages = {295--310},
year = {2004},
url = {https://doi.org/10.1142/S0218196704001785},
doi = {10.1142/S0218196704001785},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/Brzozowski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrzozowskiN04,
author = {Janusz A. Brzozowski and
Radu Negulescu},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Duality for Three: Ternary Symmetry in Process Spaces},
booktitle = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3113},
pages = {1--14},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27812-2\_1},
doi = {10.1007/978-3-540-27812-2\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrzozowskiN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiJ04,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
editor = {Lucian Ilie and
Detlef Wotschke},
title = {Representation of Semiautomata by Canonical Words and Equivalences},
booktitle = {6th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2004, London, Ontario, Canada, July 26 - 28, 2004. Pre-proceedings},
volume = {Report No. 619},
pages = {13--27},
publisher = {Department of Computer Science, The University of Western Ontario,
Canada},
year = {2004},
timestamp = {Fri, 21 Oct 2011 15:16:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SilverB03,
author = {Signe J. Silver and
Janusz A. Brzozowski},
title = {True Concurrency in Models of Asynchronous Circuit Behavior},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {3},
pages = {183--203},
year = {2003},
url = {https://doi.org/10.1023/A:1022902408130},
doi = {10.1023/A:1022902408130},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SilverB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrzozowskiE03,
author = {Janusz A. Brzozowski and
Zolt{\'{a}}n {\'{E}}sik},
title = {Hazard Algebras},
journal = {Formal Methods Syst. Des.},
volume = {23},
number = {3},
pages = {223--256},
year = {2003},
url = {https://doi.org/10.1023/A:1026218512171},
doi = {10.1023/A:1026218512171},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BrzozowskiE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GheorghiuB03,
author = {Mihaela Gheorghiu and
Janusz A. Brzozowski},
title = {Simulation Of Feedback-Free Circuits In The Algebra Of Transients},
journal = {Int. J. Found. Comput. Sci.},
volume = {14},
number = {6},
pages = {1033--1054},
year = {2003},
url = {https://doi.org/10.1142/S0129054103002163},
doi = {10.1142/S0129054103002163},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GheorghiuB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/BrzozowskiL03,
author = {Janusz A. Brzozowski and
Tadeusz Luba},
title = {Decomposition of Boolean Functions Specified by Cubes},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {9},
number = {4},
pages = {377--417},
year = {2003},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-9-number-4-2003/mvlsc-9-4-p-377-417/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/BrzozowskiL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SidorowiczB02,
author = {Piotr R. Sidorowicz and
Janusz A. Brzozowski},
title = {A framework for testing special-purpose memories},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {21},
number = {12},
pages = {1459--1468},
year = {2002},
url = {https://doi.org/10.1109/TCAD.2002.804375},
doi = {10.1109/TCAD.2002.804375},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SidorowiczB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiG02,
author = {Janusz A. Brzozowski and
Mihaela Gheorghiu},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Simulation of Gate Circuits in the Algebra of Transients},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {57--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_5},
doi = {10.1007/3-540-44977-9\_5},
timestamp = {Thu, 02 Jun 2022 15:19:47 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GheorghiuB02,
author = {Mihaela Gheorghiu and
Janusz A. Brzozowski},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Feedback-Free Circuits in the Algebra of Transients},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {106--116},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_10},
doi = {10.1007/3-540-44977-9\_10},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GheorghiuB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/Brzozowski01,
author = {Janusz A. Brzozowski},
title = {A Characterization of De Morgan Algebras},
journal = {Int. J. Algebra Comput.},
volume = {11},
number = {5},
pages = {525--528},
year = {2001},
url = {https://doi.org/10.1142/S0218196701000681},
doi = {10.1142/S0218196701000681},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/Brzozowski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BrzozowskieI01,
author = {Janusz A. Brzozowski and
Zolt{\'{a}}n {\'{E}}sik and
Y. Iland},
title = {Algebras for Hazard Detection},
booktitle = {31st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2001, Warsaw, Poland, May 22-24, 2001, Proceedings},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISMVL.2001.924548},
doi = {10.1109/ISMVL.2001.924548},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/BrzozowskieI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrzozowskiZ00,
author = {Janusz A. Brzozowski and
Hao Zhang},
title = {Delay-Insensitivity and Semi-Modularity},
journal = {Formal Methods Syst. Des.},
volume = {16},
number = {2},
pages = {191--218},
year = {2000},
url = {https://doi.org/10.1023/A:1008795229459},
doi = {10.1023/A:1008795229459},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BrzozowskiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiN00,
author = {Janusz A. Brzozowski and
Radu Negulescu},
title = {Automata of Asynchronous Behaviors},
journal = {Theor. Comput. Sci.},
volume = {231},
number = {1},
pages = {113--128},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00021-3},
doi = {10.1016/S0304-3975(99)00021-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brzozowski00,
author = {Janusz A. Brzozowski},
title = {Delay-insensitivity and ternary simulation},
journal = {Theor. Comput. Sci.},
volume = {245},
number = {1},
pages = {3--25},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00273-X},
doi = {10.1016/S0304-3975(99)00273-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brzozowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Brzozowski00,
author = {Janusz A. Brzozowski},
title = {De Morgan Bisemilattices},
booktitle = {30th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings},
pages = {173--178},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISMVL.2000.848616},
doi = {10.1109/ISMVL.2000.848616},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Brzozowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/hcat/BrzozowskiE00,
author = {Janusz A. Brzozowski and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Arto Salomaa and
Derick Wood and
Sheng Yu},
title = {Hazard Algebras (Extended Abstract)},
booktitle = {A Half-Century of Automata Theory: Celebration and Inspiration},
pages = {1--19},
publisher = {World Scientific},
year = {2000},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/hcat/BrzozowskiE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ShiB99,
author = {C.{-}J. Richard Shi and
Janusz A. Brzozowski},
title = {A Characterization of Signed Hypergraphs and Its Applications to {VLSI}
Via Minimization and Logic Synthesis},
journal = {Discret. Appl. Math.},
volume = {90},
number = {1-3},
pages = {223--243},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(98)00092-4},
doi = {10.1016/S0166-218X(98)00092-4},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ShiB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/BrzozowskiJ99,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {Erratum to An Algebra of Multiple Faults in RAMs},
journal = {J. Electron. Test.},
volume = {14},
number = {3},
pages = {305--306},
year = {1999},
url = {https://doi.org/10.1023/A:1008326623354},
doi = {10.1023/A:1008326623354},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/BrzozowskiJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrzozowskiJ99,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Semilattices of Fault Semiautomata},
booktitle = {Jewels are Forever, Contributions on Theoretical Computer Science
in Honor of Arto Salomaa},
pages = {3--15},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 29 Jul 2002 11:58:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrzozowskiJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LouB99,
author = {J. J. Lou and
Janusz A. Brzozowski},
title = {A Generalization of Shestakov's Function Decomposition Method},
booktitle = {29th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings},
pages = {66--71},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISMVL.1999.779697},
doi = {10.1109/ISMVL.1999.779697},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/LouB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/NegulescuB98,
author = {Radu Negulescu and
Janusz A. Brzozowski},
title = {Relative Liveness: From Intuition to Automated Verification},
journal = {Formal Methods Syst. Des.},
volume = {12},
number = {1},
pages = {73--115},
year = {1998},
url = {https://doi.org/10.1023/A:1008602014766},
doi = {10.1023/A:1008602014766},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/NegulescuB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ShiB98,
author = {C.{-}J. Richard Shi and
Janusz A. Brzozowski},
title = {Cluster-cover a theoretical framework for a class of {VLSI-CAD} optimization
problems},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {3},
number = {1},
pages = {76--107},
year = {1998},
url = {https://doi.org/10.1145/270580.270584},
doi = {10.1145/270580.270584},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/ShiB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/SidorowiczB98,
author = {Piotr R. Sidorowicz and
Janusz A. Brzozowski},
title = {An Approach to Modeling and Testing Memories and Its Application to
CAMs},
booktitle = {16th {IEEE} {VLSI} Test Symposium {(VTS} '98), 28 April - 1 May 1998,
Princeton, NJ, {USA}},
pages = {411--417},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VTEST.1998.670899},
doi = {10.1109/VTEST.1998.670899},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/SidorowiczB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/DavidBJ97,
author = {R. David and
Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {Testing for Bounded Faults in RAMs},
journal = {J. Electron. Test.},
volume = {10},
number = {3},
pages = {197--214},
year = {1997},
url = {https://doi.org/10.1023/A:1008263507929},
doi = {10.1023/A:1008263507929},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/DavidBJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/BrzozowskiLN97,
author = {Janusz A. Brzozowski and
J. J. Lou and
Radu Negulescu},
title = {A Characterization of Finite Ternary Algebras},
journal = {Int. J. Algebra Comput.},
volume = {7},
number = {6},
pages = {713--722},
year = {1997},
url = {https://doi.org/10.1142/S0218196797000319},
doi = {10.1142/S0218196797000319},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/BrzozowskiLN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiN97,
author = {Janusz A. Brzozowski and
Radu Negulescu},
editor = {Derick Wood and
Sheng Yu},
title = {Automata of Asynchronous Behaviors},
booktitle = {Automata Implementation, Second International Workshop on Implementing
Automata, {WIA} '97, London, Ontario, Canada, September 18-20, 1997,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1436},
pages = {29--45},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0031379},
doi = {10.1007/BFB0031379},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/BrzozowskiJ96,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {An algebra of multiple faults in RAMs},
journal = {J. Electron. Test.},
volume = {8},
number = {2},
pages = {129--142},
year = {1996},
url = {https://doi.org/10.1007/BF02341819},
doi = {10.1007/BF02341819},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/BrzozowskiJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0077692,
author = {Janusz A. Brzozowski and
Carl{-}Johan H. Seger},
title = {Asynchronous Circuits},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4612-4210-9},
doi = {10.1007/978-1-4612-4210-9},
isbn = {978-0-387-94420-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0077692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ShiB95,
author = {C.{-}J. Richard Shi and
Janusz A. Brzozowski},
editor = {Isao Shirakawa},
title = {A framework for the analysis and design of algorithms for a class
of {VLSI-CAD} optimization problems},
booktitle = {Proceedings of the 1995 Conference on Asia Pacific Design Automation,
Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224818.224843},
doi = {10.1145/224818.224843},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/ShiB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/NegulescuB95,
author = {Radu Negulescu and
Janusz A. Brzozowski},
title = {Relative liveness: from intuition to automated verification},
booktitle = {Second Working Conference on Asynchronous Design Methodologies, May
30-31, 1995, London, England, {UK}},
pages = {108--117},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WCADM.1995.514648},
doi = {10.1109/WCADM.1995.514648},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/NegulescuB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BrzozowskiR95,
author = {Janusz A. Brzozowski and
Kaamran Raahemifar},
title = {Testing C-elements is not elementary},
booktitle = {Second Working Conference on Asynchronous Design Methodologies, May
30-31, 1995, London, England, {UK}},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WCADM.1995.514652},
doi = {10.1109/WCADM.1995.514652},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BrzozowskiR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/SegerB94,
author = {Carl{-}Johan H. Seger and
Janusz A. Brzozowski},
title = {Generalized Ternary Simulation of Sequential Circuits},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {28},
number = {3-4},
pages = {159--186},
year = {1994},
url = {https://doi.org/10.1051/ita/1994283-401591},
doi = {10.1051/ITA/1994283-401591},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/SegerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/BrzozowskiJ92,
author = {Janusz A. Brzozowski and
Helmut J{\"{u}}rgensen},
title = {A model for sequential machine testing and diagnosis},
journal = {J. Electron. Test.},
volume = {3},
number = {3},
pages = {219--234},
year = {1992},
url = {https://doi.org/10.1007/BF00134732},
doi = {10.1007/BF00134732},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/BrzozowskiJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/CockburnB92,
author = {Bruce F. Cockburn and
Janusz A. Brzozowski},
title = {Near-optimal tests for classes of write-triggered coupling faults
in RAMs},
journal = {J. Electron. Test.},
volume = {3},
number = {3},
pages = {251--264},
year = {1992},
url = {https://doi.org/10.1007/BF00134734},
doi = {10.1007/BF00134734},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/CockburnB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiE92,
author = {Janusz A. Brzozowski and
Jo C. Ebergen},
title = {On the Delay-Sensitivity of Gate Networks},
journal = {{IEEE} Trans. Computers},
volume = {41},
number = {11},
pages = {1349--1360},
year = {1992},
url = {https://doi.org/10.1109/12.177306},
doi = {10.1109/12.177306},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/ShiB92,
author = {C.{-}J. Richard Shi and
Janusz A. Brzozowski},
editor = {Gerald Musgrave},
title = {Efficient constrained encoding for {VLSI} sequential logic synthesis},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'92, Hamburg, Germany, September 7-10, 1992},
pages = {266--271},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {https://doi.org/10.1109/EURDAC.1992.246233},
doi = {10.1109/EURDAC.1992.246233},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/ShiB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/BrzozowskiGM91,
author = {Janusz A. Brzozowski and
T. Gahlinger and
Farhad Mavaddat},
title = {Consistency and satisfiability of waveform timing specifications},
journal = {Networks},
volume = {21},
number = {1},
pages = {91--107},
year = {1991},
url = {https://doi.org/10.1002/net.3230210107},
doi = {10.1002/NET.3230210107},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/BrzozowskiGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/BrzozowskiC90,
author = {Janusz A. Brzozowski and
Bruce F. Cockburn},
title = {Detection of coupling faults in RAMs},
journal = {J. Electron. Test.},
volume = {1},
number = {2},
pages = {151--162},
year = {1990},
url = {https://doi.org/10.1007/BF00137391},
doi = {10.1007/BF00137391},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/BrzozowskiC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/CockburnB90,
author = {Bruce F. Cockburn and
Janusz A. Brzozowski},
title = {Switch-level testability of the dynamic {CMOS} {PLA}},
journal = {Integr.},
volume = {9},
number = {1},
pages = {49--80},
year = {1990},
url = {https://doi.org/10.1016/0167-9260(90)90005-L},
doi = {10.1016/0167-9260(90)90005-L},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/CockburnB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Brzozowski89,
author = {Janusz A. Brzozowski},
title = {Minimization by reversal is not new},
journal = {Bull. {EATCS}},
volume = {37},
pages = {130},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Brzozowski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BrzozowskiS89,
author = {Janusz A. Brzozowski and
Carl{-}Johan H. Seger},
title = {A unified framework for race analysis of asynchronous networks},
journal = {J. {ACM}},
volume = {36},
number = {1},
pages = {20--45},
year = {1989},
url = {https://doi.org/10.1145/58562.59301},
doi = {10.1145/58562.59301},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BrzozowskiS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BrzozowskiE89,
author = {Janusz A. Brzozowski and
Jo C. Ebergen},
editor = {J{\'{a}}nos Csirik and
J{\'{a}}nos Demetrovics and
Ferenc G{\'{e}}cseg},
title = {Recent Developments in the Design of Asynchronous Circuits},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'89,
Szeged, Hungary, August 21-25, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {380},
pages = {78--94},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51498-8\_8},
doi = {10.1007/3-540-51498-8\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BrzozowskiE89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SegerB88,
author = {Carl{-}Johan H. Seger and
Janusz A. Brzozowski},
title = {An Optimistic Ternary Simulation of Gate Races},
journal = {Theor. Comput. Sci.},
volume = {61},
pages = {49--66},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90107-7},
doi = {10.1016/0304-3975(88)90107-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SegerB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/BrzozowskiY87,
author = {Janusz A. Brzozowski and
Michael Yoeli},
title = {Combinational static {CMOS} networks},
journal = {Integr.},
volume = {5},
number = {2},
pages = {103--122},
year = {1987},
url = {https://doi.org/10.1016/0167-9260(87)90002-2},
doi = {10.1016/0167-9260(87)90002-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/BrzozowskiY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiS87,
author = {Janusz A. Brzozowski and
Carl{-}Johan H. Seger},
title = {A Characterization of Ternary Simulation of Gate Networks},
journal = {{IEEE} Trans. Computers},
volume = {36},
number = {11},
pages = {1318--1327},
year = {1987},
url = {https://doi.org/10.1109/TC.1987.5009471},
doi = {10.1109/TC.1987.5009471},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BrzozowskiK86,
author = {Janusz A. Brzozowski and
Robert Knast},
title = {Graph Congruences and Pair Testing},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {20},
number = {2},
pages = {129--147},
year = {1986},
url = {https://doi.org/10.1051/ita/1986200201291},
doi = {10.1051/ITA/1986200201291},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BrzozowskiK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awoc/BrzozowskiY86,
author = {Janusz A. Brzozowski and
Michael Yoeli},
editor = {Fillia Makedon and
Kurt Mehlhorn and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {Combinatorial Static {CMOD} Networks (Extended Summary)},
booktitle = {{VLSI} Algorithms and Architectures, Aegean Workshop on Computing,
Loutraki, Greece, July 8-11, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {227},
pages = {271--282},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16766-8\_25},
doi = {10.1007/3-540-16766-8\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/awoc/BrzozowskiY86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrzozowskiS86,
author = {Janusz A. Brzozowski and
Carl{-}Johan H. Seger},
editor = {Laurent Kott},
title = {Correspondence between Ternary Simulation and Binary Race Analysis
in Gate Networks (Extended Summary)},
booktitle = {Automata, Languages and Programming, 13th International Colloquium,
ICALP86, Rennes, France, July 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {226},
pages = {69--78},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16761-7\_56},
doi = {10.1007/3-540-16761-7\_56},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrzozowskiS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BrzozowskiM85,
author = {Janusz A. Brzozowski and
S. Muro},
title = {On serializability},
journal = {Int. J. Parallel Program.},
volume = {14},
number = {6},
pages = {387--403},
year = {1985},
url = {https://doi.org/10.1007/BF00991181},
doi = {10.1007/BF00991181},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/BrzozowskiM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BrzozowskiF84,
author = {Janusz A. Brzozowski and
Faith E. Fich},
title = {On generalized locally testable languages},
journal = {Discret. Math.},
volume = {50},
pages = {153--169},
year = {1984},
url = {https://doi.org/10.1016/0012-365X(84)90045-1},
doi = {10.1016/0012-365X(84)90045-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BrzozowskiF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrzozowskiF80,
author = {Janusz A. Brzozowski and
Faith E. Fich},
title = {Languages of R-Trivial Monoids},
journal = {J. Comput. Syst. Sci.},
volume = {20},
number = {1},
pages = {32--49},
year = {1980},
url = {https://doi.org/10.1016/0022-0000(80)90003-3},
doi = {10.1016/0022-0000(80)90003-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrzozowskiF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiL80,
author = {Janusz A. Brzozowski and
Ernst L. Leiss},
title = {On Equations for Regular Languages, Finite Automata, and Sequential
Networks},
journal = {Theor. Comput. Sci.},
volume = {10},
pages = {19--35},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90069-9},
doi = {10.1016/0304-3975(80)90069-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Brzozowski80,
author = {Janusz A. Brzozowski},
editor = {Simon H. Lavington},
title = {Developments in the Theory of regular Languages},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {29--40},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Brzozowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiY79,
author = {Janusz A. Brzozowski and
Michael Yoeli},
title = {On a Ternary Model of Gate Networks},
journal = {{IEEE} Trans. Computers},
volume = {28},
number = {3},
pages = {178--184},
year = {1979},
url = {https://doi.org/10.1109/TC.1979.1675317},
doi = {10.1109/TC.1979.1675317},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FichB79,
author = {Faith E. Fich and
Janusz A. Brzozowski},
editor = {Hermann A. Maurer},
title = {A Characterization of a Dot-Depth Two Analogue of Generalized Definite
Languages},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {230--244},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_18},
doi = {10.1007/3-540-09510-1\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FichB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrzozowskiK78,
author = {Janusz A. Brzozowski and
Robert Knast},
title = {The Dot-Depth Hierarchy of Star-Free Languages is Infinite},
journal = {J. Comput. Syst. Sci.},
volume = {16},
number = {1},
pages = {37--55},
year = {1978},
url = {https://doi.org/10.1016/0022-0000(78)90049-1},
doi = {10.1016/0022-0000(78)90049-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrzozowskiK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Brzozowski76,
author = {John A. Brzozowski},
title = {Run languages},
journal = {Discret. Math.},
volume = {16},
number = {4},
pages = {299--307},
year = {1976},
url = {https://doi.org/10.1016/S0012-365X(76)80002-7},
doi = {10.1016/S0012-365X(76)80002-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Brzozowski76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Brzozowski76,
author = {Janusz A. Brzozowski},
title = {Hierarchies of Aperiodic Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {10},
number = {2},
pages = {33--49},
year = {1976},
url = {https://doi.org/10.1051/ita/197610R200331},
doi = {10.1051/ITA/197610R200331},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Brzozowski76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BrzozowskiY74,
author = {Janusz A. Brzozowski and
Michael Yoeli},
editor = {Andrzej Blikle},
title = {Models for Analysis of Races in Sequential Networks},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {26--32},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_664},
doi = {10.1007/3-540-07162-8\_664},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BrzozowskiY74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BrzozowskiS73,
author = {Janusz A. Brzozowski and
Imre Simon},
title = {Characterizations of locally testable events},
journal = {Discret. Math.},
volume = {4},
number = {3},
pages = {243--271},
year = {1973},
url = {https://doi.org/10.1016/S0012-365X(73)80005-6},
doi = {10.1016/S0012-365X(73)80005-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BrzozowskiS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BanerjiB72,
author = {Dilip K. Banerji and
Janusz A. Brzozowski},
title = {On Translation Algorithms in Residue Number Systems},
journal = {{IEEE} Trans. Computers},
volume = {21},
number = {12},
pages = {1281--1285},
year = {1972},
url = {https://doi.org/10.1109/T-C.1972.223499},
doi = {10.1109/T-C.1972.223499},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BanerjiB72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CohenB71,
author = {Rina S. Cohen and
Janusz A. Brzozowski},
title = {Dot-Depth of Star-Free Events},
journal = {J. Comput. Syst. Sci.},
volume = {5},
number = {1},
pages = {1--16},
year = {1971},
url = {https://doi.org/10.1016/S0022-0000(71)80003-X},
doi = {10.1016/S0022-0000(71)80003-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CohenB71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrzozowskiCG71,
author = {Janusz A. Brzozowski and
Karel Cul{\'{\i}}k II and
Armen Gabrielian},
title = {Classification of Noncounting Events},
journal = {J. Comput. Syst. Sci.},
volume = {5},
number = {1},
pages = {41--53},
year = {1971},
url = {https://doi.org/10.1016/S0022-0000(71)80006-5},
doi = {10.1016/S0022-0000(71)80006-5},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrzozowskiCG71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski71,
author = {Janusz A. Brzozowski},
title = {About Feedback and {SR} Flip-Flops},
journal = {{IEEE} Trans. Computers},
volume = {20},
number = {4},
pages = {476},
year = {1971},
url = {https://doi.org/10.1109/T-C.1971.223275},
doi = {10.1109/T-C.1971.223275},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrzozowskiS71,
author = {Janusz A. Brzozowski and
Imre Simon},
title = {Characterizations of Locally Testable Events},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
Michigan, USA, October 13-15, 1971},
pages = {166--176},
publisher = {{IEEE} Computer Society},
year = {1971},
url = {https://doi.org/10.1109/SWAT.1971.6},
doi = {10.1109/SWAT.1971.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrzozowskiS71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CohenB70,
author = {Rina S. Cohen and
Janusz A. Brzozowski},
title = {General Properties of Star Height of Regular Events},
journal = {J. Comput. Syst. Sci.},
volume = {4},
number = {3},
pages = {260--280},
year = {1970},
url = {https://doi.org/10.1016/S0022-0000(70)80024-1},
doi = {10.1016/S0022-0000(70)80024-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CohenB70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski70,
author = {Janusz A. Brzozowski},
title = {{R70-44} Synchronization and General Repetitive Machines, with Applications
to Ultimate Definite Automata},
journal = {{IEEE} Trans. Computers},
volume = {19},
number = {10},
pages = {989--990},
year = {1970},
url = {https://doi.org/10.1109/T-C.1970.222817},
doi = {10.1109/T-C.1970.222817},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BrzozowskiC69,
author = {Janusz A. Brzozowski and
Rina S. Cohen},
title = {On Decompositions of Regular Events},
journal = {J. {ACM}},
volume = {16},
number = {1},
pages = {132--144},
year = {1969},
url = {https://doi.org/10.1145/321495.321505},
doi = {10.1145/321495.321505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BrzozowskiC69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BanerjiB69,
author = {Dilip K. Banerji and
Janusz A. Brzozowski},
title = {Sign Detection in Residue Number Systems},
journal = {{IEEE} Trans. Computers},
volume = {18},
number = {4},
pages = {313--320},
year = {1969},
url = {https://doi.org/10.1109/T-C.1969.222658},
doi = {10.1109/T-C.1969.222658},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BanerjiB69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiS68,
author = {Janusz A. Brzozowski and
Shanker Singh},
title = {Definite Asynchronous Sequential Circuits},
journal = {{IEEE} Trans. Computers},
volume = {17},
number = {1},
pages = {18--26},
year = {1968},
url = {https://doi.org/10.1109/TC.1968.5008864},
doi = {10.1109/TC.1968.5008864},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiS68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Brzozowski68,
author = {Janusz A. Brzozowski},
title = {Regular-Like Expressions for Some Irregular Languages},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady,
New York, USA, October 15-18, 1968},
pages = {278--286},
publisher = {{IEEE} Computer Society},
year = {1968},
url = {https://doi.org/10.1109/SWAT.1968.24},
doi = {10.1109/SWAT.1968.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Brzozowski68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Brzozowski67,
author = {Janusz A. Brzozowski},
title = {On Single-Loop Realizations of Sequential Machines},
journal = {Inf. Control.},
volume = {10},
number = {3},
pages = {292--314},
year = {1967},
url = {https://doi.org/10.1016/S0019-9958(67)90308-7},
doi = {10.1016/S0019-9958(67)90308-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Brzozowski67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Brzozowski67,
author = {Janusz A. Brzozowski},
title = {Roots of Star Events},
journal = {J. {ACM}},
volume = {14},
number = {3},
pages = {466--477},
year = {1967},
url = {https://doi.org/10.1145/321406.321409},
doi = {10.1145/321406.321409},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Brzozowski67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrzozowskiC67,
author = {Janusz A. Brzozowski and
Rina S. Cohen},
title = {On Decompositions of Regular Events},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {255--264},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.21},
doi = {10.1109/FOCS.1967.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrzozowskiC67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CohenB67,
author = {Rina S. Cohen and
Janusz A. Brzozowski},
title = {On the Star Height of Regular Events},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {265--279},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.25},
doi = {10.1109/FOCS.1967.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CohenB67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/DavisB66,
author = {Wayne A. Davis and
Janusz A. Brzozowski},
title = {On the Linearity of Sequential Machines},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {15},
number = {1},
pages = {21--29},
year = {1966},
url = {https://doi.org/10.1109/PGEC.1966.264372},
doi = {10.1109/PGEC.1966.264372},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/DavisB66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Brzozowski66,
author = {Janusz A. Brzozowski},
title = {Roots of Star Events},
booktitle = {7th Annual Symposium on Switching and Automata Theory, Berkeley, California,
USA, October 23-25, 1966},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {1966},
url = {https://doi.org/10.1109/SWAT.1966.21},
doi = {10.1109/SWAT.1966.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Brzozowski66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski65,
author = {Janusz A. Brzozowski},
title = {Regular Expressions for Linear Sequential Circuits},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {14},
number = {2},
pages = {148--156},
year = {1965},
url = {https://doi.org/10.1109/PGEC.1965.263959},
doi = {10.1109/PGEC.1965.263959},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski65a,
author = {Janusz A. Brzozowski},
title = {Some Problems in Relay Circuit Design},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {14},
number = {4},
pages = {630--634},
year = {1965},
url = {https://doi.org/10.1109/PGEC.1965.264007},
doi = {10.1109/PGEC.1965.264007},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski65a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Brzozowski65,
author = {Janusz A. Brzozowski},
title = {On single-loop realizations of automata},
booktitle = {6th Annual Symposium on Switching Circuit Theory and Logical Design,
Ann Arbor, Michigan, USA, October 6-8, 1965},
pages = {84--93},
publisher = {{IEEE} Computer Society},
year = {1965},
url = {https://doi.org/10.1109/FOCS.1965.21},
doi = {10.1109/FOCS.1965.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Brzozowski65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Brzozowski64,
author = {Janusz A. Brzozowski},
title = {Derivatives of Regular Expressions},
journal = {J. {ACM}},
volume = {11},
number = {4},
pages = {481--494},
year = {1964},
url = {https://doi.org/10.1145/321239.321249},
doi = {10.1145/321239.321249},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/Brzozowski64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiM64,
author = {Janusz A. Brzozowski and
Edward J. McCluskey},
title = {About Signal Flow Graph Techniques for Sequential Circuits},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {13},
number = {2},
pages = {154},
year = {1964},
url = {https://doi.org/10.1109/PGEC.1964.263787},
doi = {10.1109/PGEC.1964.263787},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiM64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiD64,
author = {Janusz A. Brzozowski and
Wayne A. Davis},
title = {On the Linearity of Autonomous Sequential Machines},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {13},
number = {6},
pages = {673--679},
year = {1964},
url = {https://doi.org/10.1109/PGEC.1964.263900},
doi = {10.1109/PGEC.1964.263900},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiD64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski64,
author = {Janusz A. Brzozowski},
title = {Regular Expressions from Sequential Circuits},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {13},
number = {6},
pages = {741--744},
year = {1964},
url = {https://doi.org/10.1109/PGEC.1964.263932},
doi = {10.1109/PGEC.1964.263932},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/DavisB64,
author = {Wayne A. Davis and
Janusz A. Brzozowski},
title = {On the linearity of sequential machines},
booktitle = {5th Annual Symposium on Switching Circuit Theory and Logical Design,
Princeton, New Jersey, USA, November 11-13, 1964},
pages = {197--208},
publisher = {{IEEE} Computer Society},
year = {1964},
url = {https://doi.org/10.1109/SWCT.1964.20},
doi = {10.1109/SWCT.1964.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/DavisB64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiM63,
author = {Janusz A. Brzozowski and
Edward J. McCluskey},
title = {Signal Flow Graph Techniques for Sequential Circuit State Diagrams},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {12},
number = {2},
pages = {67--76},
year = {1963},
url = {https://doi.org/10.1109/PGEC.1963.263416},
doi = {10.1109/PGEC.1963.263416},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiM63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrzozowskiP63,
author = {Janusz A. Brzozowski and
J. F. Poage},
title = {On the Construction of Sequential Machines from Regular Expressions},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {12},
number = {4},
pages = {402--403},
year = {1963},
url = {https://doi.org/10.1109/PGEC.1963.263474},
doi = {10.1109/PGEC.1963.263474},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrzozowskiP63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Brzozowski62,
author = {Janusz A. Brzozowski},
title = {A Survey of Regular Expressions and Their Applications},
journal = {{IRE} Trans. Electron. Comput.},
volume = {11},
number = {3},
pages = {324--335},
year = {1962},
url = {https://doi.org/10.1109/IRETELC.1962.5407917},
doi = {10.1109/IRETELC.1962.5407917},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Brzozowski62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
