• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 307 matches

• 2024
• 
  Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
  Porous invariants for linear systems. Formal Methods Syst. Des. 63(1): 235-271 (2024)
• 
  Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
  On Learning Polynomial Recursive Programs. Proc. ACM Program. Lang. 8(POPL): 1001-1027 (2024)
• 
  Bertrand Teguia Tabuguia, James Worrell:
  On Rational Recursion for Holonomic Sequences. CASC 2024: 314-327
• 
  Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
  The 2-Dimensional Constraint Loop Problem Is Decidable. ICALP 2024: 140:1-140:21
• 
  Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
  On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. ICALP 2024: 144:1-144:15
• 
  Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell:
  On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS 2024: 11:1-11:14
• 
  Julian D'Costa, Joël Ouaknine, James Worrell:
  Nonnegativity Problems for Matrix Semigroups. STACS 2024: 27:1-27:16
• 
  Naoki Kobayashi, James Worrell:
  Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14574, Springer 2024, ISBN 978-3-031-57227-2 [contents]
• 
  Naoki Kobayashi, James Worrell:
  Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14575, Springer 2024, ISBN 978-3-031-57230-2 [contents]
• 
  Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
  Multiple Reachability in Linear Dynamical Systems. CoRR abs/2403.06515 (2024)
• 
  Bertrand Teguia Tabuguia, James Worrell:
  On Rational Recursion for Holonomic Sequences. CoRR abs/2404.19136 (2024)
• 
  Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
  On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. CoRR abs/2405.05279 (2024)
• 
  Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell:
  On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. CoRR abs/2405.07953 (2024)
• 
  Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
  The 2-Dimensional Constraint Loop Problem is Decidable. CoRR abs/2405.12992 (2024)
• 
  Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell:
  Determination Problems for Orbit Closures and Matrix Groups. CoRR abs/2407.04626 (2024)
• 
  Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
  On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR abs/2407.05191 (2024)
• 
  Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
  On Tree Automata, Generating Functions, and Differential Equations. CoRR abs/2407.08218 (2024)
• 
  Andrew Scoones, Mahsa Shirmohammadi, James Worrell:
  Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. CoRR abs/2407.18131 (2024)
• 
  Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
  A parametric version of the Hilbert Nullstellensatz. CoRR abs/2408.13027 (2024)
• 2023
• 
  Ventsislav Chonev, Joël Ouaknine, James Worrell:
  On the Zeros of Exponential Polynomials. J. ACM 70(4): 26:1-26:26 (2023)
• 
  Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
  On Strongest Algebraic Program Invariants. J. ACM 70(5): 29:1-29:22 (2023)
• 
  Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
  Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (2023)
• 
  Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
  On the 𝑝-adic zeros of the Tribonacci sequence. Math. Comput. 93(347): 1333-1353 (2023)
• 
  James Worrell:
  The Skolem Landscape (Invited Talk). ICALP 2023: 5:1-5:2
• 
  George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell:
  Positivity Problems for Reversible Linear Recurrence Sequences. ICALP 2023: 130:1-130:17
• 
  George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
  The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC 2023: 407-416
• 
  Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
  Multiplicity Problems on Algebraic Series and Context-Free Grammars. LICS 2023: 1-12
• 
  Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell:
  The Power of Positivity. LICS 2023: 1-11
• 
  George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
  The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR abs/2303.09204 (2023)
• 
  Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
  Multiplicity Problems on Algebraic Series and Context-Free Grammars. CoRR abs/2304.14145 (2023)

skipping 277 more matches