• 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

• 2011
• 
  Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
  Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
• 
  Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks:
  Symbolic Worst Case Execution Times. ICTAC 2011: 25-44
• 
  Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi:
  Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand. ICTAC 2011: 45-61
• 
  Facundo Carreiro:
  On Characterization, Definability and ω-Saturated Models. ICTAC 2011: 62-76
• 
  Liliana Cojocaru, Erkki Mäkinen:
  On the Complexity of Szilard Languages of Regulated Grammars. ICTAC 2011: 77-94
• 
  Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
  Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
• 
  Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
  Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011: 116-134
• 
  Rolf Hennicker, Alexander Knapp:
  Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153
• 
  Yijing Liu, Zongyan Qiu, Quan Long:
  WP Semantics and Behavioral Subtyping. ICTAC 2011: 154-172
• 
  Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys:
  Ambiguity of Unary Symmetric Difference NFAs. ICTAC 2011: 256-266
• 
  Jayadev Misra:
  Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). ICTAC 2011: 1-3
• 
  Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
  Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
• 
  Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide:
  A Framework for Instantiating Pedagogic mLearning Objects Applications. ICTAC 2011: 194-217
• 
  David Lorge Parnas:
  The Use of Mathematics in Software Development - (Extended Abstract). ICTAC 2011: 4-5
• 
  Paul Tarau:
  Emulating Primality with Multiset Representations of Natural Numbers. ICTAC 2011: 218-238
• 
  Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
  Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC 2011: 239-255
• 
  Willem Visser:
  Infinitely Often Testing - (Extended Abstract). ICTAC 2011: 6
• 
  Antonio Cerone, Pekka Pihlajasaari:
  Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6916, Springer 2011, ISBN 978-3-642-23282-4 [contents]