- Deciding Conjugacy of a Rational Relation C. Aiswarya Amaldev Manuel Saina Sunny Sat 15 July 2023
- A Local-Time Semantics for Negotiations Madhavan Mukund Adwitee Roy B Srivathsan Sat 15 July 2023
- A first-order logic characterization of safety and co-safety languages Alessandro Cimatti Luca Geatti Nicola Gigante Angelo Montanari Stefano Tonetta Fri 14 July 2023
- Deterministic pushdown automata can compress some normal sequences Olivier Carton Sylvain Perifel Fri 14 July 2023
- Deciding What is Good-for-MDPs Sven Schewe Qiyi Tang Tansholpan Zhanabekova Fri 14 July 2023
- Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond Jan Dreier Daniel Mock Peter Rossmanith Fri 14 July 2023
- Primitive Automata that are Synchronizing Igor Rystsov Marek Szykuła Fri 14 July 2023
- Model-checking parametric lock-sharing systems against regular constraints Corto Mascle Anca Muscholl Igor Walukiewicz Thu 13 July 2023
- Round- and context-bounded control of dynamic pushdown systems Benedikt Bollig Mathieu Lehaut Nathalie Sznajder Thu 13 July 2023
- Safety and Liveness of Quantitative Automata Udi Boker Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç Thu 13 July 2023
- Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games Mohan Dantam Richard Mayr Thu 13 July 2023
- Foundations of probability-raising causality in Markov decision processes Christel Baier Jakob Piribauer Robin Ziemek Tue 11 July 2023
- Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system Joshua A. Grochow Tue 11 July 2023
- Fine-grained reductions around CFL-reachability Aleksandra Istomina Semyon Grigorev Ekaterina Shemetova Tue 11 July 2023
- Logarithmic Weisfeiler--Leman Identifies All Graphs of Bounded Rank Width Michael Levet Nicholas Sieger Tue 11 July 2023
- Computational Complexity in Algebraic Combinatorics Greta Panova Tue 11 July 2023
- Convergence behaviour of the Newton iteration for first order differential equations K. O. Geddes Mon 10 July 2023
- Hensel and Newton Methods in Valuation Rings Joachim von zur Gathen Mon 10 July 2023
- Deux propriétés décidables des suites récurrentes linéaires Jean Berstel Maurice Mignotte Mon 10 July 2023
- Functional Pearls: The Third Homomorphism Theorem Jeremy Gibbons Thu 06 July 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
