dblp.uni-trier.dewww.uni-trier.de

Mojmír Kretínský

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
17EELaura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On decidability of LTL model checking for process rewrite systems. Acta Inf. 46(1): 1-28 (2009)
2008
16EEMojmír Kretínský, Vojtech Rehák, Jan Strejcek: Petri nets are less expressive than state-extended PA. Theor. Comput. Sci. 394(1-2): 134-140 (2008)
2007
15EELubos Brim, Mojmír Kretínský: Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28
2006
14EELaura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Decidability of LTL Model Checking for Process Rewrite Systems. FSTTCS 2006: 248-259
13EEMojmír Kretínský, Vojtech Rehák, Jan Strejcek: Refining the Undecidability Border of Weak Bisimilarity. Electr. Notes Theor. Comput. Sci. 149(1): 17-36 (2006)
2005
12EEMojmír Kretínský, Vojtech Rehák, Jan Strejcek: Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS 2005: 213-224
2004
11EEMojmír Kretínský, Vojtech Rehák, Jan Strejcek: Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR 2004: 355-370
10EEMojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. Electr. Notes Theor. Comput. Sci. 98: 75-88 (2004)
2003
9EEJean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský: Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
2002
8 Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings Springer 2002
7 Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert: Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Computers and Artificial Intelligence 21(6): (2002)
2001
6EELubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
1999
5EEIvana Cerná, Mojmír Kretínský, Antonín Kucera: Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Inf. 36(3): 233-256 (1999)
1998
4EEPetr Jancar, Mojmír Kretínský: Preface. Electr. Notes Theor. Comput. Sci. 18: (1998)
1996
3 Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský: A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178
2EEIvana Cerná, Mojmír Kretínský, Antonín Kucera: Bisimilarity is decidable in the union of normed BPA and normed BPP processes. Electr. Notes Theor. Comput. Sci. 5: (1996)
1995
1 Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Synchronisation in Scc. ILPS 1995: 641

Coauthor Index

1Laura Bozzelli [14] [17]
2Lubos Brim [1] [3] [6] [7] [8] [9] [15]
3Ivana Cerná (Ivana Cerna) [2] [5]
4David Gilbert (David R. Gilbert) [1] [3] [6] [7] [9]
5Jean-Marie Jacquet [1] [3] [6] [7] [9]
6Petr Jancar [4] [8]
7Antonín Kucera [2] [5] [8]
8Vojtech Rehák [10] [11] [12] [13] [14] [16] [17]
9Jan Strejcek [10] [11] [12] [13] [14] [16] [17]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)