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


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