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

• 1997
• 
  Farid M. Ablayev:
  Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs. ICALP 1997: 195-202
• 
  Stephen Alstrup, Jacob Holm, Kristian de Lichtenberg, Mikkel Thorup:
  Minimizing Diameters of Dynamic Trees. ICALP 1997: 270-280
• 
  Andris Ambainis:
  Upper Bound on Communication Complexity of Private Information Retrieval. ICALP 1997: 401-407
• 
  Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim:
  Worst-Case Hardness Suffices for Derandomization: A New Method for Hardness-Randomness Trade-Offs. ICALP 1997: 177-187
• 
  Krzysztof R. Apt:
  From Chaotic Iteration to Constraint Propagation. ICALP 1997: 36-55
• 
  Andrea Asperti, Cosimo Laneve:
  On the Dynamics of Sharing Graphs. ICALP 1997: 259-269
• 
  Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan:
  Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
• 
  Amotz Bar-Noy, Guy Kortsarz:
  The Minimum Color Sum of Bipartite Graphs. ICALP 1997: 738-748
• 
  Yair Bartal, Stefano Leonardi:
  On-Line Routing in All-Optical Networks. ICALP 1997: 516-526
• 
  Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin:
  Enumerative Sequences of Leaves in Rational Trees. ICALP 1997: 76-86
• 
  Martin Beaudry, François Lemieux, Denis Thérien:
  Finite Loops Recognize Exactly the Regular Open Languages. ICALP 1997: 110-120
• 
  Richard Beigel, Bin Fu:
  Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. ICALP 1997: 816-826
• 
  Marco Bernardo:
  An Algebra-Based Method to Associate Rewards with EMPA Terms. ICALP 1997: 358-368
• 
  Hans L. Bodlaender, Dimitrios M. Thilikos:
  Constructive Linear Time Algorithms for Branchwidth. ICALP 1997: 627-637
• 
  Michele Boreale, Rocco De Nicola, Rosario Pugliese:
  Basic Observables for Processes. ICALP 1997: 482-492
• 
  Ahmed Bouajjani, Peter Habermehl:
  Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract). ICALP 1997: 560-570
• 
  Olivier Bournez:
  Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract). ICALP 1997: 143-153
• 
  Hajo Broersma, Ton Kloks, Dieter Kratsch, Haiko Müller:
  Independent Sets in Asteroidal Triple-Free Graphs. ICALP 1997: 760-770
• 
  Véronique Bruyère:
  A Completion Algorithm for Codes with Bounded Synchronization Delay. ICALP 1997: 87-97
• 
  Francesco Buccafurri, Sergio Greco, Domenico Saccà:
  The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997: 849-859
• 
  Harry Buhrman, Stephen A. Fenner, Lance Fortnow:
  Results on Resource-Bounded Measure. ICALP 1997: 188-194
• 
  Olaf Burkart, Bernhard Steffen:
  Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP 1997: 419-429
• 
  Edson Cáceres, Frank K. H. A. Dehne, Afonso Ferreira, Paola Flocchini, Ingo Rieping, Alessandro Roncato, Nicola Santoro, Siang W. Song:
  Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. ICALP 1997: 390-400
• 
  Olivier Carton, Dominique Perrin:
  The Wadge-Wagner Hierarchy of omega-Rational Sets. ICALP 1997: 17-35
• 
  Julien Cassaigne:
  On a Conjecture of J. Shallit. ICALP 1997: 693-704
• 
  Bruno Codenotti, Funda Ergün, Peter Gemmell, Ravi Kumar:
  Checking Properties of Polynomials (Extended Abstract). ICALP 1997: 203-213
• 
  Roberto Di Cosmo, Neil Ghani:
  On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP 1997: 237-247
• 
  Laurent Dami:
  Labelled Reductions, Runtime Errors and Operational Subsumption. ICALP 1997: 782-793
• 
  Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl:
  Solving Trace Equations Using Lexicographical Normal Forms. ICALP 1997: 336-346
• 
  Manfred Droste, Paul Gastin:
  On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP 1997: 682-692

skipping 50 more matches