Timed Automata with Monotonic Activities
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Decomposition and Composition of Timed Automata
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Algebraic Characterization of Data and Timed Languages
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Kleene/Büchi-like theorem for clock languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
An algebraic approach to data languages and timed languages
Information and Computation
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Theoretical Computer Science
Classes of Timed Automata and the Undecidability of Universality
Fundamenta Informaticae
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
Undecidable problems about timed automata
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
On timed automata with discrete time – structural and language theoretical characterization
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
A concurrency-preserving translation from time Petri nets to networks of timed automata
Formal Methods in System Design
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
Classes of Timed Automata and the Undecidability of Universality
Fundamenta Informaticae
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
Frontiers of Computer Science: Selected Publications from Chinese Universities
Blending Timed Formal Models with Clock Transition Systems
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |