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

• 1999
• 
  Roberto M. Amadio, Sanjiva Prasad:
  The Game of the Name in Cryptographic Tables. ASIAN 1999: 15-26
• 
  Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi:
  A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. ASIAN 1999: 27-36
• 
  Anthony H. W. Chan, Michael R. Lyu:
  Security Modeling and Evaluation for the Mobile Code Paradigm. ASIAN 1999: 371-372
• 
  Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha:
  Rapid Prototyping Techniques for Fuzzy Controllers. ASIAN 1999: 37-49
• 
  IlYoung Chung, Chong-Sun Hwang:
  Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. ASIAN 1999: 50-61
• 
  Koen Claessen, David Sands:
  Observable Sharing for Functional Circuit Description. ASIAN 1999: 62-73
• 
  Luis Fernando Llana Díaz, David de Frutos-Escrig:
  Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ASIAN 1999: 74-86
• 
  Stephan Flake, Christian Geiger:
  CASA - Structured Design of a Specification Language for Intelligent Agents. ASIAN 1999: 373-374
• 
  Lars-Åke Fredlund, Dilian Gurov:
  A Framework for Formal Reasoning about Open Distributed Systems. ASIAN 1999: 87-100
• 
  Didier Galmiche, Dominique Larchey-Wendling:
  Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. ASIAN 1999: 101-112
• 
  Joon-Min Gil, Chong-Sun Hwang:
  An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. ASIAN 1999: 375-376
• 
  Nicolas Halbwachs, Pascal Raymond:
  Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
• 
  Jerry den Hartog:
  Verifying Probabilistic Programs Using a Hoare like Logic. ASIAN 1999: 113-125
• 
  Jesper G. Henriksen:
  An Expressive Extension of TLC. ASIAN 1999: 126-138
• 
  Dang Van Hung, Dimitar P. Guelev:
  Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150
• 
  Mia Indrika:
  Logical Relations in Circuit Verification. ASIAN 1999: 151-162
• 
  Koji Iwanuma, Kenichi Kishino:
  Lemma Generalization and Non-unit Lemma Matching for Model Elimination. ASIAN 1999: 163-176
• 
  Koji Kagawa:
  Programming with Explicit Regions. ASIAN 1999: 377-378
• 
  Fairouz Kamareddine, François Monin:
  On Automating Inductive and Non-inductive Termination Methods. ASIAN 1999: 177-189
• 
  Hanna Klaudel, Franck Pommereau:
  Asynchronous Links in the PBC and M-Nets. ASIAN 1999: 190-200
• 
  Jens Knoop:
  Demand-Driven Model Checking for Context-Free Processes. ASIAN 1999: 201-213
• 
  Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
  Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN 1999: 214-226
• 
  Mila E. Majster-Cederbaum, Frank Salger:
  A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. ASIAN 1999: 379-380
• 
  Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka:
  Faster Model Checking for Open Systems. ASIAN 1999: 227-238
• 
  Ekawit Nantajeewarawat, Vilas Wuwongse:
  An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. ASIAN 1999: 239-250
• 
  Joachim Niehren, Tim Priesnitz:
  Entailment of Non-structural Subtype Constraints. ASIAN 1999: 251-265
• 
  Ichiro Ogata:
  A CPS-Transform of Constructive Classical Logic. ASIAN 1999: 266-280
• 
  Kazuhiro Ogata, Kokichi Futatsugi:
  Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293
• 
  Krishna V. Palem:
  Emerging Application Domains and the Computing Fabric. ASIAN 1999: 13-14
• 
  Duc Quang Nguyen:
  On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R²-Plane. ASIAN 1999: 383-385

skipping 12 more matches