- Abstraction in Fixpoint Logic Sjoerd Cranen Maciej Gazda Wieger Wesselink Tim A. C. Willemse Sat 26 March 2016
- Getting the point - Obtaining and understanding fixpoints in model checking Sjoerd Cranen Sat 26 March 2016
- On Parity Game Preorders and the Logic of Matching Plays Maciej Gazda Tim A. C. Willemse Sat 26 March 2016
- Branching Bisimilarity Checking for PRS Qiang Yin Yuxi Fu Chaodong He Mingzhang Huang Xiuting Tao Sat 26 March 2016
- A Simple Characterization of Stuttering Bisimulation Kedar S. Namjoshi Sat 26 March 2016
- Branching bisimilarity is an equivalence indeed Twan Basten Sat 26 March 2016
- Advanced Reduction Techniques for Model Checking Jeroen Keiren Sat 26 March 2016
- Parity Game Reductions S. Cranen J.J.A. Keiren T.A.C. Willemse Sat 26 March 2016
- The complexity of downward closure comparisons Georg Zetzsche Thu 24 March 2016
- A logical approach to grammar description Lionel Clément Jérôme Kirman Sylvain Salvati Thu 24 March 2016
- A Note on Monitors and Buchi Automata Volker Diekert Anca Muscholl Igor Walukiewicz Thu 24 March 2016
- Non-Zero Sum Games for Reactive Synthesis Romain Brenguier Lorenzo Clemente Paul Hunter Guillermo A. Pérez Mickael Randour Jean-François Raskin Ocan Sankur Mathieu Sassolas Tue 22 March 2016
- Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete Matthias Englert Ranko Lazić Patrick Totzke Tue 22 March 2016
- Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games Mickael Randour Tue 22 March 2016
- A Decidable Temporal Logic of Repeating Values Stéphane Demri Deepak D'Souza Régis Gascon Mon 21 March 2016
- Temporal Logics of Repeating Values Stéphane Demri Deepak D'Souza Régis Gascon Mon 21 March 2016
- FO2(<,+1,textasciitilde ) on data trees, data tree automata and branching vector addition systems Florent Jacquemard Luc Segoufin Jerémie Dimino Tue 15 March 2016
- The IO and OI Hierarchies Revisited Gregory M. Kobele Sylvain Salvati Mon 14 March 2016
- Minimization of Buchi Automata using Fair Simulation Daniel Tischner Tue 08 March 2016
- Compositional model checking of concurrent systems, with Petri nets Paweł Sobociński Tue 08 March 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
