Martin Kot

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Parallel Version

Learning Algorithm

Computational Cost

Top Venues

Publications

Wojciech Czerwinski, Petr Jancar, Martin Kot, Zdenek Sawa
Complexity of Checking Bisimilarity between Sequential and Parallel Processes. MFCS (2013)
Martin Kot
Using Uppaal for Verification of Priority Assignment in Real-Time Databases. ICDIPC (2) (2011)
Martin Kot
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal. DATESO (2010)
Petr Jancar, Martin Kot, Zdenek Sawa
Complexity of deciding bisimilarity between normed BPA and normed BPP. Inf. Comput. 208 (10) (2010)
Martin Kot
Modeling selected real-time database concurrency control protocols in Uppaal. Innov. Syst. Softw. Eng. 5 (2) (2009)
Martin Kot
Modeling real-time database concurrency control protocol two-phase-locking in Uppaal. IMCSIT (2008)
Petr Jancar, Martin Kot, Zdenek Sawa
Normed BPA vs. Normed BPP Revisited. CONCUR (2008)
Martin Kot, Zdenek Sawa
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. INFINITY (2004)