- Game Semantics S. Abramsky G. McCusker Wed 30 January 2013
- On Full Abstraction for PCF: I, II, and III J.M.E. Hyland C.-H.L. Ong Tue 29 January 2013
- Intensional Interpretations of Functionals of Finite Type I W. W. Tait Tue 29 January 2013
- A Survey of Functional Reactive Programming Edward Amsden Tue 29 January 2013
- Imperative Programming in Sets with Atoms Mikolaj Bojanczyk Szymon Torunczyk Mon 28 January 2013
- Test Generation Using Symbolic Execution Patrice Godefroid Mon 28 January 2013
- Cost-Parity and Cost-Streett Games Nathanael Fijalkow Martin Zimmermann Mon 28 January 2013
- On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two Christopher Broadbent Stefan Gøller Mon 28 January 2013
- Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width Salvatore La Torre Gennaro Parlato Mon 28 January 2013
- Visibly Rational Expressions Laura Bozzelli César Sánchez Mon 28 January 2013
- Extending the Rackoff technique to Affine nets Rémi Bonnet Alain Finkel M. Praveen Mon 28 January 2013
- Accelerating tree-automatic relations Widjaja Lin Anthony Mon 28 January 2013
- Approximate Determinization of Quantitative Automata Udi Boker Thomas A. Henzinger Mon 28 January 2013
- Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time Holger Hermanns Andrea Turrini Mon 28 January 2013
- Bisimilarity of Probabilistic Pushdown Automata Vojtech Forejt Petr Jancar Stefan Kiefer James Worrell Mon 28 January 2013
- Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Buchi Objectives Krishnendu Chatterjee Manas Joglekar Nisarg Shah Mon 28 January 2013
- The Complexity of Quantitative Information Flow in Recursive Programs Rohit Chadha Michael Ummels Mon 28 January 2013
- On Continuous Normalization Klaus Aehlig Felix Joachimski Mon 28 January 2013
- Proving that programs eventually do something good Byron Cook Alexey Gotsman Andreas Podelski Andrey Rybalchenko Moshe Y. Vardi Mon 28 January 2013
- Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita Takeshi Tsukada Naoki Kobayashi Mon 28 January 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
