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 25 of 166  
    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
    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
    Show item 1 to 25 of 166  

    Your query returned 166 matches in the database.