- Minimization of Symbolic Transducers Olli Saarikivi Margus Veanes Sun 21 May 2017
- Regular Separability of One Counter Automata Wojciech Czerwiński Sławomir Lasota Thu 18 May 2017
- Regular Separability of Parikh Automata Lorenzo Clemente Wojciech Czerwiński Sławomir Lasota Charles Paperman Thu 18 May 2017
- ML and Extended Branching VASS Conrad Cotton-Barratt Andrzej S. Murawski C. -H. Luke Ong Thu 18 May 2017
- Parallel Merge Sort Richard Cole Mon 15 May 2017
- Value Iteration for Long-run Average Reward in Markov Decision Processes Pranav Ashok Krishnendu Chatterjee Przemyslaw Daca Jan Křetínský Tobias Meggendorfer Sat 13 May 2017
- Thread Modularity at Many Levels: A Pearl in Compositional Verification Jochen Hoenicke Rupak Majumdar Andreas Podelski Fri 12 May 2017
- Type-directed partial evaluation in Haskell Kristoffer Rose Fri 12 May 2017
- Automata Column Mikołaj Bojańczyk Fri 12 May 2017
- Automata Column Mikołaj Bojańczyk Fri 12 May 2017
- Polynomial-space completeness of reachability for succinct branching VASS in dimension one Diego Figueira Ranko Lazic Jerome Leroux Filip Mazowiecki Grégoire Sutre Fri 12 May 2017
- Infinite-Duration Bidding Games Guy Avni Ventsislav Chonev Thomas A. Henzinger Fri 12 May 2017
- Temporal Logic with Forgettable Past François Laroussinie Nicolas Markey Ph. Schnoebelen Mon 08 May 2017
- Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes Steven J. Ramsay Sat 06 May 2017
- Domains for Higher-Order Games Matthew Hague Roland Meyer Sebastian Muskalla Sat 06 May 2017
- Type-Directed Partial Evaluation Olivier Danvy Thu 04 May 2017
- Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell Cristiano D. Vasconcellos Lucília Figueiredo Carlos Camarão Wed 03 May 2017
- Complexity Analysis for a Lazy Higher-Order Language David Sands Wed 03 May 2017
- Usage Analysis with Natural Reduction Types David A. Wright Clement A. Baker-Finch Wed 03 May 2017
- Strictness and totality analysis Kirsten Lackner Solberg Gasser Hanne Riis Nielson Flemming Nielson Wed 03 May 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
