Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Petr Jancar
@article{DBLP:journals/corr/abs-2401-12067,
author = {Petr Jancar},
title = {A concise proof of Commoner's theorem},
journal = {CoRR},
volume = {abs/2401.12067},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.12067},
doi = {10.48550/ARXIV.2401.12067},
eprinttype = {arXiv},
eprint = {2401.12067},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-12067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JancarOS23,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
title = {Countdown games, and simulation on (succinct) one-counter nets},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:11)2023},
doi = {10.46298/LMCS-19(1:11)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JancarOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarL23,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Semilinear Home-Space Problem Is Ackermann-Complete for Petri
Nets},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.36},
doi = {10.4230/LIPICS.CONCUR.2023.36},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomazovaBJ22,
author = {Irina A. Lomazova and
Vladimir A. Bashkin and
Petr Jancar},
title = {Resource Bisimilarity in Petri Nets is Decidable},
journal = {Fundam. Informaticae},
volume = {186},
number = {1-4},
pages = {175--194},
year = {2022},
url = {https://doi.org/10.3233/FI-222125},
doi = {10.3233/FI-222125},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomazovaBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JancarV22,
author = {Petr Jancar and
Jiri Valusek},
title = {Structural Liveness of Immediate Observation Petri Nets},
journal = {Fundam. Informaticae},
volume = {188},
number = {3},
pages = {179--215},
year = {2022},
url = {https://doi.org/10.3233/FI-222146},
doi = {10.3233/FI-222146},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JancarV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jancar22,
author = {Petr Jancar},
title = {Bisimilarity on Basic Parallel Processes},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {26--38},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.11.027},
doi = {10.1016/J.TCS.2021.11.027},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jancar22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02697,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux},
title = {Semilinear Home-space is Decidable for Petri Nets},
journal = {CoRR},
volume = {abs/2207.02697},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02697},
doi = {10.48550/ARXIV.2207.02697},
eprinttype = {arXiv},
eprint = {2207.02697},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jancar21,
author = {Petr Jancar},
title = {Equivalence of pushdown automata via first-order grammars},
journal = {J. Comput. Syst. Sci.},
volume = {115},
pages = {86--112},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2020.07.004},
doi = {10.1016/J.JCSS.2020.07.004},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Jancar21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JancarS21,
author = {Petr Jancar and
Jiv{r}'{i} v{S}'{i}ma},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {The Simplest Non-Regular Deterministic Context-Free Language},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {63:1--63:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.63},
doi = {10.4230/LIPICS.MFCS.2021.63},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JancarS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10416,
author = {Petr Jancar and
Jiv{r}'{i} v{S}'{i}ma},
title = {Simplest Non-Regular Deterministic Context-Free Language},
journal = {CoRR},
volume = {abs/2102.10416},
year = {2021},
url = {https://arxiv.org/abs/2102.10416},
eprinttype = {arXiv},
eprint = {2102.10416},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-15524,
author = {Jiri Valusek and
Petr Jancar},
title = {Structural Liveness of Immediate Observation Petri Nets},
journal = {CoRR},
volume = {abs/2112.15524},
year = {2021},
url = {https://arxiv.org/abs/2112.15524},
eprinttype = {arXiv},
eprint = {2112.15524},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-15524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jancar20,
author = {Petr Jancar},
title = {Deciding semantic finiteness of pushdown processes and first-order
grammars w.r.t. bisimulation equivalence},
journal = {J. Comput. Syst. Sci.},
volume = {109},
pages = {22--44},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2019.10.002},
doi = {10.1016/J.JCSS.2019.10.002},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Jancar20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11753,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
title = {Countdown games, and simulation on (succinct) one-counter nets},
journal = {CoRR},
volume = {abs/2008.11753},
year = {2020},
url = {https://arxiv.org/abs/2008.11753},
eprinttype = {arXiv},
eprint = {2008.11753},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JancarP19,
author = {Petr Jancar and
David Purser},
title = {Structural liveness of Petri nets is ExpSpace-hard and decidable},
journal = {Acta Informatica},
volume = {56},
number = {6},
pages = {537--552},
year = {2019},
url = {https://doi.org/10.1007/s00236-019-00338-6},
doi = {10.1007/S00236-019-00338-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JancarP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JancarLS19,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre},
title = {Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition
Systems with States},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {123--150},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1841},
doi = {10.3233/FI-2019-1841},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JancarLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JancarS19,
author = {Petr Jancar and
Sylvain Schmitz},
title = {Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785848},
doi = {10.1109/LICS.2019.8785848},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JancarS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07170,
author = {Petr Jancar and
Sylvain Schmitz},
title = {Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete},
journal = {CoRR},
volume = {abs/1901.07170},
year = {2019},
url = {http://arxiv.org/abs/1901.07170},
eprinttype = {arXiv},
eprint = {1901.07170},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ForejtJKW18,
author = {Vojtech Forejt and
Petr Jancar and
Stefan Kiefer and
James Worrell},
title = {Game Characterization of Probabilistic Bisimilarity, and Applications
to Pushdown Automata},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:13)2018},
doi = {10.23638/LMCS-14(4:13)2018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ForejtJKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JancarLS18,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition
Systems with States},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {184--203},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_10},
doi = {10.1007/978-3-319-91268-4\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JancarLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/JancarOS18,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct
One-Counter Nets},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {59--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_5},
doi = {10.1007/978-3-030-00250-3\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/JancarOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01073,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
title = {EXPSPACE-hardness of behavioural equivalences of succinct one-counter
nets},
journal = {CoRR},
volume = {abs/1801.01073},
year = {2018},
url = {http://arxiv.org/abs/1801.01073},
eprinttype = {arXiv},
eprint = {1801.01073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03518,
author = {Petr Jancar},
title = {Equivalence of pushdown automata via first-order grammars},
journal = {CoRR},
volume = {abs/1812.03518},
year = {2018},
url = {http://arxiv.org/abs/1812.03518},
eprinttype = {arXiv},
eprint = {1812.03518},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Jancar17,
author = {Petr Jancar},
title = {Branching Bisimilarity of Normed {BPA} Processes as a Rational Monoid},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:17)2017},
doi = {10.23638/LMCS-13(4:17)2017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Jancar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Jancar17,
author = {Petr Jancar},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Deciding Structural Liveness of Petri Nets},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {91--102},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_8},
doi = {10.1007/978-3-319-51963-0\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Jancar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06120,
author = {Vojtech Forejt and
Petr Jancar and
Stefan Kiefer and
James Worrell},
title = {Game Characterization of Probabilistic Bisimilarity, and Applications
to Pushdown Automata},
journal = {CoRR},
volume = {abs/1711.06120},
year = {2017},
url = {http://arxiv.org/abs/1711.06120},
eprinttype = {arXiv},
eprint = {1711.06120},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MecaBBJ16,
author = {Ondrej Meca and
Stanislav B{\"{o}}hm and
Marek Behalek and
Petr Jancar},
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {An Approach to Verification of {MPI} Applications Defined in a High-Level
Model},
booktitle = {16th International Conference on Application of Concurrency to System
Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ACSD.2016.17},
doi = {10.1109/ACSD.2016.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MecaBBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BohmMJ16,
author = {Stanislav B{\"{o}}hm and
Ondrej Meca and
Petr Jancar},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {State-Space Reduction of Non-deterministically Synchronizing Systems
Applicable to Deadlock Detection in {MPI}},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {102--118},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_7},
doi = {10.1007/978-3-319-48989-6\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BohmMJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jancar16,
author = {Petr Jancar},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Deciding Semantic Finiteness of Pushdown Processes and First-Order
Grammars w.r.t. Bisimulation Equivalence},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {52:1--52:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.52},
doi = {10.4230/LIPICS.MFCS.2016.52},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jancar16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jancar16,
author = {Petr Jancar},
title = {Branching Bisimilarity of Normed {BPA} Processes as a Rational Monoid},
journal = {CoRR},
volume = {abs/1602.05151},
year = {2016},
url = {http://arxiv.org/abs/1602.05151},
eprinttype = {arXiv},
eprint = {1602.05151},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jancar16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jancar16a,
author = {Petr Jancar},
title = {Deciding structural liveness of Petri nets},
journal = {CoRR},
volume = {abs/1608.02327},
year = {2016},
url = {http://arxiv.org/abs/1608.02327},
eprinttype = {arXiv},
eprint = {1608.02327},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jancar16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JancarKS14,
author = {Petr Jancar and
Prateek Karandikar and
Philippe Schnoebelen},
title = {On Reachability for Unidirectional Channel Systems Extended with Regular
Tests},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:2)2015},
doi = {10.2168/LMCS-11(2:2)2015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JancarKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CzerwinskiJ15,
author = {Wojciech Czerwinski and
Petr Jancar},
title = {Branching Bisimilarity of Normed {BPA} Processes Is in {NEXPTIME}},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {168--179},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.25},
doi = {10.1109/LICS.2015.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CzerwinskiJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Jancar15,
author = {Petr Jancar},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {On Reachability-Related Games on Vector Addition Systems with States},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {50--62},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_6},
doi = {10.1007/978-3-319-24537-9\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Jancar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ForejtJKW14,
author = {Vojtech Forejt and
Petr Jancar and
Stefan Kiefer and
James Worrell},
title = {Language equivalence of probabilistic pushdown automata},
journal = {Inf. Comput.},
volume = {237},
pages = {1--11},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.04.003},
doi = {10.1016/J.IC.2014.04.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ForejtJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BohmGJ14,
author = {Stanislav B{\"{o}}hm and
Stefan G{\"{o}}ller and
Petr Jancar},
title = {Bisimulation equivalence and regularity for real-time one-counter
automata},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {4},
pages = {720--743},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.11.003},
doi = {10.1016/J.JCSS.2013.11.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BohmGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Jancar14,
author = {Petr Jancar},
editor = {Anca Muscholl},
title = {Equivalences of Pushdown Systems Are Hard},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {1--28},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_1},
doi = {10.1007/978-3-642-54830-7\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Jancar14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jancar14,
author = {Petr Jancar},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Bisimulation Equivalence of First-Order Grammars},
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 = {232--243},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_20},
doi = {10.1007/978-3-662-43951-7\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jancar14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jancar14,
author = {Petr Jancar},
title = {Bisimulation Equivalence of First-Order Grammars},
journal = {CoRR},
volume = {abs/1405.7923},
year = {2014},
url = {http://arxiv.org/abs/1405.7923},
eprinttype = {arXiv},
eprint = {1405.7923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jancar14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CzerwinskiJ14,
author = {Wojciech Czerwinski and
Petr Jancar},
title = {Branching Bisimilarity of Normed {BPA} Processes is in {NEXPTIME}},
journal = {CoRR},
volume = {abs/1407.0645},
year = {2014},
url = {http://arxiv.org/abs/1407.0645},
eprinttype = {arXiv},
eprint = {1407.0645},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CzerwinskiJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CzerwinskiJKS13,
author = {Wojciech Czerwinski and
Petr Jancar and
Martin Kot and
Zdenek Sawa},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Complexity of Checking Bisimilarity between Sequential and Parallel
Processes},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {302--313},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_28},
doi = {10.1007/978-3-642-40313-2\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CzerwinskiJKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BohmGJ13,
author = {Stanislav B{\"{o}}hm and
Stefan G{\"{o}}ller and
Petr Jancar},
editor = {Dan Boneh and
Tim Roughgarden and
Joan Feigenbaum},
title = {Equivalence of deterministic one-counter automata is NL-complete},
booktitle = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
USA, June 1-4, 2013},
pages = {131--140},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2488608.2488626},
doi = {10.1145/2488608.2488626},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/BohmGJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2181,
author = {Stanislav B{\"{o}}hm and
Stefan G{\"{o}}ller and
Petr Jancar},
title = {Equivalence of Deterministic One-Counter Automata is NL-complete},
journal = {CoRR},
volume = {abs/1301.2181},
year = {2013},
url = {http://arxiv.org/abs/1301.2181},
eprinttype = {arXiv},
eprint = {1301.2181},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-0780,
author = {Petr Jancar and
Jir{\'{\i}} Srba},
title = {Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes},
journal = {CoRR},
volume = {abs/1303.0780},
year = {2013},
url = {http://arxiv.org/abs/1303.0780},
eprinttype = {arXiv},
eprint = {1303.0780},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0516,
author = {Petr Jancar},
title = {Finiteness up to bisimilarity is decidable for pushdown processes},
journal = {CoRR},
volume = {abs/1305.0516},
year = {2013},
url = {http://arxiv.org/abs/1305.0516},
eprinttype = {arXiv},
eprint = {1305.0516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jancar13,
author = {Petr Jancar},
title = {Bisimulation equivalence of first-order grammars is Ackermann-hard},
journal = {CoRR},
volume = {abs/1312.3910},
year = {2013},
url = {http://arxiv.org/abs/1312.3910},
eprinttype = {arXiv},
eprint = {1312.3910},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jancar13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2479,
author = {Petr Jancar},
title = {Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit
proof)},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:10)2013},
doi = {10.2168/LMCS-9(1:10)2013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ForejtJKW12,
author = {Vojtech Forejt and
Petr Jancar and
Stefan Kiefer and
James Worrell},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Bisimilarity of Probabilistic Pushdown Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {448--460},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.448},
doi = {10.4230/LIPICS.FSTTCS.2012.448},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ForejtJKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/JancarKS12,
author = {Petr Jancar and
Prateek Karandikar and
Philippe Schnoebelen},
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {Unidirectional Channel Systems Can Be Tested},
booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {149--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7\_11},
doi = {10.1007/978-3-642-33475-7\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/JancarKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Jancar12,
author = {Petr Jancar},
title = {Decidability of {DPDA} Language Equivalence via First-Order Grammars},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {415--424},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.51},
doi = {10.1109/LICS.2012.51},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Jancar12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2273,
author = {Vojtech Forejt and
Petr Jancar and
Stefan Kiefer and
James Worrell},
title = {Bisimilarity of Probabilistic Pushdown Automata},
journal = {CoRR},
volume = {abs/1210.2273},
year = {2012},
url = {http://arxiv.org/abs/1210.2273},
eprinttype = {arXiv},
eprint = {1210.2273},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FroschleJLS10,
author = {Sibylle B. Fr{\"{o}}schle and
Petr Jancar and
Slawomir Lasota and
Zdenek Sawa},
title = {Non-interleaving bisimulation equivalences on Basic Parallel Processes},
journal = {Inf. Comput.},
volume = {208},
number = {1},
pages = {42--62},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.06.001},
doi = {10.1016/J.IC.2009.06.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FroschleJLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JancarKS10,
author = {Petr Jancar and
Martin Kot and
Zdenek Sawa},
title = {Complexity of deciding bisimilarity between normed {BPA} and normed
{BPP}},
journal = {Inf. Comput.},
volume = {208},
number = {10},
pages = {1193--1205},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.10.012},
doi = {10.1016/J.IC.2009.10.012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JancarKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BohmGJ10,
author = {Stanislav B{\"{o}}hm and
Stefan G{\"{o}}ller and
Petr Jancar},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Bisimilarity of One-Counter Processes Is PSPACE-Complete},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {177--191},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_13},
doi = {10.1007/978-3-642-15375-4\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BohmGJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilJK10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Petr Jancar and
Anton{\'{\i}}n Kucera},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Reachability Games on Extended Vector Addition Systems with States},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {478--489},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_40},
doi = {10.1007/978-3-642-14162-1\_40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-2557,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Petr Jancar and
Anton{\'{\i}}n Kucera},
title = {Reachability Games on Extended Vector Addition Systems with States},
journal = {CoRR},
volume = {abs/1002.2557},
year = {2010},
url = {http://arxiv.org/abs/1002.2557},
eprinttype = {arXiv},
eprint = {1002.2557},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-4760,
author = {Petr Jancar},
title = {Short Decidability Proof for {DPDA} Language Equivalence via 1st Order
Grammar Bisimilarity},
journal = {CoRR},
volume = {abs/1010.4760},
year = {2010},
url = {http://arxiv.org/abs/1010.4760},
eprinttype = {arXiv},
eprint = {1010.4760},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-4760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SawaJ09,
author = {Zdenek Sawa and
Petr Jancar},
title = {Hardness of equivalence checking for composed finite-state systems},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {169--191},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0088-x},
doi = {10.1007/S00236-008-0088-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SawaJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaJM08,
author = {Javier Esparza and
Petr Jancar and
Alexander Miller},
title = {On the Complexity of Consistency and Complete State Coding for Signal
Transition Graphs},
journal = {Fundam. Informaticae},
volume = {86},
number = {3},
pages = {227--253},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi86-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EsparzaJM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Jancar08,
author = {Petr Jancar},
title = {Bouziane's transformation of the Petri net reachability problem and
incorrectness of the related algorithm},
journal = {Inf. Comput.},
volume = {206},
number = {11},
pages = {1259--1263},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.06.003},
doi = {10.1016/J.IC.2008.06.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Jancar08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JancarS08,
author = {Petr Jancar and
Jir{\'{\i}} Srba},
title = {Undecidability of bisimilarity by defender's forcing},
journal = {J. {ACM}},
volume = {55},
number = {1},
pages = {5:1--5:26},
year = {2008},
url = {https://doi.org/10.1145/1326554.1326559},
doi = {10.1145/1326554.1326559},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/JancarS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarKS08,
author = {Petr Jancar and
Martin Kot and
Zdenek Sawa},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Normed {BPA} vs. Normed {BPP} Revisited},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {434--446},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_34},
doi = {10.1007/978-3-540-85361-9\_34},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jancar08,
author = {Petr Jancar},
editor = {Masami Ito and
Masafumi Toyama},
title = {Selected Ideas Used for Decidability and Undecidability of Bisimilarity},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {56--71},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_4},
doi = {10.1007/978-3-540-85780-8\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jancar08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/JancarS07,
author = {Petr Jancar and
Zdenek Sawa},
title = {A note on emptiness for alternating finite automata with a one-letter
alphabet},
journal = {Inf. Process. Lett.},
volume = {104},
number = {5},
pages = {164--167},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.06.006},
doi = {10.1016/J.IPL.2007.06.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/JancarS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/JancarMPV07,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
J{\"{o}}rg Vogel},
title = {Monotonicity of Restarting Automata},
journal = {J. Autom. Lang. Comb.},
volume = {12},
number = {3},
pages = {355--371},
year = {2007},
url = {https://doi.org/10.25596/jalc-2007-355},
doi = {10.25596/JALC-2007-355},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/JancarMPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KuceraJ06,
author = {Anton{\'{\i}}n Kucera and
Petr Jancar},
title = {Equivalence-checking on infinite-state systems: Techniques and results},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {3},
pages = {227--264},
year = {2006},
url = {https://doi.org/10.1017/S1471068406002651},
doi = {10.1017/S1471068406002651},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/KuceraJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/EsparzaJM06,
author = {Javier Esparza and
Petr Jancar and
Alexander Miller},
title = {On the Complexity of Consistency and Complete State Coding for Signal
Transition Graphs},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.17},
doi = {10.1109/ACSD.2006.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/EsparzaJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JancarS06,
author = {Petr Jancar and
Jir{\'{\i}} Srba},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Undecidability Results for Bisimilarity on Prefix Rewrite Systems},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {277--291},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_19},
doi = {10.1007/11690634\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JancarS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/SawaJ05,
author = {Zdenek Sawa and
Petr Jancar},
title = {Behavioural Equivalences on Finite-State Systems are PTIME-hard},
journal = {Comput. Artif. Intell.},
volume = {24},
number = {5},
pages = {513--528},
year = {2005},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/397},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/SawaJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchaferVJ05,
author = {Mark Sch{\"{a}}fer and
Walter Vogler and
Petr Jancar},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Determinate {STG} Decomposition of Marked Graphs},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {365--384},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_21},
doi = {10.1007/11494744\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchaferVJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505025,
author = {Anton{\'{\i}}n Kucera and
Petr Jancar},
title = {Equivalence-Checking on Infinite-State Systems: Techniques and Results},
journal = {CoRR},
volume = {abs/cs/0505025},
year = {2005},
url = {http://arxiv.org/abs/cs/0505025},
eprinttype = {arXiv},
eprint = {cs/0505025},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JancarKMS04,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller and
Zdenek Sawa},
title = {{DP} lower bounds for equivalence-checking and model-checking of one-counter
automata},
journal = {Inf. Comput.},
volume = {188},
number = {1},
pages = {1--19},
year = {2004},
url = {https://doi.org/10.1016/S0890-5401(03)00171-8},
doi = {10.1016/S0890-5401(03)00171-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JancarKMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/JancarS04,
author = {Petr Jancar and
Jir{\'{\i}} Srba},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Highly Undecidable Questions for Process Algebras},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {507--520},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_39},
doi = {10.1007/1-4020-8141-3\_39},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/JancarS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarKM03,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Deciding Bisimilarity between {BPA} and {BPP} Processes},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {157--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_10},
doi = {10.1007/978-3-540-45187-7\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Jancar03,
author = {Petr Jancar},
title = {Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {218},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210061},
doi = {10.1109/LICS.2003.1210061},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Jancar03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JancarKMS02,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller and
Zdenek Sawa},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Equivalence-Checking with One-Counter Automata: {A} Generic Method
for Proving Lower Bounds},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {172--186},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_13},
doi = {10.1007/3-540-45931-6\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JancarKMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KuceraJ02,
author = {Anton{\'{\i}}n Kucera and
Petr Jancar},
editor = {William I. Grosky and
Frantisek Pl{\'{a}}sil},
title = {Equivalence-Checking with Infinite-State Systems: Techniques and Results},
booktitle = {{SOFSEM} 2002: Theory and Practice of Informatics, 29th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2540},
pages = {41--73},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36137-5\_3},
doi = {10.1007/3-540-36137-5\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KuceraJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002,
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5},
doi = {10.1007/3-540-45694-5},
isbn = {3-540-44043-7},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jancar01,
author = {Petr Jancar},
title = {Nonprimitive recursive complexity and undecidability for Petri net
equivalences},
journal = {Theor. Comput. Sci.},
volume = {256},
number = {1-2},
pages = {23--30},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00100-6},
doi = {10.1016/S0304-3975(00)00100-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Jancar01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JancarKM01,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Richard Mayr},
title = {Deciding bisimulation-like equivalences with finite-state processes},
journal = {Theor. Comput. Sci.},
volume = {258},
number = {1-2},
pages = {409--433},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00027-X},
doi = {10.1016/S0304-3975(00)00027-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JancarKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/SawaJ01,
author = {Zdenek Sawa and
Petr Jancar},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {P-Hardness of Equivalence Testing on Finite-State Processes},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {326--335},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_29},
doi = {10.1007/3-540-45627-9\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/SawaJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Jancar00,
author = {Petr Jancar},
title = {Decidability of Bisimilarity for One-Counter Processes},
journal = {Inf. Comput.},
volume = {158},
number = {1},
pages = {1--17},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2813},
doi = {10.1006/INCO.1999.2813},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Jancar00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JancarKM00,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller},
editor = {Horst Reichel and
Sophie Tison},
title = {Simulation and Bisimulation over One-Counter Processes},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {334--345},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_28},
doi = {10.1007/3-540-46541-3\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/JancarKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Jancar99,
author = {Petr Jancar},
title = {A Note on Well Quasi-Orderings for Powersets},
journal = {Inf. Process. Lett.},
volume = {72},
number = {5-6},
pages = {155--160},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00149-0},
doi = {10.1016/S0020-0190(99)00149-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Jancar99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/JancarMPV99,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
J{\"{o}}rg Vogel},
title = {On Monotonic Automata with a Restart Operation},
journal = {J. Autom. Lang. Comb.},
volume = {4},
number = {4},
pages = {287--311},
year = {1999},
url = {https://doi.org/10.25596/jalc-1999-287},
doi = {10.25596/JALC-1999-287},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/JancarMPV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JanarEM99,
author = {Petr Jancar and
Javier Esparza and
Faron Moller},
title = {Petri Nets and Regular Processes},
journal = {J. Comput. Syst. Sci.},
volume = {59},
number = {3},
pages = {476--503},
year = {1999},
url = {https://doi.org/10.1006/jcss.1999.1643},
doi = {10.1006/JCSS.1999.1643},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JanarEM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarM99,
author = {Petr Jancar and
Faron Moller},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Techniques for Decidability and Undecidability of Bisimilarity},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {30--45},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_5},
doi = {10.1007/3-540-48320-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DufordJS99,
author = {Catherine Dufourd and
Petr Jancar and
Philippe Schnoebelen},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Boundedness of Reset {P/T} Nets},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {301--310},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_27},
doi = {10.1007/3-540-48523-6\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DufordJS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JancarMS99,
author = {Petr Jancar and
Faron Moller and
Zdenek Sawa},
editor = {Jan Pavelka and
Gerard Tel and
Miroslav Bartosek},
title = {Simulation Problems for One-Counter Machines},
booktitle = {{SOFSEM} '99, Theory and Practice of Informatics, 26th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 27 - December 4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1725},
pages = {404--413},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47849-3\_28},
doi = {10.1007/3-540-47849-3\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JancarMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JancarMPV98,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
J{\"{o}}rg Vogel},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Different Types of Monotonicity for Restarting Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {343--354},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_32},
doi = {10.1007/978-3-540-49382-2\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JancarMPV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JancarKM98,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Richard Mayr},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Deciding Bisimulation-Like Equivalences with Finite-State Processes},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {200--211},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055053},
doi = {10.1007/BFB0055053},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JancarKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JancarK98,
author = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {Preface},
booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {1--2},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80245-2},
doi = {10.1016/S1571-0661(05)80245-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/JancarK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1998woc,
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
publisher = {Elsevier},
year = {1998},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/18/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/1998woc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JancarMPV97,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
J{\"{o}}rg Vogel},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {On Restarting Automata with Rewriting},
booktitle = {New Trends in Formal Languages - Control, Cooperation, and Combinatorics
(to J{\"{u}}rgen Dassow on the occasion of his 50th birthday)},
series = {Lecture Notes in Computer Science},
volume = {1218},
pages = {119--136},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62844-4\_8},
doi = {10.1007/3-540-62844-4\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JancarMPV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JancarMPPV97,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
Martin Proch{\'{a}}zka and
J{\"{o}}rg Vogel},
editor = {Symeon Bozapalidis},
title = {Deleting Automata with a Restart Operation},
booktitle = {Proceedings of the 3rd International Conference Developments in Language
Theory, {DLT} 1997, Thessaloniki, Greece, July 20-23, 1997},
pages = {191--202},
publisher = {Aristotle University of Thessaloniki},
year = {1997},
timestamp = {Wed, 07 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/JancarMPPV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jancar97,
author = {Petr Jancar},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Bisimulation Equivalence is Decidable for One-Counter Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {549--559},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_210},
doi = {10.1007/3-540-63165-8\_210},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jancar97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MrazPJV97,
author = {Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
Petr Jancar and
J{\"{o}}rg Vogel},
editor = {Frantisek Pl{\'{a}}sil and
Keith G. Jeffery},
title = {Monotonic Rewriting Automata with a Restart Operation},
booktitle = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1338},
pages = {505--512},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63774-5\_132},
doi = {10.1007/3-540-63774-5\_132},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MrazPJV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JancarK97,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera},
editor = {Faron Moller},
title = {Bisimilarity of processes with finite-state systems},
booktitle = {Second International Workshop on Verification of Infinite State Systems,
Infinity 1997, Bologna, Italy, July 11-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {9},
pages = {41},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80428-1},
doi = {10.1016/S1571-0661(05)80428-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JancarK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JancarMP96,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek},
title = {Forgetting Automata and Context-Free Languages},
journal = {Acta Informatica},
volume = {33},
number = {5},
pages = {409--420},
year = {1996},
url = {https://doi.org/10.1007/s002360050050},
doi = {10.1007/S002360050050},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JancarMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JancarE96,
author = {Petr Jancar and
Javier Esparza},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {Deciding Finiteness of Petri Nets Up To Bisimulation},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {478--489},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_152},
doi = {10.1007/3-540-61440-0\_152},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JancarE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Jancar95,
author = {Petr Jancar},
title = {All action-based behavioural equivalences are undecidable for labelled
Petri nets},
journal = {Bull. {EATCS}},
volume = {56},
year = {1995},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Jancar95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jancar95,
author = {Petr Jancar},
title = {Undecidability of Bisimilarity for Petri Nets and Some Related Problems},
journal = {Theor. Comput. Sci.},
volume = {148},
number = {2},
pages = {281--301},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00037-W},
doi = {10.1016/0304-3975(95)00037-W},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Jancar95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarM95,
author = {Petr Jancar and
Faron Moller},
editor = {Insup Lee and
Scott A. Smolka},
title = {Checking Regular Properties of Petri Nets},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {348--362},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_26},
doi = {10.1007/3-540-60218-6\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JancarMPPV95,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
Martin Proch{\'{a}}zka and
J{\"{o}}rg Vogel},
editor = {J{\"{u}}rgen Dassow and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Restarting Automata, Marcus Grammars and Context-Free Languages},
booktitle = {Developments in Language Theory II, At the Crossroads of Mathematics,
Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995},
pages = {102--111},
publisher = {World Scientific, Singapore},
year = {1995},
timestamp = {Fri, 26 May 2017 12:54:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/JancarMPPV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/JancarMPV95,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek and
J{\"{o}}rg Vogel},
editor = {Horst Reichel},
title = {Restarting Automata},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {283--292},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_60},
doi = {10.1007/3-540-60249-6\_60},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/JancarMPV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Jancar95,
author = {Petr Jancar},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {High Undecidability of Weak Bisimilarity for Petri Nets},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {349--363},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_206},
doi = {10.1007/3-540-59293-8\_206},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Jancar95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jancar94,
author = {Petr Jancar},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {Decidability Questions for Bismilarity of Petri Nets and Some Related
Problems},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {581--592},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_173},
doi = {10.1007/3-540-57785-8\_173},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jancar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HowellJR93,
author = {Rodney R. Howell and
Petr Jancar and
Louis E. Rosier},
title = {Completeness Results for Single-Path Petri Nets},
journal = {Inf. Comput.},
volume = {106},
number = {2},
pages = {253--265},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1055},
doi = {10.1006/INCO.1993.1055},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HowellJR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JancarMP93,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {A Taxonomy of Forgetting Automata},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {527--536},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_44},
doi = {10.1007/3-540-57182-5\_44},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JancarMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JancarMP92,
author = {Petr Jancar and
Frantisek Mr{\'{a}}z and
Martin Pl{\'{a}}tek},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {Characterization of Context-Free Languages by Erasing Automata},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {307--314},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_29},
doi = {10.1007/3-540-55808-X\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JancarMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HowellJR91,
author = {Rodney R. Howell and
Petr Jancar and
Louis E. Rosier},
editor = {Andrzej Tarlecki},
title = {Single-Path Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {202--210},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_63},
doi = {10.1007/3-540-54345-7\_63},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HowellJR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jancar90,
author = {Petr Jancar},
title = {Decidability of a Temporal Logic Problem for Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {74},
number = {1},
pages = {71--93},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90006-4},
doi = {10.1016/0304-3975(90)90006-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Jancar90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jancar89,
author = {Petr Jancar},
editor = {Burkhard Monien and
Robert Cori},
title = {Decidability of Waek Fairness in Petri Nets},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {446--457},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0029006},
doi = {10.1007/BFB0029006},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jancar89.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-02-06 23:50 CET 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:
