- Distributed synthesis for well-connected architectures Paul Gastin Nathalie Sznajder Marc Zeitoun Fri 02 March 2012
- Computing differential invariants of hybrid systems as~fixedpoints André Platzer Edmund M. Clarke Fri 02 March 2012
- A game-based abstraction-refinement framework for~Markov decision processes Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Fri 02 March 2012
- Constructive Boolean circuits and the exactness of timed ternary simulation Michael Mendler Thomas R. Shiple Gérard Berry Fri 02 March 2012
- Ranking function synthesis for bit-vector relations Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger Fri 02 March 2012
- On regions and zones for event-clock automata Gilles Geeraerts Jean-François Raskin Nathalie Sznajder Fri 02 March 2012
- Quantifier elimination by dependency sequents Eugene Goldberg Panagiotis Manolios Fri 02 March 2012
- Generating models of infinite-state communication protocols using regular inference with abstraction Fides Aarts Bengt Jonsson Johan Uijen Frits Vaandrager Fri 02 March 2012
- Model checking parameterized asynchronous shared-memory systems Antoine Durand-Gasselin Javier Esparza Pierre Ganty Rupak Majumdar Fri 02 March 2012
- Percentile queries in multi-dimensional Markov decision processes Mickael Randour Jean-François Raskin Ocan Sankur Fri 02 March 2012
- Solving parity games via priority promotion Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Fri 02 March 2012
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata Simon Jantsch David Müller Christel Baier Joachim Klein Fri 02 March 2012
- De-privatization in higher education: a conceptual approach Marek Kwiek Fri 02 March 2012
- Global private higher education: an empirical profile of its size and geographical shape Daniel C. Levy Fri 02 March 2012
- Decompositions of n-qubit Toffoli Gates with Linear Circuit Complexity Yong He Ming-Xing Luo E. Zhang Hong-Ke Wang Xiao-Feng Wang Fri 02 March 2012
- On rectangular Kronecker coefficients Laurent Manivel Fri 02 March 2012
- textquotedblleftRippling: Meta-Level Guidance for Mathematical Reasoning,textquotedblright by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005 Nimish Shah Fri 02 March 2012
- MPTP 0.2: Design, Implementation, and Initial Experiments Josef Urban Fri 02 March 2012
- Deciding Boolean Algebra with Presburger Arithmetic Viktor Kuncak Huu Hai Nguyen Martin Rinard Fri 02 March 2012
- User Interaction with the Matita Proof Assistant Andrea Asperti Claudio Sacerdoti Coen Enrico Tassi Stefano Zacchiroli Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
