Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: James
    Last name: Worrell
    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 164  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    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
    Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell.
    Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Karin Quaas, Mahsa Shirmohammadi, James Worrell.
    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.
    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
    Joël Ouaknine, João Sousa Pinto, James Worrell.
    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
    Shaull Almagor, Joël Ouaknine, James Worrell.
    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.
    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
    Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell.
    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
    Karin Quaas, Mahsa Shirmohammadi, James Worrell.
    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
    Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell.
    Solvability of Matrix-Exponential Equations.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    Nonnegative Matrix Factorization Requires Irrationality.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Christel Baier, Stefan Kiefer, Joachim Klein 0001, Sascha Klüppelholz, David Müller 0001, James Worrell.
    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.
    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.
    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.
    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
    Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell.
    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.
    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
    Shaull Almagor, Joël Ouaknine, James Worrell.
    The Polytope-Collision Problem.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell.
    On the Complexity of the Orbit Problem.
    J. ACM 2016, Volume 63 (0) 2016
    Conference paper
    Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell.
    Complexity of Two-Variable Logic on Finite Trees.
    ACM Trans. Comput. Log. 2015, Volume 17 (0) 2016
    Conference paper
    Christoph Haase, Joël Ouaknine, James Worrell.
    Relating Reachability Problems in Timed and Counter Automata.
    Fundam. Inform. 2016, Volume 143 (0) 2016
    Conference paper
    Ventsislav Chonev, Joël Ouaknine, James Worrell.
    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.
    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
    Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell.
    Model Checking Flat Freeze LTL on One-Counter Automata.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 25 of 164  

    Your query returned 164 matches in the database.