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

• 2006
• 
  Alexandru Berlea:
  Online Evaluation of Regular Tree Queries. Nord. J. Comput. 13(4): 240-265 (2006)
• 
  Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
  Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006)
• 
  Ingo Brückner, Björn Metzler, Heike Wehrheim:
  Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13(1-2): 22-45 (2006)
• 
  Pauli Byckling, Petri Gerdt, Ludwik Kuzniarz, Jorma Sajaniemi:
  Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams. Nord. J. Comput. 13(3): 149-161 (2006)
• 
  Tristan Crolard, Samuel Lacas, Pierre Valarcher:
  On the Expressive Power of the Loop Language. Nord. J. Comput. 13(1-2): 46-57 (2006)
• 
  Troels Christoffer Damgaard, Lars Birkedal:
  Axiomatizing Binding Bigraphs. Nord. J. Comput. 13(1-2): 58-77 (2006)
• 
  Assefaw Hadish Gebremedhin, Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle:
  PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms. Nord. J. Comput. 13(4): 215-239 (2006)
• 
  Prosenjit Gupta:
  Range-Aggregate Query Problems Involving Geometric Aggregation Operations. Nord. J. Comput. 13(4): 294-308 (2006)
• 
  Neil D. Jones:
  Guest Editor's Foreword. Nord. J. Comput. 13(1-2): 1 (2006)
• 
  Johannes Koskinen, Anna Ruokonen, Tarja Systä:
  A Pattern-Based Approach to Generate Code from API Usage Scenarios. Nord. J. Comput. 13(3): 162-179 (2006)
• 
  Daniel Lemire:
  Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element. Nord. J. Comput. 13(4): 328-339 (2006)
• 
  Monica Nesi, Giustina Nocera:
  Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13(1-2): 78-97 (2006)
• 
  Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
  Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006)
• 
  Rajiv Kumar Poddar, Purandar Bhaduri:
  Verification of Giotto based Embedded Control Systems. Nord. J. Comput. 13(4): 266-293 (2006)
• 
  Andreas Prinz, Merete Skjelten Tveit:
  Guest Editor's Foreword. Nord. J. Comput. 13(3): 147-148 (2006)
• 
  André L. Santos, Kai Koskimies, Antónia Lopes:
  A Model-Driven Approach to Variability Management in Product-Line Engineering. Nord. J. Comput. 13(3): 196-213 (2006)
• 
  Michel P. Schellekens, Rachit Agarwal, Emanuel M. Popovici, Ka Lok Man:
  A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons. Nord. J. Comput. 13(4): 340-346 (2006)
• 
  Mika Siikarla, Jari Peltonen, Johannes Koskinen:
  Towards Unambiguous Model Fragments. Nord. J. Comput. 13(3): 180-195 (2006)
• 
  Kristian Støvring:
  Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nord. J. Comput. 13(1-2): 117-126 (2006)
• 
  K. Subramani, John Argentieri:
  Chain Programming over Difference Constraints. Nord. J. Comput. 13(4): 309-327 (2006)
• 
  Leonidas Tsiopoulos, Marina Waldén:
  Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006)