- Call-by-Push-Value: A Subsuming Paradigm PaulBlain Levy Tue 26 March 2013
- Structured operational semantics and bisimulation as a congruence Jan Friso Groote Frits Vaandrager Tue 26 March 2013
- Computable fixpoints in well-structured symbolic model checking Nathalie Bertrand Philippe Schnoebelen Thu 21 March 2013
- Stochastic games with lossy channels Parosh Aziz Abdulla Noomene Ben Henda Luca De Alfaro Richard Mayr Sven Sandberg Thu 21 March 2013
- Solving stochastic Buchi games on infinite arenas with a finite attractor Nathalie Bertrand Philippe Schnoebelen Thu 21 March 2013
- Deciding definability by deterministic regular expressions Wojciech Czerwiński Claire David Katja Losemann Wim Martens Thu 21 March 2013
- History-Register automata Nikos Tzevelekos Radu Grigore Thu 21 March 2013
- An efficient automata approach to some problems on context-free grammars Ahmed Bouajjani Javier Esparza Alain Finkel Oded Maler Peter Rossmanith Bernard Willems Pierre Wolper Tue 12 March 2013
- Symbolic Strategy Synthesis for Games on Pushdown Graphs Thierry Cachat Tue 12 March 2013
- A fixpoint calculus for local and global program flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Tue 12 March 2013
- Control operators, the SECD-machine, and the lambda-calculus Matthias Felleisen Daniel P. Friedman Mon 11 March 2013
- A syntactic correspondence between context-sensitive calculi and abstract machines Magorzata Biernacka Olivier Danvy Mon 11 March 2013
- A formulae-as-type notion of control Timothy G. Griffin Mon 11 March 2013
- A Further Step towards a Theory of Regular MSC Languages Dietrich Kuske Mon 11 March 2013
- Deterministic regular expressions in linear time Benotît Groz Sebastian Maneth Slawek Staworko Mon 04 March 2013
- The Effect of Language on Economic Behavior: Evidence from Savings Rates, Health Behaviors, and Retirement Assets Keith Chen Sat 02 March 2013
- How Language Shapes Thought Lera Boroditsky Sat 02 March 2013
- A Brief History of Process Algebra Jos Baeten Sat 02 March 2013
- Functional programs as compressed data Naoki Kobayashi Kazutaka Matsuda Ayumi Shinohara Sat 02 March 2013
- Analyzing Message Sequence Charts Anca Muscholl Doron Peled Sat 02 March 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
