- The Model Counting Competitions 2021-2023 Johannes K. Fichte Markus Hecher Fri 25 April 2025
- On the p-adic Skolem Problem Piotr Bacik Joel Ouaknine David Purser James Worrell Fri 25 April 2025
- Convergence Laws for Extensions of First-Order Logic with Averaging Sam Adam-Day Michael Benedikt Alberto Larrauri Fri 25 April 2025
- Synthesising Asynchronous Automata from Fair Specifications Béatrice Bérard Benjamin Monmege B Srivathsan Arnab Sur Fri 25 April 2025
- The complexity of reachability problems in strongly connected finite automata Stefan Kiefer Andrew Ryzhikov Fri 25 April 2025
- Polynomial-time Tractable Problems over the p-adic Numbers Arno Fehm Manuel Bodirsky Fri 25 April 2025
- Dichotomy for orderings Gábor Kun Jaroslav Nešetřil Fri 25 April 2025
- Reachability in Geometrically d-Dimensional VASS Yuxi Fu Yangluo Zheng Qizhe Yang Fri 25 April 2025
- Languages of Boundedly-Ambiguous Vector Addition Systems with States Wojciech Czerwiński Łukasz Orlikowski Fri 25 April 2025
- Undecidability of the Emptiness Problem for Weak Models of Distributed Computing Flavio T. Principato Javier Esparza Philipp Czerner Thu 24 April 2025
- Programs as Singularities Daniel Murfet Will Troiani Thu 24 April 2025
- Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids Quentin Aristote Thu 24 April 2025
- Algebraic criteria of global observability of polynomial systems Zbigniew Bartosiewicz Wed 23 April 2025
- Dynamics and Controllability of Nonlinear Discrete-Time Control Systems Fabian Wirth Wed 23 April 2025
- Controllability of Nonlinear Discrete-Time Systems: A Lie-Algebraic Approach Bronislaw Jakubczyk Eduardo D. Sontag Wed 23 April 2025
- Controllability of Nonlinear Discrete Systems with Degeneracy Yue Lyu Xue-li Tan Xue Yang Yong Li Wed 23 April 2025
- On the Controllability of Nonlinear Discrete-Time Systems A. Mokkadem Wed 23 April 2025
- Algebraic approach to analysis of discrete-time polynomial systems Hirokazu Anai Junji Kaneko Wed 23 April 2025
- Two algorithms arising in analysis of polynomial models D. Nešić Wed 23 April 2025
- Independent sets and beyond, through the prism of distributed systems and colored graphs Jonas Sénizergues Tue 22 April 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
