• 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

• 1999
• 
  Davide Ancona, Maura Cerioli, Elena Zucca:
  A Formal Framework with Late Binding. FASE 1999: 30-44
• 
  Candida Attanasio, Flavio Corradini, Paola Inverardi:
  Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59
• 
  Lynne Blair, Trevor Jones, Gordon S. Blair:
  A Tool Suite for Multi-paradigm Specification. FASE 1999: 234-238
• 
  Roberto Bruni, José Meseguer, Ugo Montanari:
  Executable Tile Specifications for Process Calculi. FASE 1999: 60-76
• 
  Eva Coscia, Gianna Reggio:
  JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97
• 
  Arie van Deursen, Paul Klint, Chris Verhoef:
  Research Issues in the Renovation of Legacy Systems. FASE 1999: 1-21
• 
  Wan J. Fokkink, Chris Verhoef:
  Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. FASE 1999: 98-113
• 
  Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
  Dynamic Systems with Implicit State. FASE 1999: 114-128
• 
  Kevin Lano, Andy Evans:
  Rigorous Development in UML. FASE 1999: 129-144
• 
  Antónia Lopes, José Luiz Fiadeiro:
  Using Explicit State to Describe Architechtures. FASE 1999: 144-160
• 
  Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
  TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243
• 
  Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
  On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175
• 
  Valery A. Nepomniaschy:
  Verification of Definite Iteration over Hierarchical Data Structures. FASE 1999: 176-187
• 
  Tobias Nipkow, Leonor Prensa Nieto:
  Owicki/Gries in Isabelle/HOL. FASE 1999: 188-203
• 
  Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
  Semantic-Driven Performance Evaluation (Extended Abstract). FASE 1999: 204-218
• 
  Josef Tapken:
  Implementing Hierarchical Graph-Structures. FASE 1999: 219-233
• 
  Herbert Weber:
  Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). FASE 1999: 22-29
• 
  Jean-Pierre Finance:
  Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1577, Springer 1999, ISBN 3-540-65718-5 [contents]