- Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations Manon Blanc Olivier Bournez Tue 25 July 2023
- Saturating automata for game semantics Alex Dixon Andrzej S. Murawski Tue 25 July 2023
- A system of inference based on proof search: an extended abstract Dale Miller Tue 25 July 2023
- Logics and Algorithms for Hyperproperties Bernd Finkbeiner Sun 23 July 2023
- Newtonian Program Analysis of Probabilistic Programs Di Wang Thomas Reps Sun 23 July 2023
- What Else is Undecidable About Loops Laura Kovács Anton Varonka Sat 22 July 2023
- Computing polynomial program invariants Markus Muller-Olm Helmut Seidl Sat 22 July 2023
- A Note on Karr's Algorithm Markus Muller-Olm Helmut Seidl Sat 22 July 2023
- Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs Julian Mullner Marcel Moosbrugger Laura Kovács Fri 21 July 2023
- Two-way automata and transducers with planar behaviours are aperiodic Lê Thành Dũng Nguy~ên Camille Noûs Cécilia Pradic Fri 21 July 2023
- Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials Olha Shkaravska Marko van Eekelen Wed 19 July 2023
- Rational solutions of ordinary difference equations Ruyong Feng Xiao-Shan Gao Zhenyu Huang Wed 19 July 2023
- A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs Ruyong Feng Xiao-Shan Gao Wed 19 July 2023
- An Efficient Formula for Linear Recurrences Charles M. Fiduccia Wed 19 July 2023
- The Newton-Puiseux algorithm and effective algebraic series Manfred Buchacher Wed 19 July 2023
- The fundamental theorem of calculus in differential rings Clemens G. Raab Georg Regensburger Wed 19 July 2023
- New Bounds for Matrix Multiplication: from Alpha to Omega Virginia Vassilevska Williams Yinzhan Xu Zixuan Xu Renfei Zhou Wed 19 July 2023
- On the Hardness of PosSLP Peter Burgisser Gorav Jindal Wed 19 July 2023
- Exact Bayesian Inference for Loopy Probabilistic Programs Lutz Klinkenberg Christian Blumenthal Minghsuai Chen Joost-Pieter Katoen Wed 19 July 2023
- Timed I/O Automata: It is never too late to complete your timed specification theory Martijn A. Goorden Kim G. Larsen Axel Legay Florian Lorber Ulrik Nyman Andrzej Wasowski Sat 15 July 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
