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 |