• 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

• 2014
• 
  Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
  Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94: 333-361 (2014)
• 
  Paolo Arcaini, Angelo Gargantini:
  Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014)
• 
  Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
  ASM, controller synthesis, and complete refinement. Sci. Comput. Program. 94: 109-129 (2014)
• 
  Luís Soares Barbosa, Markus Lumpe:
  Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014)
• 
  Matthias Book, Marco Buss, Volker Gruhn:
  Process-aware continuation management in web applications. Sci. Comput. Program. 94: 3-17 (2014)
• 
  Michele Bugliesi, Andrea Marin, Sabina Rossi:
  Model checking adaptive service compositions. Sci. Comput. Program. 94: 289-306 (2014)
• 
  David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin:
  Integrating SMT solvers in Rodin. Sci. Comput. Program. 94: 130-143 (2014)
• 
  Benoît Fraikin, Marc Frappier, Richard St-Denis:
  Supervisory control theory with Alloy. Sci. Comput. Program. 94: 217-237 (2014)
• 
  Vincenzo Gervasi, Egon Börger, Antonio Cisternino:
  Modeling web applications infrastructure with ASMs. Sci. Comput. Program. 94: 69-92 (2014)
• 
  Stefan Hallerstede, Thai Son Hoang:
  Refinement of decomposed models by interface instantiation. Sci. Comput. Program. 94: 144-163 (2014)
• 
  Matthias Heinrich, Franz Lehmann, Franz Josef Grüneberger, Martin Gaedke, Thomas Springer, Alexander Schill:
  Enriching single-user web applications non-invasively with shared editing support. Sci. Comput. Program. 94: 53-66 (2014)
• 
  Frederik Hogenboom, Damir Vandic, Flavius Frasincar, Arnout Verheij, Allard Kleijn:
  A query language and ranking algorithm for news items in the Hermes news processing framework. Sci. Comput. Program. 94: 32-52 (2014)
• 
  Angelo Di Iorio, Davide Rossi, Stefano Zacchiroli:
  Web Technologies: Selected & extended papers from WT ACM SAC 2012. Sci. Comput. Program. 94: 1-2 (2014)
• 
  Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
  Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. 94: 238-252 (2014)
• 
  Sonya Liberman, Ronny Lempel:
  Approximately optimal facet value selection. Sci. Comput. Program. 94: 18-31 (2014)
• 
  Aleksandar Milicevic, Daniel Jackson:
  Preventing arithmetic overflows in Alloy. Sci. Comput. Program. 94: 203-216 (2014)
• 
  Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori:
  Monitoring method call sequences using annotations. Sci. Comput. Program. 94: 362-378 (2014)
• 
  Elvinia Riccobene, Steve Reeves:
  Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. 94: 67-68 (2014)
• 
  Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
  Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. 94: 164-202 (2014)
• 
  Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien:
  QoS contract preservation through dynamic reconfiguration: A formal semantics approach. Sci. Comput. Program. 94: 307-332 (2014)
• 
  Liang Zhao, Roberto Bruni, Zhiming Liu:
  A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94: 255-288 (2014)