Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mojmír Kretínský
@inproceedings{DBLP:conf/lpar/BlahoudekDKKS17,
author = {Frantisek Blahoudek and
Alexandre Duret{-}Lutz and
Mikul{\'{a}}s Klokocka and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Thomas Eiter and
David Sands},
title = {Seminator: {A} Tool for Semi-Determinization of Omega-Automata},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {356--367},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/k5nl},
doi = {10.29007/K5NL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlahoudekDKKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BlahoudekDKS14,
author = {Frantisek Blahoudek and
Alexandre Duret{-}Lutz and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Is there a best b{\"{u}}chi automaton for explicit model checking?},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {68--76},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632377},
doi = {10.1145/2632362.2632377},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BlahoudekDKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BabiakBKS13,
author = {Tom{\'{a}}s Babiak and
Frantisek Blahoudek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Effective Translation of {LTL} to Deterministic Rabin Automata: Beyond
the (F, G)-Fragment},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {24--39},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_4},
doi = {10.1007/978-3-319-02444-8\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BabiakBKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlahoudekKS13,
author = {Frantisek Blahoudek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Comparison of {LTL} to Deterministic Rabin Automata Translators},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {164--172},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_12},
doi = {10.1007/978-3-642-45221-5\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlahoudekKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BabiakBDKS13,
author = {Tom{\'{a}}s Babiak and
Thomas Badie and
Alexandre Duret{-}Lutz and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Compositional Approach to Suspension and Other Improvements to {LTL}
Translation},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {81--98},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_6},
doi = {10.1007/978-3-642-39176-7\_6},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/BabiakBDKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BabiakBKS13,
author = {Tom{\'{a}}s Babiak and
Frantisek Blahoudek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
title = {Effective Translation of {LTL} to Deterministic Rabin Automata: Beyond
the (F, G)-Fragment},
journal = {CoRR},
volume = {abs/1306.4636},
year = {2013},
url = {http://arxiv.org/abs/1306.4636},
eprinttype = {arXiv},
eprint = {1306.4636},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BabiakBKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BabiakKRS12,
author = {Tom{\'{a}}s Babiak and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {{LTL} to B{\"{u}}chi Automata Translation: Fast and More Deterministic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {95--109},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_8},
doi = {10.1007/978-3-642-28756-5\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BabiakKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-0682,
author = {Tom{\'{a}}s Babiak and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {{LTL} to B{\"{u}}chi Automata Translation: Fast and More Deterministic},
journal = {CoRR},
volume = {abs/1201.0682},
year = {2012},
url = {http://arxiv.org/abs/1201.0682},
eprinttype = {arXiv},
eprint = {1201.0682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-0682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-4214,
author = {Tom{\'{a}}s Babiak and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {A Short Story of a Subtle Error in {LTL} Formulas Reduction and Divine
Incorrectness},
journal = {CoRR},
volume = {abs/1011.4214},
year = {2010},
url = {http://arxiv.org/abs/1011.4214},
eprinttype = {arXiv},
eprint = {1011.4214},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-4214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BozzelliKRS09,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {On decidability of {LTL} model checking for process rewrite systems},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {1--28},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0082-3},
doi = {10.1007/S00236-008-0082-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BozzelliKRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KretinskyRS09,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {Reachability is decidable for weakly extended process rewrite systems},
journal = {Inf. Comput.},
volume = {207},
number = {6},
pages = {671--680},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2009.01.003},
doi = {10.1016/J.IC.2009.01.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KretinskyRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KretinskyRS09,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {On Decidability of LTL+Past Model Checking for Process Rewrite Systems},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {105--117},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.033},
doi = {10.1016/J.ENTCS.2009.05.033},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KretinskyRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2008,
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/251/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KretinskyRS08,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {Petri nets are less expressive than state-extended {PA}},
journal = {Theor. Comput. Sci.},
volume = {394},
number = {1-2},
pages = {134--140},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.12.003},
doi = {10.1016/J.TCS.2007.12.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KretinskyRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CeskaKKMV09,
author = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {Preface},
booktitle = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.023},
doi = {10.1016/J.ENTCS.2009.08.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CeskaKKMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimK07,
author = {Lubos Brim and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Model-Checking Large Finite-State Systems and Beyond},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {9--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_2},
doi = {10.1007/978-3-540-69507-3\_2},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliKRS06,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Decidability of {LTL} Model Checking for Process Rewrite Systems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {248--259},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_24},
doi = {10.1007/11944836\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliKRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KretinskyRS05,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {Reachability of Hennessy-Milner Properties for Weakly Extended {PRS}},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {213--224},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_17},
doi = {10.1007/11590156\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KretinskyRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KretinskyRS06,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Refining the Undecidability Border of Weak Bisimilarity},
booktitle = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
pages = {17--36},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.014},
doi = {10.1016/J.ENTCS.2005.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KretinskyRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KretinskyRS04,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Extended Process Rewrite Systems: Expressiveness and Reachability},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {355--370},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_23},
doi = {10.1007/978-3-540-28644-8\_23},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/KretinskyRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KetinskyRS04,
author = {Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {Philippe Schnoebelen},
title = {On Extensions of Process Rewrite Systems: Rewrite Systems with Weak
Finite-State Unit},
booktitle = {Proceedings of {INFINITY} 2003, the 5th International Workshop on
Verification of Infinite-State Systems, a satellite workshop of {CONCUR}
2003, Marseille, France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {98},
pages = {75--88},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.10.008},
doi = {10.1016/J.ENTCS.2003.10.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KetinskyRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BrimKJG02,
author = {Lubos Brim and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Marie Jacquet and
David R. Gilbert},
title = {Modelling Multi-Agent Systems as Synchronous Concurrent Constraint
Processes},
journal = {Comput. Artif. Intell.},
volume = {21},
number = {6},
pages = {565--590},
year = {2002},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/479},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BrimKJG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacquetBGK03,
author = {Jean{-}Marie Jacquet and
Lubos Brim and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordination by Means of Synchronous and Asynchronous Communication
in Concurrent Constraint Programming},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {347--370},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80377-9},
doi = {10.1016/S1571-0661(05)80377-9},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacquetBGK03.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}
}
@inproceedings{DBLP:conf/sofsem/BrimGJK01,
author = {Lubos Brim and
David R. Gilbert and
Jean{-}Marie Jacquet and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Multi-agent Systems as Concurrent Constraint 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 = {201--210},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_17},
doi = {10.1007/3-540-45627-9\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimGJK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CernaKK99,
author = {Ivana Cern{\'{a}} and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Comparing Expressibility of Normed {BPA} and Normed {BPP} Processes},
journal = {Acta Informatica},
volume = {36},
number = {3},
pages = {233--256},
year = {1999},
url = {https://doi.org/10.1007/s002360050159},
doi = {10.1007/S002360050159},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CernaKK99.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/alp/BrimJGK96,
author = {Lubos Brim and
Jean{-}Marie Jacquet and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Process Algebra for Synchronous Concurrent Constraint Programming},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {165--178},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_11},
doi = {10.1007/3-540-61735-3\_11},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/BrimJGK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CernaKK96,
author = {Ivana Cern{\'{a}} and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
editor = {Bernhard Steffen and
Didier Caucal},
title = {Bisimilarity is decidable in the union of normed {BPA} and normed
{BPP} processes},
booktitle = {First International Workshop on Verification of Infinite State Systems,
Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {5},
pages = {14},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80675-9},
doi = {10.1016/S1571-0661(05)80675-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CernaKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BrimGJK95,
author = {Lubos Brim and
David R. Gilbert and
Jean{-}Marie Jacquet and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {John W. Lloyd},
title = {Synchronisation in Scc},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {641},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299954},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BrimGJK95.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 2023-10-02 01:23 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:
