- The Diagonal Problem for Higher-Order Recursion Schemes is Decidable Lorenzo Clemente Paweł Parys Sylvain Salvati Igor Walukiewicz Tue 03 May 2016
- Solving systems of linear diophantine equations: An algebraic approach Eric Domenjoud Mon 02 May 2016
- Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms Loic Pottier Mon 02 May 2016
- Special tree-width and the verification of monadic second-order graph pr operties Bruno Courcelle Fri 29 April 2016
- Synchronizing Automata over Nested Words Dmitry Chistikov Pavel Martyugin Mahsa Shirmohammadi Tue 26 April 2016
- Complementing Semi-deterministic Buchi Automata František Blahoudek Matthias Heizmann Sven Schewe Jan Strejček Ming-Hsien Tsai Tue 26 April 2016
- Models of łambda-Calculus and the Weak MSO Logic Paweł Parys Szymon Toruńczyk Tue 26 April 2016
- On Word and Frontier Languages of Unsafe Higher-Order Grammars Kazuyuki Asada Naoki Kobayashi Tue 26 April 2016
- Two-Buffer Simulation Games Milka Hutagalung Norbert Hundeshagen Dietrich Kuske Martin Lange Etienne Lozes Tue 26 April 2016
- The Taming of the Semi-Linear Set Dmitry Chistikov Christoph Haase Tue 26 April 2016
- A new algorithm for computing the Smith normal form and its implementation on parallel machines G. Jager Tue 26 April 2016
- Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis Shaull Almagor Orna Kupferman Yaron Velner Tue 26 April 2016
- Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives Krishnendu Chatterjee Laurent Doyen Tue 26 April 2016
- Algorithms for Matrix Canonical Forms Arne Storjohann Mon 25 April 2016
- Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices Arne Storjohann Mon 25 April 2016
- Rational verification in Iterated Electric Boolean Games Youssouf Oualhadj Nicolas Troquard Tue 19 April 2016
- Intersection Types and Counting Paweł Parys Mon 11 April 2016
- The Complexity of Theorem-proving Procedures Stephen A. Cook Tue 05 April 2016
- Behavioural Foundations of Feature Modeling Aliakbar Safilian Tue 29 March 2016
- Stuttering Mostly Speeds Up Solving Parity Games Sjoerd Cranen Jeroen J. A. Keiren Tim A. C. Willemse Sat 26 March 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
