• 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 25 matches

• 2023
• 
  Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine:
  Reachability in Injective Piecewise Affine Maps. LICS 2023: 1-11
• 
  Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell:
  The Power of Positivity. LICS 2023: 1-11
• 
  Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine:
  Reachability in Injective Piecewise Affine Maps. CoRR abs/2301.09752 (2023)
• 2022
• 
  Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger:
  Value iteration for simple stochastic games: Stopping criterion and learning algorithm. Inf. Comput. 285(Part): 104886 (2022)
• 
  Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
  What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design 2022: 21-38
• 
  Edon Kelmendi:
  Computing the Density of the Positivity Set for Linear Recurrence Sequences. LICS 2022: 3:1-3:12
• 
  Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
  What's Decidable about Discrete Linear Dynamical Systems? CoRR abs/2206.11412 (2022)
• 2021
• 
  Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
  Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5(POPL): 1-24 (2021)
• 2020
• 
  Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
  Invariants for Continuous Linear Dynamical Systems. ICALP 2020: 107:1-107:15
• 
  Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche:
  Extensions of ω-Regular Languages. LICS 2020: 266-272
• 
  Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche:
  Extensions of ω-Regular Languages. CoRR abs/2002.09393 (2020)
• 
  Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
  Invariants for Continuous Linear Dynamical Systems. CoRR abs/2004.11661 (2020)
• 
  Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
  Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR abs/2010.14432 (2020)
• 2019
• 
  Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak:
  MSO+∇ is undecidable. LICS 2019: 1-13
• 
  Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak:
  MSO+nabla is undecidable. CoRR abs/1901.06900 (2019)
• 2018
• 
  Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
  Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV (1) 2018: 623-642
• 
  Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
  Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CoRR abs/1804.04901 (2018)
• 2017
• 
  Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi:
  Emptiness of Zero Automata Is Decidable. ICALP 2017: 106:1-106:13
• 
  Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg:
  Stamina: Stabilisation Monoids in Automata Theory. CIAA 2017: 101-112
• 
  Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi:
  Emptiness of zero automata is decidable. CoRR abs/1702.06858 (2017)
• 2016
• 
  Edon Kelmendi:
  Two-Player Stochastic Games with Perfect and Zero Information. (Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro). University of Bordeaux, France, 2016
• 
  Edon Kelmendi, Hugo Gimbert:
  Deciding Maxmin Reachability in Half-Blind Stochastic Games. SAGT 2016: 52-63
• 
  Edon Kelmendi, Hugo Gimbert:
  Deciding Maxmin Reachability in Half-Blind Stochastic Games. CoRR abs/1605.07753 (2016)
• 2015
• 
  Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj:
  Deciding the value 1 problem for probabilistic leaktight automata. Log. Methods Comput. Sci. 11(2) (2015)
• 2014
• 
  Hugo Gimbert, Edon Kelmendi:
  Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional. CoRR abs/1401.6575 (2014)