- Characterization of the expressive power of silent transitions in timed automata Béatrice Bérard Antoine Petit Volker Diekert Paul Gastin Wed 09 May 2012
- Challenges in Timed Languages: from applied theory to basic theory Eugene Asarin Wed 09 May 2012
- On timed automata with discrete time - structural and language theoretical characterization Hermann Gruber Markus Holzer Astrid Kiehn Barbara Kønig Wed 09 May 2012
- On Communicating Finite-State Machines Daniel Brand Pitro Zafiropulo Wed 09 May 2012
- A Contraction Method to Decide MSO Theories of Deterministic Trees Angelo Montanari Gabriele Puppis Wed 09 May 2012
- A Short Introduction to Infinite Automata Wolfgang Thomas Tue 08 May 2012
- On infinite transition graphs having a decidable monadic theory Didier Caucal Tue 08 May 2012
- Constructing Infinite Graphs with a Decidable MSO-Theory Wolfgang Thomas Tue 08 May 2012
- Decidability of MSO Theories of Tree Structures A. Montanari G. Puppis Tue 08 May 2012
- Asynchronous Games over Tree Architectures Blaise Genest Hugo Gimbert Anca Muscholl Igor Walukiewicz Sun 06 May 2012
- Game Semantics for Probabilistic Modal mu-Calculi Matteo Mio Sun 06 May 2012
- A Note on the Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus Igor Walukiewicz Sun 06 May 2012
- Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus Igor Walukiewicz Sun 06 May 2012
- Completeness of Kozen's axiomatisation of the propositional mu-calculus Igor Walukiewicz Sun 06 May 2012
- Determinization of ømega-automata unified Hrishikesh Karmarkar Supratik Chakraborty Fri 04 May 2012
- On Minimal Odd Rankings for Buchi Complementation Hrishikesh Karmarkar Supratik Chakraborty Fri 04 May 2012
- Infinite-State High-Level MSCs: Model-Checking and Realizability Blaise Genest Anca Muscholl Helmut Seidl Marc Zeitoun Thu 03 May 2012
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata Blaise Genest Dietrich Kuske Anca Muscholl Thu 03 May 2012
- Message Sequence Charts David Harel P.S. Thiagarajan Thu 03 May 2012
- On Communicating Automata with Bounded Channels Blaise Genest Dietrich Kuske Anca Muscholl Thu 03 May 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
