- SOS rule formats for idempotent terms and idempotent unary operators Luca Aceto Anna Ingolfsdottir Eugen-Ioan Goriac Mon 30 March 2026
- Observability of nonlinear systems Shauying R. Kou David L. Elliott Tzyh Jong Tarn Fri 27 March 2026
- Observability in non-linear systems with immeasurable inputs Sahjendra N. Singh Fri 27 March 2026
- On the Minimum Number of Control Laws for Nonlinear Systems with Input-Output Linearisation Singularities Nikolaos D. Tantaroudas Tue 24 March 2026
- Well-quasi-orders on finite trees and transfinite sequences Alakh Dhruv Chopra Fedor Pakhomov Tue 24 March 2026
- The Complete Proof Theory of Hybrid Systems André Platzer Tue 24 March 2026
- GenSSI: a software toolbox for structural identifiability analysis of biological models Oana Chiş Julio R. Banga Eva Balsa-Canto Tue 24 March 2026
- A new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions M. Pia Saccomani S. Audoly G. Bellu L. DAngio Tue 24 March 2026
- Simulation Relations and Applications in Formal Methods Kim G. Larsen Christian Schilling Jiří Srba Mon 23 March 2026
- Transformational design and implementation of a new efficient solution to the ready simulation problem Bard Bloom Robert Paige Fri 20 March 2026
- Why Is Simulation Harder than Bisimulation Antonín Kučera Richard Mayr Fri 20 March 2026
- Optimizing an LTS-Simulation Algorithm (Technical Report) Lukáš Holík Jiří Šimáček Fri 20 March 2026
- Generalizing the PaigeTarjan algorithm by abstract interpretation Francesco Ranzato Francesco Tapparo Fri 20 March 2026
- On the origins of bisimulation and coinduction Davide Sangiorgi Thu 19 March 2026
- Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places Sebastian Falkensteiner J. Rafael Sendra Wed 18 March 2026
- Visibly Recursive Automata Kévin Dubrulle Véronique Bruyère Guillermo A. Pérez Gaetan Staquet Tue 17 March 2026
- The glory of the past Orna Lichtenstein Amir Pnueli Lenore Zuck Mon 16 March 2026
- Tense Logic and the Theory of Linear Order Johan Anthony Wilem Kamp Mon 16 March 2026
- CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations Alexey Ovchinnikov Isabel Pérez Verona Gleb Pogudin Mirco Tribastone Mon 16 March 2026
- Global Identifiability of Differential Models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Mon 16 March 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
