Pavel Krcal

Available identifiers

zbMath Open krcal.pavelMaRDI QIDQ2643077

List of research outcomes

Publication	Date of Publication	Type
Universality of R-automata with Value Copying	2015-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2845491	2013-08-30	Paper
Sampled Semantics of Timed Automata	2010-09-21	Paper
R-Automata	2008-11-25	Paper
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times	2008-07-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Sampled Universality of Timed Automata	2007-09-07	Paper
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify	2007-09-05	Paper
Task automata: Schedulability, decidability and undecidability	2007-08-23	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4473984	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474210	2004-08-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pavel Krcal