- Inversion and metacomputation Alexander Romanenko Mon 29 March 2021
- Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences Andreas Humenberger Maximilian Jaroschek Laura Kovács Mon 29 March 2021
- On the Theory of Stochastic Automata Merve Nur Cakir Mehwish Saleemi Karl-Heinz Zimmermann Mon 29 March 2021
- Generating all polynomial invariants in simple loops E. Rodríguez-Carbonell D. Kapur Mon 29 March 2021
- Invariant Generation for Multi-Path Loops with Polynomial Assignments Andreas Humenberger Maximilian Jaroschek Laura Kovács Mon 29 March 2021
- Algebra-Based Loop Synthesis Andreas Humenberger Nikolaj Bjørner Laura Kovács Mon 29 March 2021
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) Andreas Humenberger Laura Kovács Mon 29 March 2021
- Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique A. Pettorossi R. M. Burstall Sun 28 March 2021
- Optimizing Program Size Using Multi-result Supercompilation Dimitur Nikolaev Krustev Sat 27 March 2021
- Building Specifications in the Event-B Institution Marie Farrell Rosemary Monahan James F. Power Sat 27 March 2021
- Faster one block quantifier elimination for regular polynomial systems of equations Huu Phuoc Le Mohab Safey El Din Sat 27 March 2021
- Optimised determinisation and completion of finite tree automata John P. Gallagher Mai Ajspur Bishoksan Kafle Sat 27 March 2021
- Ambiguity in Context Free Languages Seymour Ginsburg Joseph Ullian Thu 25 March 2021
- The Weisfeiler-Leman Algorithm: An Exploration of Its Power Sandra Kiefer Thu 25 March 2021
- Copyful Streaming String Transducers Emmanuel Filiot Pierre-Alain Reynier Wed 24 March 2021
- Alternating Tree Automata with Qualitative Semantics Raphael Berthon Nathanael Fijalkow Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Sophie Pinchinat Sasha Rubin Olivier Serre Wed 24 March 2021
- Relating timed and register automata Diego Figueira Piotr Hofman Slawomir Lasota Wed 24 March 2021
- Synthesis of Data Word Transducers Léo Exibard Emmanuel Filiot Pierre-Alain Reynier Wed 24 March 2021
- Complexity and Nicety of Fluted Logic William C. Purdy Thu 18 March 2021
- Quine's Fluted Fragment is Non-Elementary Ian Pratt-Hartmann Wieslaw Szwast Lidia Tendera Thu 18 March 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
