- An algebraic approach to nonlinear functional expansions Michel Fliess M. Lamnabhi F. Lamnabhi-Lagarrigue Tue 14 January 2025
- Evaluation transform V. Hoang Ngoc Minh Tue 14 January 2025
- Computing with D-Algebraic Sequences Bertrand Teguia Tabuguia Tue 14 January 2025
- Reduction of systems of nonlinear partial differential equations to simplified involutive forms Gregory J. Reid Allan D. Wittkopf Alan Boulton Sat 11 January 2025
- Sufficient Set of Integrability Conditions of an Orthonomic System Michal Marvan Sat 11 January 2025
- Graph classes through the lens of logic Michał Pilipczuk Thu 09 January 2025
- Permutable rational functions J. F. Ritt Tue 07 January 2025
- Transformers in Uniform TC^0 David Chiang Tue 07 January 2025
- A Primal-Dual Perspective on Program Verification Algorithms (Extended Version) Takeshi Tsukada Hiroshi Unno Oded Padon Sharon Shoham Mon 06 January 2025
- Reachability in Vector Addition System with States Parameterized by Geometric Dimension Yangluo Zheng Mon 06 January 2025
- Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version) Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet Mon 06 January 2025
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains Jingyi Mei Ming Xu Ji Guan Yuxin Deng Nengkun Yu Mon 06 January 2025
- Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove Mon 06 January 2025
- The Black Ninjas and the Sniper: On Robustness of Population Protocols Benno Lossin Philipp Czerner Javier Esparza Roland Guttenberg Tobias Prehn Mon 06 January 2025
- Safe Composition of Systems of Communicating Finite State Machines Franco Barbanera Rolf Hennicker Mon 06 January 2025
- Third homology of SL2 over number fields: The norm-Euclidean quadratic imaginary case Rodrigo Cuitún Coronado Sat 04 January 2025
- On Composite Formal Power Series Jacques Chaumat Anne-Marie Chollet Thu 02 January 2025
- Lie Brackets and Local Controllability: A Sufficient Condition for Scalar-Input Systems Héctor J. Sussmann Thu 02 January 2025
- Free algebras and noncommutative power series in the analysis of nonlinear control systems: an application to approximation problems Grigory M. Sklyar Svetlana Yu. Ignatovich Thu 02 January 2025
- A compactness theorem for linear equations Robert Cowen William Emerson Mon 30 December 2024
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
