No. Title Author Year
1 Decision Problems for Second-Order Holonomic Recurrences Neumann, Eike et al. 2021
2 Front Matter, Table of Contents, Preface, Conference Organization Bansal, Nikhil et al. 2021
3 LIPIcs, Volume 198, ICALP 2021, Complete Volume Bansal, Nikhil et al. 2021
4 On Positivity and Minimality for Second-Order Holonomic Sequences Kenison, George et al. 2021
5 On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets D'Costa, Julian et al. 2021
6 The Orbit Problem for Parametric Linear Dynamical Systems Baier, Christel et al. 2021
7 The Pseudo-Skolem Problem is Decidable D'Costa, Julian et al. 2021
8 Algebraic Invariants for Linear Hybrid Automata Majumdar, Rupak et al. 2020
9 Coverability in 1-VASS with Disequality Tests Almagor, Shaull et al. 2020
10 How Fast Can You Escape a Compact Polytope? D'Costa, Julian et al. 2020
11 Invariants for Continuous Linear Dynamical Systems Almagor, Shaull et al. 2020
12 On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems Karimov, Toghrul et al. 2020
13 On Ranking Function Synthesis and Termination for Polynomial Programs Neumann, Eike et al. 2020
14 Parametric Model Checking Continuous-Time Markov Chains Ilie, Catalin-Andrei et al. 2020
15 On Reachability Problems for Low-Dimensional Matrix Semigroups Colcombet, Thomas et al. 2019
16 Termination of Linear Loops over the Integers Hosseini, Mehran et al. 2019
17 The Semialgebraic Orbit Problem Almagor, Shaull et al. 2019
18 Costs and Rewards in Priced Timed Automata Fränzle, Martin et al. 2018
19 Effective Divergence Analysis for Linear Recurrence Sequences Almagor, Shaull et al. 2018
20 Front Matter, Table of Contents, Preface, Conference Organization Potapov, Igor et al. 2018
21 LIPIcs, Volume 117, MFCS'18, Complete Volume Potapov, Igor et al. 2018
22 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
23 When is Containment Decidable for Probabilistic Automata? Daviaud, Laure et al. 2018
24 Probabilistic Automata of Bounded Ambiguity Fijalkow, Nathanaël et al. 2017
25 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
26 The Polytope-Collision Problem Almagor, Shaull et al. 2017
27 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
28 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
29 On the Skolem Problem for Continuous Linear Dynamical Systems Chonev, Ventsislav et al. 2016
30 Proving the Herman-Protocol Conjecture Bruna, Maria et al. 2016
Current Page :
Number of result pages: 2
Number of documents: 37


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI