A Kleene theorem for splitable signals
Information Processing Letters
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
Timed substitutions for regular signal-event languages
Formal Methods in System Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinements and abstractions of signal-event (timed) languages
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Controller synthesis and ordinal automata
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |