- Message Sequence Charts Blaise Genest Anca Muscholl Doron Peled Sat 02 June 2012
- Extending Compositional Message Sequence Graphs Benedikt Bollig Martin Leucker Philipp Lucas Sat 02 June 2012
- Compositional Message Sequence Charts Elsa L. Gunter Anca Muscholl Doron Peled Sat 02 June 2012
- Relating timed and register automata Diego Figueira Piotr Hofman Sławomir Lasota Sat 02 June 2012
- Event-clock automata: a determinizable class of timed automata Rajeev Alur Limor Fix Thomas A. Henzinger Fri 01 June 2012
- Probabilistic Modal mu-Calculus with Independent Product Matteo Mio Fri 01 June 2012
- Matching scenarios with timing constraints Prakash Chandrasekaran Madhavan Mukund Fri 01 June 2012
- Automata and logics for timed message sequence charts S. Akshay Benedikt Bollig Paul Gastin Fri 01 June 2012
- Undecidability Results for Timed Automata with Silent Transitions Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 31 May 2012
- Origins and Metamorphoses of The Trinity: Logic, Nets, Automata Boris Trakhtenbrot Thu 31 May 2012
- Non-standard semantics of hybrid systems modelers Albert Benveniste Timothy Bourke Benoît Caillaud Marc Pouzet Thu 31 May 2012
- Automata over continuous time Alexander Rabinovich Thu 31 May 2012
- On Transfinite Hybrid Automata Katsunori Nakamura Akira Fusaoka Thu 31 May 2012
- Modelling of Complex Systems: Systems as Dataflow Machines Simon Bliudze Daniel Krob Thu 31 May 2012
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling Kohei Suenaga Ichiro Hasuo Thu 31 May 2012
- Operational Semantics for Timed Systems - A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Thu 31 May 2012
- An algebraic approach to data languages and timed languages Patricia Bouyer Antoine Petit Denis Therien Thu 31 May 2012
- Alternating timed automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
- Alternating Timed Automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
- Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 28 May 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
