MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Journal of Computer and System Sciences
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
Timed substitutions for regular signal-event languages
Formal Methods in System Design
DLT'02 Proceedings of the 6th international conference on Developments in language theory
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Intersection of regular signal-event (timed) languages
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Refinements and abstractions of signal-event (timed) languages
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A kleene theorem for languages of words indexed by linear orderings
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
On transfinite hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
| Hi-index | 0.00 |