Mojmír Kretínský

	2009
20		Laura 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)
19		Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Decidability of LTL+Past Model Checking for Process Rewrite Systems. Electr. Notes Theor. Comput. Sci. 239: 105-117 (2009)
18		Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 251: 1-3 (2009)
17		Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Reachability is decidable for weakly extended process rewrite systems. Inf. Comput. 207(6): 671-680 (2009)
	2008
16		Mojmí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
15		Lubos Brim, Mojmír Kretínský: Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28
	2006
14		Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Decidability of LTL Model Checking for Process Rewrite Systems. FSTTCS 2006: 248-259
13		Mojmí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
12		Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS 2005: 213-224
	2004
11		Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR 2004: 355-370
10		Mojmí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
9		Jean-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
6		Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
	1999
5		Ivana 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
4		Petr 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
2		Ivana 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

1	Laura Bozzelli	[14] [20]
2	Lubos Brim	[1] [3] [6] [7] [8] [9] [15]
3	Ivana Cerná (Ivana Cerna)	[2] [5]
4	Milan Ceska	[18]
5	David Gilbert (David R. Gilbert)	[1] [3] [6] [7] [9]
6	Jean-Marie Jacquet	[1] [3] [6] [7] [9]
7	Petr Jancar	[4] [8]
8	Zdenek Kotásek	[18]
9	Antonín Kucera	[2] [5] [8]
10	Ludek Matyska	[18]
11	Vojtech Rehák	[10] [11] [12] [13] [14] [16] [17] [19] [20]
12	Jan Strejcek	[10] [11] [12] [13] [14] [16] [17] [19] [20]
13	Tomás Vojnar	[18]