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

• 2004
• 
  Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy:
  Unreliable Distributed Timing Scrutinizer to Converge toward\\ Decision Conditions. Stud. Inform. Univ. 3(1): 19-42 (2004)
• 
  Shilpa Bansod, Jean Mayo:
  A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks. Stud. Inform. Univ. 3(2): 151-168 (2004)
• 
  Ismail Berrada, Richard Castanet, Patrick Félix:
  From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004)
• 
  Tommaso Bolognesi:
  Predicates for state changes vs. processes for event patterns. Stud. Inform. Univ. 3(1): 85-124 (2004)
• 
  João W. Cangussu, Kendra M. L. Cooper, W. Eric Wong:
  Empirical Evaluation of a Run-Time Dynamic Adaptable Framework. Stud. Inform. Univ. 3(3): 255-284 (2004)
• 
  Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
  Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3(3): 367-398 (2004)
• 
  Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman:
  Analysis of memory access concurrency in robust parallel algorithms. Stud. Inform. Univ. 3(2): 125-150 (2004)
• 
  Chang-Hyun Jo, Guobin Chen, James Choi:
  A Framework For BDI Agent-Based Software Engineering. Stud. Inform. Univ. 3(3): 285-314 (2004)
• 
  Boris Koldehofe:
  Simple gossiping with balls and bins. Stud. Inform. Univ. 3(1): 43-60 (2004)
• 
  Seok Won Lee, David C. Rine:
  Missing Requirements and Relationship Discovery through Proxy Viewpoints Model. Stud. Inform. Univ. 3(3): 315-342 (2004)
• 
  Takanori Mori, Akio Nakata, Teruo Higashino:
  A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. Stud. Inform. Univ. 3(2): 231- (2004)
• 
  Armelle Prigent, Olivier F. Roux:
  Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3(2): 193-253 (2004)
• 
  Marco Scotto, Alberto Sillitti, Giancarlo Succi, Tullio Vernazza:
  Dealing with Software Metrics Collection and Analysis: a Relational Approach. Stud. Inform. Univ. 3(3): 343-366 (2004)
• 
  Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto:
  Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. Stud. Inform. Univ. 3(1): 61-84 (2004)
• 
  Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn:
  Transparent Data Relocation in Highly Available Distributed Systems. Stud. Inform. Univ. 3(1): 1-18 (2004)