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

• 2024
• 
  Carlos Aguilar Ibáñez, José Ángel Acosta, Miguel Santiago Suárez-Castañón, Belem Saldivar, Javier Moreno-Valenzuela, Isaac Gandarilla-Esparza, Manuel A. Jiménez-Lizárraga:
  Lyapunov-based estimation and control of velocity and load in rotating machines via Luenberger globally-convergent observer. Eur. J. Control 79: 101092 (2024)
• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  Efficient Normalization of Linear Temporal Logic. J. ACM 71(2): 16:1-16:42 (2024)
• 
  Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza:
  Fast and succinct population protocols for Presburger arithmetic. J. Comput. Syst. Sci. 140: 103481 (2024)
• 
  Javier Esparza Peidro, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán:
  Modeling microservice architectures. J. Syst. Softw. 213: 112041 (2024)
• 
  Michael Blondin, Javier Esparza:
  Separators in Continuous Petri Nets. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr:
  Computing Inductive Invariants of Regular Abstraction Frameworks. CONCUR 2024: 19:1-19:18
• 
  Javier Esparza, Rubén Rubio:
  Validity of Contextual Formulas. CONCUR 2024: 24:1-24:17
• 
  Philipp Czerner, Javier Esparza, Valentin Krasotin:
  A Resolution-Based Interactive Proof System for UNSAT. FoSSaCS (2) 2024: 116-136
• 
  Stefan Kiefer, Jan Kretínský, Antonín Kucera:
  Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 14660, Springer 2024, ISBN 978-3-031-56221-1 [contents]
• 
  Pawel Sobocinski, Ugo Dal Lago, Javier Esparza:
  Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM 2024 [contents]
• 
  Philipp Czerner, Javier Esparza, Valentin Krasotin:
  A Resolution-Based Interactive Proof System for UNSAT. CoRR abs/2401.14996 (2024)
• 
  Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr:
  Computing Inductive Invariants of Regular Abstraction Frameworks. CoRR abs/2404.10752 (2024)
• 
  Javier Esparza, Rubén Rubio:
  Validity of contextual formulas (extended version). CoRR abs/2407.07759 (2024)
• 
  Javier Esparza, Peter Rossmanith, Stefan Schwoon:
  A Uniform Framework for Problems on Context-Free Grammars. CoRR abs/2410.19386 (2024)
• 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)
• 
  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
• 
  Roberto Mateos-Gaitán, Antonio Gil-Izquierdo, Francisco Javier Gimeno-Blanes, Francisco Manuel Melgarejo-Meseguer, Carmen Muñoz-Esparza, José Luis Rojo-Álvarez, Arcadi García-Alberola, Juan José Sánchez-Muñoz:
  Signal Processing and Machine Learning Automated Evaluation of Phrenic Nerve Affectation by Cardiac Stimulation. CinC 2023: 1-4
• 
  Roland Guttenberg, Mikhail A. Raskin, Javier Esparza:
  Geometry of Reachability Sets of Vector Addition Systems. CONCUR 2023: 6:1-6:16
• 
  Javier Esparza, Vincent P. Grande:
  Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems. ICALP 2023: 126:1-126:17
• 
  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)
• 
  Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
  Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR abs/2305.11813 (2023)
• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  Efficient Normalization of Linear Temporal Logic. CoRR abs/2310.12613 (2023)
• 2022
• 
  Javier Esparza, Mikhail A. Raskin, Christoph Welzel:
  Computing Parameterized Invariants of Parameterized Petri Nets. Fundam. Informaticae 187(2-4): 197-243 (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)
• 
  Daisy Imbaquingo, Lorena San Pedro, Javier Díaz, Silvia Arciniega, Tatyana Saltos, Cosme Ortega:
  Computer Auditing Quality Assessment Based on Human, Technical and Contextual Factors. ARTIIS (2) 2022: 320-338
• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design 2022: 208-227
• 
  Daisy Imbaquingo-Esparza, Javier Díaz, Silvia Arciniega, José Jácome, MacArthur Ortega-Bustamante:
  Metric Identification Evaluating Security Information: A Systematic Literature Review. CITI 2022: 214-231
• 
  Javier Esparza, Mikhail A. Raskin, Christoph Welzel:
  Regular Model Checking Upside-Down: An Invariant-Based Approach. CONCUR 2022: 23:1-23:19

skipping 317 more matches