Martin Kot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 Martin Kot: Modeling selected real-time database concurrency control protocols in Uppaal. ISSE 5(2): 129-138 (2009)

2008

2 Petr Jancar, Martin Kot, Zdenek Sawa: Normed BPA vs. Normed BPP Revisited. CONCUR 2008: 434-446

2005

1 Martin Kot, Zdenek Sawa: Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. Electr. Notes Theor. Comput. Sci. 138(3): 49-60 (2005)

	2009
3		Martin Kot: Modeling selected real-time database concurrency control protocols in Uppaal. ISSE 5(2): 129-138 (2009)
	2008
2		Petr Jancar, Martin Kot, Zdenek Sawa: Normed BPA vs. Normed BPP Revisited. CONCUR 2008: 434-446
	2005
1		Martin Kot, Zdenek Sawa: Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. Electr. Notes Theor. Comput. Sci. 138(3): 49-60 (2005)

Coauthor Index

1 Petr Jancar [2]

2 Zdenek Sawa [1] [2]