- Stochastic mechanics of graph rewriting Nicolas Behr Vincent Danos Ilias Garnier Fri 02 March 2012
- Differential Refinement Logic Sarah M. Loos André Platzer Fri 02 March 2012
- A categorical approach to open and interconnected dynamical systems Brendan Fong Paweł Sobociński Paolo Rapisarda Fri 02 March 2012
- Conflict nets Dominic Hughes Willem Heijltjes Fri 02 March 2012
- Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps Christoph Berkholz Jakob Nordström Fri 02 March 2012
- Coinduction All the Way Up Damien Pous Fri 02 March 2012
- Model and Objective Separation with Conditional Lower Bounds Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Veronika Loitzenbauer Fri 02 March 2012
- Semantics for probabilistic programming Sam Staton Hongseok Yang Frank Wood Chris Heunen Ohad Kammar Fri 02 March 2012
- A New Perspective on FO Model Checking of Dense Graph Classes J. Gajarský P. Hliněný J. Obdrżálek D. Lokshtanov M. S. Ramanujan Fri 02 March 2012
- Two-Way Visibly Pushdown Automata and Transducers Luc Dartois Emmanuel Filiot Pierre-Alain Reynier Jean-Marc Talbot Fri 02 March 2012
- Reasoning about Recursive Probabilistic Programs Federico Olmedo Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Fri 02 March 2012
- Dynamic complexity Thomas Schwentick Thomas Zeume Fri 02 March 2012
- The best of both worlds: linear functional programming without compromise J. Garrett Morris Fri 02 March 2012
- Context-free session types Peter Thiemann Vasco T. Vasconcelos Fri 02 March 2012
- Set-theoretic types for polymorphic variants Giuseppe Castagna Tommaso Petrucciani Kim Nguy~ên Fri 02 March 2012
- A lambda-calculus foundation for universal probabilistic programming Johannes Borgström Ugo Dal Lago Andrew D. Gordon Marcin Szymczak Fri 02 March 2012
- Finitary fairness Rajeev Alur Thomas A. Henzinger Fri 02 March 2012
- 2-Edge Connectivity in Directed Graphs Loukas Georgiadis Giuseppe F. Italiano Luigi Laura Nikos Parotsidis Fri 02 March 2012
- Mining input grammars from dynamic taints Matthias Höschele Andreas Zeller Fri 02 March 2012
- Juniper: a functional reactive programming language for the Arduino Caleb Helbling Samuel Z. Guyer Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
