- The complexity of counting models of linear-time temporal logic Hazem Torfah Martin Zimmermann Fri 02 March 2012
- Multiparty session types as coherence proofs Marco Carbone Fabrizio Montesi Carsten Schürmann Nobuko Yoshida Fri 02 March 2012
- A theory of formal synthesis via inductive learning Susmit Jha Sanjit A. Seshia Fri 02 March 2012
- Approximate counting in SMT and value estimation for probabilistic programs Dmitry Chistikov Rayna Dimitrova Rupak Majumdar Fri 02 March 2012
- Reversible sessions with flexible choices Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini Fri 02 March 2012
- Practical synthesis of reactive systems from LTL specifications via parity games Michael Luttenberger Philipp J. Meyer Salomon Sickert Fri 02 March 2012
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity Joost Engelfriet Kazuhiro Inaba Sebastian Maneth Fri 02 March 2012
- An automated system repair framework with signal temporal logic Mert Ergurtuna Beyazit Yalcinkaya Ebru Aydin Gol Fri 02 March 2012
- Verification of clocked and hybrid systems Yonit Kesten Zohar Manna Amir Pnueli Fri 02 March 2012
- A Figure with Heesch Number 6: Pushing a Two-Decade-Old Boundary Bojan Bašić Fri 02 March 2012
- Set-Valued Markov Chains and Negative Semitrajectories of Discretized Dynamical Systems P. Diamond I. Vladimirov Fri 02 March 2012
- A Kochen-Specker System Has at Least 22 Vectors Sander Uijlen Bas Westerbaan Fri 02 March 2012
- Directed Path-width and Monotonicity in Digraph Searching János Barát Fri 02 March 2012
- Computation in networks of passively mobile finite-state sensors Dana Angluin James Aspnes Zoë Diamadi Michael J. Fischer René Peralta Fri 02 March 2012
- Verification of consensus algorithms using satisfiability solving Tatsuhiro Tsuchiya André Schiper Fri 02 March 2012
- Partial synchrony based on set timeliness Marcos K. Aguilera Carole Delporte-Gallet Hugues Fauconnier Sam Toueg Fri 02 March 2012
- Weak models of distributed computing, with connections to modal logic Lauri Hella Matti Järvisalo Antti Kuusisto Juhana Laurinharju Tuomo Lempiäinen Kerkko Luosto Jukka Suomela Jonni Virtema Fri 02 March 2012
- Quantitative reactive modeling and verification Thomas A. Henzinger Fri 02 March 2012
- On Word Equations in One Variable Robert Dąbrowski Wojciech Plandowski Fri 02 March 2012
- Algorithmic Meta-theorems for Restrictions of Treewidth Michael Lampis Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
