- Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida Mon 10 November 2014
- How to Stop Time Stopping Howard Bowman Rodolfo Gómez Mon 10 November 2014
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types Pierre-Malo Deniélou Nobuko Yoshida Thu 06 November 2014
- Safety Alternating Automata on Data Words Ranko Lazić Thu 06 November 2014
- Partial-Observation Stochastic Games: How to Win when Belief Fails Krishnendu Chatterjee Laurent Doyen Wed 05 November 2014
- On Context-Free Languages Rohit J. Parikh Mon 03 November 2014
- The Satisfiability Problem for Probabilistic CTL Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera Fri 31 October 2014
- Decision Problems for Deterministic Pushdown Automata on Infinite Words Christof Løding Wed 29 October 2014
- Simplification Problems for Automata and Games Stefan Repke Wed 29 October 2014
- Past Pushdown Timed Automata and Safety Verification Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer Wed 29 October 2014
- Timed Multiparty Session Types Laura Bocchi Weizhen Yang Nobuko Yoshida Wed 29 October 2014
- Decidability of model checking for infinite-state concurrent systems Javier Esparza Wed 29 October 2014
- From quantity to quality ThomasA. Henzinger Orna Kupferman Wed 29 October 2014
- A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters Laurent Fribourg Hans Olsén Wed 29 October 2014
- Timing behavior analysis for real-time systems Farn Wang Wed 29 October 2014
- Delay analysis in synchronous programs Nicolas Halbwachs Wed 29 October 2014
- Automatic Discovery of Linear Restraints Among Variables of a Program Patrick Cousot Nicolas Halbwachs Wed 29 October 2014
- Branching-Time Model Checking Gap-Order Constraint Systems Richard Mayr Patrick Totzke Wed 29 October 2014
- Timed Automata and the Theory of Real Numbers Hubert Comon Yan Jurski Wed 29 October 2014
- General Theory of Natural Equivalences Samuel Eilenberg Saunders Mac Lane Sun 26 October 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
