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

• 2023
• 
  Philipp Czerner, Javier Esparza, Jérôme Leroux:
  Lower bounds on the state complexity of population protocols. Distributed Comput. 36(3): 209-218 (2023)
• 
  A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin:
  Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. Log. Methods Comput. Sci. 19(4) (2023)
• 
  Florian Jüngermann, Jan Kretínský, Maximilian Weininger:
  Algebraically explainable controllers: decision trees and support vector machines join forces. Int. J. Softw. Tools Technol. Transf. 25(3): 249-266 (2023)
• 
  Aishik Mandal, Michaël Perrot, Debarghya Ghoshdastidar:
  A Revenue Function for Comparison-Based Hierarchical Clustering. Trans. Mach. Learn. Res. 2023 (2023)
• 
  Pascal Mattia Esser, Satyaki Mukherjee, Mahalakshmi Sabanayagam, Debarghya Ghoshdastidar:
  Improved Representation Learning Through Tensorized Autoencoders. AISTATS 2023: 8294-8307
• 
  Calvin Chau, Jan Kretínský, Stefanie Mohr:
  Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) 2023: 401-421
• 
  Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
  Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) 2023: 437-458
• 
  Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder:
  Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) 2023: 390-414
• 
  Roland Guttenberg, Mikhail A. Raskin, Javier Esparza:
  Geometry of Reachability Sets of Vector Addition Systems. CONCUR 2023: 6:1-6:16
• 
  Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt:
  Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM 2023: 622-634
• 
  Javier Esparza, Vincent P. Grande:
  Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems. ICALP 2023: 126:1-126:17
• 
  Florian Dorfhuber, Julia Eisentraut, Jan Kretínský:
  Learning Attack Trees by Genetic Algorithms. ICTAC 2023: 55-73
• 
  Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
  Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS 2023: 1-14
• 
  Satyaki Mukherjee, Soumendu Sundar Mukherjee, Debarghya Ghoshdastidar:
  Wasserstein Projection Pursuit of Non-Gaussian Signals. CoRR abs/2302.12693 (2023)
• 
  Javier Esparza, Vincent P. Grande:
  Black-box Testing Liveness Properties of Partially Observable Stochastic Systems. CoRR abs/2303.03292 (2023)
• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  A Simple Rewrite System for the Normalization of Linear Temporal Logic. CoRR abs/2304.08872 (2023)
• 
  Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
  Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. CoRR abs/2304.09930 (2023)
• 
  Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
  Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR abs/2305.11813 (2023)
• 
  Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder:
  Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR abs/2305.15109 (2023)
• 
  Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel:
  MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. CoRR abs/2305.16752 (2023)
• 
  Calvin Chau, Jan Kretínský, Stefanie Mohr:
  Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. CoRR abs/2307.10891 (2023)
• 
  Anurag Singh, Mahalakshmi Sabanayagam, Krikamol Muandet, Debarghya Ghoshdastidar:
  Fast Adaptive Test-Time Defense with Robust Features. CoRR abs/2307.11672 (2023)
• 
  Pascal Mattia Esser, Satyaki Mukherjee, Debarghya Ghoshdastidar:
  Representation Learning Dynamics of Self-Supervised Models. CoRR abs/2309.02011 (2023)
• 
  Pascal Mattia Esser, Maximilian Fleissner, Debarghya Ghoshdastidar:
  Non-Parametric Representation Learning with Kernels. CoRR abs/2309.02028 (2023)
• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  Efficient Normalization of Linear Temporal Logic. CoRR abs/2310.12613 (2023)
• 2022
• 
  Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
  Index appearance record with preorders. Acta Informatica 59(5): 585-618 (2022)
• 
  Javier Esparza, Mikhail A. Raskin, Christoph Welzel:
  Computing Parameterized Invariants of Parameterized Petri Nets. Fundam. Informaticae 187(2-4): 197-243 (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)
• 
  Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger:
  Comparison of algorithms for simple stochastic games. Inf. Comput. 289(Part): 104885 (2022)
• 
  Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
  From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. 24(4): 635-659 (2022)

skipping 479 more matches