No. Title Author Year
1 How Fast Can You Escape a Compact Polytope? D'Costa, Julian et al. 2020
2 On Reachability Problems for Low-Dimensional Matrix Semigroups Colcombet, Thomas et al. 2019
3 Termination of Linear Loops over the Integers Hosseini, Mehran et al. 2019
4 The Semialgebraic Orbit Problem Almagor, Shaull et al. 2019
5 Costs and Rewards in Priced Timed Automata Fränzle, Martin et al. 2018
6 Effective Divergence Analysis for Linear Recurrence Sequences Almagor, Shaull et al. 2018
7 Front Matter, Table of Contents, Preface, Conference Organization Potapov, Igor et al. 2018
8 LIPIcs, Volume 117, MFCS'18, Complete Volume Potapov, Igor et al. 2018
9 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
10 When is Containment Decidable for Probabilistic Automata? Daviaud, Laure et al. 2018
11 Probabilistic Automata of Bounded Ambiguity Fijalkow, Nathanaël et al. 2017
12 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
13 The Polytope-Collision Problem Almagor, Shaull et al. 2017
14 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
15 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
16 On the Skolem Problem for Continuous Linear Dynamical Systems Chonev, Ventsislav et al. 2016
17 Proving the Herman-Protocol Conjecture Bruna, Maria et al. 2016
18 On Matrix Powering in Low Dimensions Galby, Esther et al. 2015
19 Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper) Worrell, James 2015
20 Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk) Worrell, James 2015
21 Bisimilarity of Probabilistic Pushdown Automata Forejt, Vojtech et al. 2012
22 The Church Synthesis Problem with Metric Jenkins, Mark et al. 2011
23 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
24 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 24


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