- Verification of Imperative Programs by Constraint Logic Program Transformation Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Sat 08 March 2014
- Simulation of Two-Way Pushdown Automata Revisited Robert Gluck Sat 08 March 2014
- A short note on Simulation and Abstraction Chris Hankin Sat 08 March 2014
- Minimizing Expected Termination Time in One-Counter Markov Decision Processes Tomáš Brázdil Antonín Kučera Petr Novotný Dominik Wojtczak Fri 07 March 2014
- One-Counter Markov Decision Processes Tomáš Brázdil Václav Brożek Kousha Etessami Antonín Kučera Dominik Wojtczak Fri 07 March 2014
- Solvency Games Noam Berger Nevin Kapur Leonard Schulman Vijay Vazirani Fri 07 March 2014
- Rabin measures and their applications to fairness and automata theory Nils Klarlund D. Kozen Fri 07 March 2014
- Finding fixed points in finite lattices Chris Martin Chris Hankin Fri 07 March 2014
- Higher-order chaotic iteration sequences Mads Rosendahl Fri 07 March 2014
- Automatic Generation of Fixed-point-finding Evaluators for Circular, but Well-defined, Attribute Grammars Rodney Farrow Fri 07 March 2014
- Abstract Interpretation and Attribute Grammars Mads Rosendahl Fri 07 March 2014
- Static determination of dynamic properties of recursive procedures P. Cousot R. Cousot Fri 07 March 2014
- An Even Faster Solver for General Systems of Equations Christian Fecht Helmut Seidl Fri 07 March 2014
- Finding fixed points in non-trivial domains: proofs of pending analysis and related algorithms Alan Dix Fri 07 March 2014
- From chaotic iteration to constraint propagation KrzysztofR. Apt Fri 07 March 2014
- Fixed points and frontiers: a new perspective Sebastian Hunt Chris Hankin Fri 07 March 2014
- Parsec: Direct Style Monadic Parser Combinators for the Real World Daan Leijen Erik Meijer Fri 07 March 2014
- Parsec, a fast combinator parser Daan Leijen Fri 07 March 2014
- Abstract Interpretation as a Programming Language Mads Rosendahl Thu 06 March 2014
- Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration Niels Jørgensen Thu 06 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
