Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. - Martin Kot; Zdenek Sawa (INFINITY, 2004)

Normed BPA vs. Normed BPP Revisited. - Petr Jancar; Martin Kot; Zdenek Sawa (CONCUR, 2008)

Modeling real-time database concurrency control protocol two-phase-locking in Uppaal. - Martin Kot (IMCSIT, 2008)

Modeling selected real-time database concurrency control protocols in Uppaal. - Martin Kot (Innov. Syst. Softw. Eng., 2009)

Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal. - Martin Kot (DATESO, 2010)

Complexity of deciding bisimilarity between normed BPA and normed BPP. - Petr Jancar; Martin Kot; Zdenek Sawa (Inf. Comput., 2010)

Using Uppaal for Verification of Priority Assignment in Real-Time Databases. - Martin Kot (ICDIPC (2), 2011)

Complexity of Checking Bisimilarity between Sequential and Parallel Processes. - Wojciech Czerwinski; Petr Jancar; Martin Kot; Zdenek Sawa (MFCS, 2013)