 | 2010 |
|---|
| 6 |       | Martin Kot:
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal.
DATESO 2010: 147-154 |
| 5 | | Petr Jancar,
Martin Kot,
Zdenek Sawa:
Complexity of deciding bisimilarity between normed BPA and normed BPP.
Inf. Comput. 208(10): 1193-1205 (2010) |
| 2009 |
|---|
| 4 | | Martin Kot:
Modeling selected real-time database concurrency control protocols in Uppaal.
ISSE 5(2): 129-138 (2009) |
| 2008 |
|---|
| 3 | | Petr Jancar,
Martin Kot,
Zdenek Sawa:
Normed BPA vs. Normed BPP Revisited.
CONCUR 2008: 434-446 |
| 2 | | Martin Kot:
Modeling real-time database concurrency control protocol two-phase-locking in Uppaal.
IMCSIT 2008: 673-678 |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page