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

• 2002
• 
  Eugene Asarin, Oded Maler, Sergio Yovine:
  Preface. Theory and Practice of Timed Systems @ ETAPS 2002: 273-274
• 
  Hanifa Boucheneb, Gérard Berthelot:
  Contraction of the ITCPN State Space. Theory and Practice of Timed Systems @ ETAPS 2002: 1-15
• 
  Marc Boyer:
  Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency). Theory and Practice of Timed Systems @ ETAPS 2002: 16-46
• 
  Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine:
  Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 47-59
• 
  Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero:
  On Improving Backwards Verification of Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 60-67
• 
  Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis:
  Abstracts of Invited Talks. Theory and Practice of Timed Systems @ ETAPS 2002: 275-276
• 
  Jérôme Ermont, Frédéric Boniol:
  TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. Theory and Practice of Timed Systems @ ETAPS 2002: 68-85
• 
  Nawel Gharbi, Malika Ioualalen:
  Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. Theory and Practice of Timed Systems @ ETAPS 2002: 86-100
• 
  Dimitar P. Guelev, Dang Van Hung:
  Prefix and Projection onto State in Duration Calculus. Theory and Practice of Timed Systems @ ETAPS 2002: 101-119
• 
  Martijn Hendriks, Kim Guldstrand Larsen:
  Exact Acceleration of Real-Time Model Checking. Theory and Practice of Timed Systems @ ETAPS 2002: 120-139
• 
  Pao-Ann Hsiung, Chuen-Hau Gao:
  Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Theory and Practice of Timed Systems @ ETAPS 2002: 140-159
• 
  Philipp Lucas:
  Timed Semantics of Message Sequence Charts Based on Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 160-179
• 
  Eric Mercer, Chris J. Myers, Tomohiro Yoneda:
  Modular Synthesis of Timed Circuits using Partial Order Reduction. Theory and Practice of Timed Systems @ ETAPS 2002: 180-201
• 
  M. Oliver Möller:
  Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. Theory and Practice of Timed Systems @ ETAPS 2002: 202-217
• 
  M. Oliver Möller, Harald Rueß, Maria Sorea:
  Predicate Abstraction for Dense Real-Time System. Theory and Practice of Timed Systems @ ETAPS 2002: 218-237
• 
  Arnaldo V. Moura, Guilherme A. Pinto:
  Classes of Timed Automata and the Undecidability of Universality. Theory and Practice of Timed Systems @ ETAPS 2002: 238-253
• 
  Paritosh K. Pandya:
  Interval Duration Logic: Expressiveness and Decidability. Theory and Practice of Timed Systems @ ETAPS 2002: 254-272
• 
  Eugene Asarin, Oded Maler, Sergio Yovine:
  Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 [contents]