Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: James Worrell
    Last name: 0001
    DBLP: 90/2367
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 167  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    On Rationality of Nonnegative Matrix Factorization.
    Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19 2017 (0) 2017
    Conference paper
    Joël Ouaknine, João Sousa Pinto, James Worrell 0001.
    On the Polytope Escape Problem for Continuous Linear Dynamical Systems.
    Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017 2017 (0) 2017
    Conference paper
    Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001.
    Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
    34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany 2017 (0) 2017
    Conference paper
    Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001.
    Revisiting Reachability in Timed Automata.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001.
    Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Shaull Almagor, Joël Ouaknine, James Worrell 0001.
    The Polytope-Collision Problem.
    44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 2017 (0) 2017
    Conference paper
    James Worrell 0001.
    The Zero Problem for Exponential Polynomials.
    Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 2017 (0) 2017
    Conference paper
    Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001.
    Revisiting reachability in timed automata.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell 0001.
    Timed Temporal Logics.
    Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell 0001.
    Polynomial automata: Zeroness and applications.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Nathanaël Fijalkow, Cristian Riveros, James Worrell 0001.
    Probabilistic Automata of Bounded Ambiguity.
    28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany 2017 (0) 2017
    Conference paper
    Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001.
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001.
    Model Checking Flat Freeze LTL on One-Counter Automata.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Christel Baier, Stefan Kiefer, Joachim Klein 0001, Sascha Klüppelholz, David Müller 0001, James Worrell 0001.
    Markov Chains and Unambiguous Büchi Automata.
    Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Ranko Lazic, Joël Ouaknine, James Worrell 0001.
    Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete.
    ACM Trans. Comput. Log. 2015, Volume 17 (0) 2016
    Conference paper
    Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell 0001.
    Proving the Herman-Protocol Conjecture.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001.
    Model Checking Flat Freeze LTL on One-Counter Automata.
    27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada 2016 (0) 2016
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    On Recurrent Reachability for Continuous Linear Dynamical Systems.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Conference paper
    Christoph Haase, Joël Ouaknine, James Worrell 0001.
    Relating Reachability Problems in Timed and Counter Automata.
    Fundam. Inform. 2016, Volume 143 (0) 2016
    Conference paper
    Shaull Almagor, Joël Ouaknine, James Worrell 0001.
    The Polytope-Collision Problem.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001.
    Solvability of Matrix-Exponential Equations.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    Nonnegative Matrix Factorization Requires Irrationality.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001.
    Solvability of Matrix-Exponential Equations.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    On the Complexity of the Orbit Problem.
    J. ACM 2016, Volume 63 (0) 2016
    Conference paper
    Christel Baier, Stefan Kiefer, Joachim Klein 0001, Sascha Klüppelholz, David Müller 0001, James Worrell 0001.
    Markov Chains and Unambiguous Büchi Automata.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Sagie Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell 0001.
    Complexity of Two-Variable Logic on Finite Trees.
    ACM Trans. Comput. Log. 2015, Volume 17 (0) 2016
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    On the Skolem Problem for Continuous Linear Dynamical Systems.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    On Restricted Nonnegative Matrix Factorization.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell 0001.
    Reachability problems for Markov chains.
    Inf. Process. Lett. 2015, Volume 115 (0) 2015
    Conference paper
    Esther Galby, Joël Ouaknine, James Worrell 0001.
    On Matrix Powering in Low Dimensions.
    32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany 2015 (0) 2015
    Conference paper
    Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell 0001.
    Three Variables Suffice for Real-Time Logic.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Stefan Kiefer, Ines Marusic, James Worrell 0001.
    Minimisation of Multiplicity Tree Automata.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell 0001.
    Proving the Herman-Protocol Conjecture.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    On the Decidability of the Bounded Continuous Skolem Problem.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Antonia Lechner, Joël Ouaknine, James Worrell 0001.
    On the Complexity of Linear Arithmetic with Divisibility.
    30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 2015 (0) 2015
    Conference paper
    James Worrell 0001.
    Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper).
    26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 2015 (0) 2015
    Conference paper
    James Worrell 0001.
    Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk).
    35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India 2015 (0) 2015
    Conference paper
    Joël Ouaknine, James Worrell 0001.
    On linear recurrence sequences and loop termination.
    SIGLOG News 2015, Volume 2 (0) 2015
    Conference paper
    Ines Marusic, James Worrell 0001.
    Complexity of equivalence and learning for multiplicity tree automata.
    Journal of Machine Learning Research 2015, Volume 16 (0) 2015
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    The Polyhedron-Hitting Problem.
    Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015 2015 (0) 2015
    Conference paper
    Joël Ouaknine, João Sousa Pinto, James Worrell 0001.
    On Termination of Integer Linear Loops.
    Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015 2015 (0) 2015
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    On the Decidability of the Continuous Infinite Zeros Problem.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Joël Ouaknine, João Sousa Pinto, James Worrell 0001.
    The Polyhedral Escape Problem is Decidable.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Joël Ouaknine, James Worrell 0001.
    Positivity Problems for Low-Order Linear Recurrence Sequences.
    Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014 2014 (0) 2014
    Journal article
    Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    Model Checking Markov Chains Against Unambiguous Buchi Automata.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Ines Marusic, James Worrell 0001.
    Complexity of Equivalence and Learning for Multiplicity Tree Automata.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Joël Ouaknine, James Worrell 0001.
    Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
    Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Joël Ouaknine, James Worrell 0001.
    On the Positivity Problem for Simple Linear Recurrence Sequences, .
    Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Franck van Breugel, James Worrell 0001.
    The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata.
    Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 2014 (0) 2014
    Journal article
    Joël Ouaknine, João Sousa Pinto, James Worrell 0001.
    On Termination of Integer Linear Loops.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Ines Marusic, James Worrell 0001.
    Complexity of Equivalence and Learning for Multiplicity Tree Automata.
    Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I 2014 (0) 2014
    Journal article
    Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell 0001.
    Three Variables are Enough for Real-Time Specification.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001.
    Online Monitoring of Metric Temporal Logic.
    Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 2014 (0) 2014
    Journal article
    Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001.
    Language equivalence of probabilistic pushdown automata.
    Inf. Comput. 2014, Volume 237 (0) 2014
    Journal article
    Stefan Kiefer, Ines Marusic, James Worrell 0001.
    Minimisation of Multiplicity Tree Automata.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    The Polyhedron-Hitting Problem.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    James Worrell 0001.
    On the Complexity of Multitape Automata Equivalence
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    The Orbit Problem in Higher Dimensions
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    On the Complexity of Equivalence and Minimisation for Q-weighted Automata
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Conference paper
    Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    LTL Model Checking of Interval Markov Chains.
    Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell 0001.
    A Static Analysis Framework for Livelock Freedom in CSP
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Journal article
    Sagie Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell 0001.
    The orbit problem in higher dimensions.
    Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013 2013 (0) 2013
    Conference paper
    Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    Two Variable vs. Linear Temporal Logic in Model Checking and Games
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Journal article
    Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell 0001.
    Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].
    Theor. Comput. Sci. 2013, Volume 492 (0) 2013
    Conference paper
    Allen C. Johnston, James Worrell 0001, Paul Michael Di Gangi, Molly McLure Wasko.
    Online health communities: An assessment of the influence of participation on patient empowerment outcomes.
    IT People 2013, Volume 26 (0) 2013
    Conference paper
    James Worrell 0001.
    Revisiting the Equivalence Problem for Finite Multitape Automata.
    Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II 2013 (0) 2013
    Conference paper
    Sagie Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell 0001.
    Complexity of Two-Variable Logic on Finite Trees.
    Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II 2013 (0) 2013
    Journal article
    Joël Ouaknine, James Worrell 0001.
    Positivity Problems for Low-Order Linear Recurrence Sequences.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Ranko Lazic, Joël Ouaknine, James Worrell 0001.
    Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.
    Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Thomas Brihaye, Laurent Doyen 0001, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001.
    Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.
    Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    Algorithmic probabilistic game semantics - Playing games with automata.
    Formal Methods in System Design 2013, Volume 43 (0) 2013
    Journal article
    Joël Ouaknine, James Worrell 0001.
    Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Joël Ouaknine, James Worrell 0001.
    Effective Positivity Problems for Simple Linear Recurrence Sequences.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Paul Hunter, Joël Ouaknine, James Worrell 0001.
    Expressive Completeness for Metric Temporal Logic.
    28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 2013 (0) 2013
    Journal article
    Kevin P. Gallagher, James Worrell 0001, Robert M. Mason.
    The negotiation and selection of horizontal mechanisms to support post-implementation ERP organizations.
    IT People 2012, Volume 25 (0) 2012
    Conference paper
    Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell 0001.
    Branching-Time Model Checking of Parametric One-Counter Automata.
    Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedi 2012 (0) 2012
    Conference paper
    Di Chen, Franck van Breugel, James Worrell 0001.
    On the Complexity of Computing Probabilistic Bisimilarity.
    Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedi 2012 (0) 2012
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    On the Complexity of the Equivalence Problem for Probabilistic Automata.
    Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedi 2012 (0) 2012
    Conference paper
    Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell 0001.
    On termination and invariance for faulty channel machines.
    Formal Asp. Comput. 2012, Volume 24 (0) 2012
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    Three tokens in Herman's algorithm.
    Formal Asp. Comput. 2012, Volume 24 (0) 2012
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    APEX: An Analyzer for Open Probabilistic Programs.
    Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012 (0) 2012
    Conference paper
    Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell 0001.
    Recent Developments in FDR.
    Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012 (0) 2012
    Conference paper
    Daniel Bundala, Joël Ouaknine, James Worrell 0001.
    On the Magnitude of Completeness Thresholds in Bounded Model Checking.
    Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 2012 (0) 2012
    Conference paper
    Joël Ouaknine, James Worrell 0001.
    Decision Problems for Linear Recurrence Sequences.
    Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Christoph Haase, Joël Ouaknine, James Worrell 0001.
    On the Relationship between Reachability Problems in Timed and Counter Automata.
    Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings 2012 (0) 2012
    Journal article
    Paul Hunter, Joël Ouaknine, James Worrell 0001.
    When is Metric Temporal Logic Expressively Complete?
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Paul Hunter, Joël Ouaknine, James Worrell 0001.
    Expressive Completeness of Metric Temporal Logic
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001.
    Bisimilarity of Probabilistic Pushdown Automata
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001.
    Bisimilarity of Probabilistic Pushdown Automata.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India 2012 (0) 2012
    Conference paper
    Thomas Brihaye, Laurent Doyen 0001, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001.
    Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    Verification of Two-Variable Logic Revisited.
    Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012 2012 (0) 2012
    Journal article
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell 0001, Lijun Zhang.
    On Stabilization in Herman's Algorithm
    CoRR 2011, Volume 0 (0) 2011
    Journal article
    Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001.
    On Reachability for Hybrid Automata over Bounded Time
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell 0001, Lijun Zhang.
    On Stabilization in Herman's Algorithm.
    Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 2011 (0) 2011
    Conference paper
    Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001.
    On Reachability for Hybrid Automata over Bounded Time.
    Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 2011 (0) 2011
    Conference paper
    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001.
    Language Equivalence for Probabilistic Automata.
    Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell 0001.
    Linear Completeness Thresholds for Bounded Model Checking.
    Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Michael Benedikt, Rastislav Lenhardt, James Worrell 0001.
    Two Variable vs. Linear Temporal Logic in Model Checking and Games.
    CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 100 of 167  

    Your query returned 167 matches in the database.