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

• 1993
• 
  Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
  Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents]
• 1992
• 
  Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho:
  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
• 
  Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed:
  On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451
• 
  Panos J. Antsaklis, James A. Stiver, Michael D. Lemmon:
  Hybrid System Modeling and Autonomous Control Systems. Hybrid Systems 1992: 366-392
• 
  Allen Back, John Guckenheimer, Mark Myers:
  A Dynamical Simulation Facility for Hybrid Systems. Hybrid Systems 1992: 255-267
• 
  Albert Benveniste, Michel Le Borgne, Paul Le Guernic:
  Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254
• 
  Mogens Blanke, Søren Bøgh Nielsen, Rikke Bille Jørgensen:
  Fault Accomodation in Feedback Control Systems. Hybrid Systems 1992: 393-425
• 
  Zhou Chaochen, Anders P. Ravn, Michael R. Hansen:
  An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
• 
  Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen:
  A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474
• 
  Robert L. Grossman, Richard G. Larson:
  Some Remarks About Flows in Hybrid Systems. Hybrid Systems 1992: 357-365
• 
  Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
  Introduction. Hybrid Systems 1992: 1-3
• 
  Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
  Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76
• 
  Jozef Hooman:
  A Compositional Approach to the Design of Hybrid Systems. Hybrid Systems 1992: 121-148
• 
  Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
  Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208
• 
  Reino Kurki-Suonio:
  Hybrid Models with Fairness and Distributed Clocks. Hybrid Systems 1992: 103-120
• 
  Leslie Lamport:
  Hybrid Systems in TLA⁺. Hybrid Systems 1992: 77-102
• 
  Michael D. Lemmon, James A. Stiver, Panos J. Antsaklis:
  Event Identification and Intelligent Hybrid Control. Hybrid Systems 1992: 268-296
• 
  Zohar Manna, Amir Pnueli:
  Verifying Hybrid Systems. Hybrid Systems 1992: 4-35
• 
  Anil Nerode, Wolf Kohn:
  Multiple Agent Hybrid Control Architecture. Hybrid Systems 1992: 297-316
• 
  Anil Nerode, Wolf Kohn:
  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. Hybrid Systems 1992: 317-356
• 
  Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
  An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178