- Termination of Linear Loops under Commutative Updates Ruiwen Dong Tue 26 September 2023
- The Identity Problem in mathbbZ wr mathbbZ Is Decidable Ruiwen Dong Tue 26 September 2023
- Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability Ruiwen Dong Christian Goodbrake Heather A. Harrington Gleb Pogudin Tue 26 September 2023
- The Complexity of Computational Problems in Exact Linear Algebra Erich Kaltofen Arne Storjohann Thu 21 September 2023
- Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) Jos C. M. Baeten Bas Luttik Thu 21 September 2023
- The complexity of semilinear problems in succinct representation Peter Burgisser Felipe Cucker Paulin Jacobé de Naurois Thu 21 September 2023
- The Complexity of Algorithmic Problems on Succinct Instances José L. Balcázar Antoni Lozano Jacobo Torán Thu 21 September 2023
- Computing the sign or the value of the determinant of an integer matrix, a complexity survey Erich Kaltofen Gilles Villard Thu 21 September 2023
- Determinant: Old algorithms, new insights Meena Mahajan V. Vinay Thu 21 September 2023
- A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate Thu 21 September 2023
- More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words Hsi-Ming Ho Khushraj Madnani Thu 21 September 2023
- Recursive Solution of Initial Value Problems with Temporal Discretization Abbas Edalat Amin Farjudian Yiran Li Thu 21 September 2023
- Propositional Logics for the Lawvere Quantale Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin Thu 21 September 2023
- A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li Curtis Bright Vijay Ganesh Thu 21 September 2023
- On the complexity of computing determinants Erich Kaltofen Gilles Villard Thu 21 September 2023
- Processing Succinct Matrices and Vectors Markus Lohrey Manfred Schmidt-Schauß Thu 21 September 2023
- Complexity of Computations with Matrices and Polynomials Victor Pan Thu 21 September 2023
- Permutation automata G. Thierrin Thu 21 September 2023
- Constraint Automata on Infinite Data Trees: from CTL(Z)/CTL*(Z) to Decision Procedures Stéphane Demri Karin Quaas Sat 16 September 2023
- Differentially transcendental formal power series Dmitry Gokhman Sat 16 September 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
