- The Sage Package comb walks for Walks in the Quarter Plane Antonio Jiménez-Pastor Alin Bostan Frédéric Chyzak Pierre Lairez Fri 16 October 2020
- On Differentially Algebraic Generating Series for Walks in the Quarter Plane Charlotte Hardouin Michael F Singer Fri 16 October 2020
- A computable extension for D-finite functions: DD-finite functions Antonio Jiménez-Pastor Veronika Pillwein Fri 16 October 2020
- Profinite techniques for probabilistic automata and the Markov Monoid algorithm Nathanael Fijalkow Fri 16 October 2020
- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 16 October 2020
- Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Nathanael Fijalkow Pierre Ohlmann Joel Ouaknine Amaury Pouly James Worrell Fri 16 October 2020
- Lower Bounds for Arithmetic Circuits via the Hankel Matrix Nathanael Fijalkow Guillaume Lagarde Pierre Ohlmann Olivier Serre Fri 16 October 2020
- Consistent Unsupervised Estimators for Anchored PCFGs Alexander Clark Nathanael Fijalkow Fri 16 October 2020
- Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games Nathanael Fijalkow Paweł Gawrychowski Pierre Ohlmann Fri 16 October 2020
- A succinct canonical register automaton model Sofia Cassel Falk Howar Bengt Jonsson Maik Merten Bernhard Steffen Fri 16 October 2020
- Realization problem of SISO nonlinear systems: A transfer function approach M. Halás U. Kotta Fri 16 October 2020
- Realization of Continuous--Time Nonlinear Input--Output Equations: Polynomial Approach Maris Tõnso Ulle Kotta Fri 16 October 2020
- Linear Input-Output Equivalence and Row Reducedness of Discrete-Time Nonlinear Systems U. Kotta Zbigniew Bartosiewicz S. Nomm E. Pawluszewicz Fri 16 October 2020
- Irreducibility Conditions for Continuous-time Multi-input Multi-output Nonlinear Systems U. Kotta P. Kotta S. Nomm M. Tonso Fri 16 October 2020
- Nonlinear Systems: A Polynomial Approach Miroslav Halás Fri 16 October 2020
- Extension of the transfer function approach to the realization problem of nonlinear systems to discrete-time case Miroslav Halás Ulle Kotta Fri 16 October 2020
- Extension of the concept of transfer function to discrete-time nonlinear control systems M. Halás U. Kotta Fri 16 October 2020
- Polynomial Equations: A Tool for Control Systems Synthesis V. Kučera Fri 16 October 2020
- Directed Reachability for Infinite-State Systems Michael Blondin Christoph Haase Philip Offtermatt Fri 16 October 2020
- Matroidal Root Structure of Skew Polynomials over Finite Fields Travis Baumbaugh Felice Manganiello Thu 15 October 2020
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
