Martin Kot

According to our database, Martin Kot authored at least 8 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Complexity of Checking Bisimilarity between Sequential and Parallel Processes.

Wojciech Czerwinski, Petr Jancar, Martin Kot, Zdenek Sawa

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2011

Using Uppaal for Verification of Priority Assignment in Real-Time Databases.

Martin Kot

Proceedings of the Digital Information Processing and Communications, 2011

2010

Complexity of deciding bisimilarity between normed BPA and normed BPP.

Petr Jancar, Martin Kot, Zdenek Sawa

Inf. Comput., 2010

Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal.

Martin Kot

Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, 2010

2009

Modeling selected real-time database concurrency control protocols in Uppaal.

Martin Kot

Innov. Syst. Softw. Eng., 2009

2008

Modeling real-time database concurrency control protocol two-phase-locking in Uppaal.

Martin Kot

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Normed BPA vs. Normed BPP Revisited.

Petr Jancar, Martin Kot, Zdenek Sawa

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2004

Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time.

Martin Kot, Zdenek Sawa

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004