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

• 2007
• 
  Irina B. Virbitskaite, Andrei Voronkov:
  Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Lecture Notes in Computer Science 4378, Springer 2007, ISBN 978-3-540-70880-3 [contents]
• 2006
• 
  Sergei M. Abramov, Robert Glück, Yuri A. Klimov:
  An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Ershov Memorial Conference 2006: 27-40
• 
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
  Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference 2006: 41-54
• 
  Sören Auer, Heinrich Herre:
  A Versioning and Evolution Framework for RDF Knowledge Bases. Ershov Memorial Conference 2006: 55-69
• 
  Sören Auer, Heinrich Herre:
  RapidOWL - An Agile Knowledge Engineering Methodology. Ershov Memorial Conference 2006: 424-430
• 
  Thomas Baar, Slavisa Markovic:
  A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83
• 
  Thomas Baar, Jon Whittle:
  On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
• 
  Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf:
  Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
• 
  Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
  TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111
• 
  Dmitri Boulytchev:
  BURS-Based Instruction Set Selection. Ershov Memorial Conference 2006: 431-437
• 
  Nieves R. Brisaboa, Antonio Fariña, Miguel Rodríguez Luaces, José R. Paramá:
  Chase of Recursive Queries. Ershov Memorial Conference 2006: 112-123
• 
  Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá:
  Improving Semistatic Compression Via Pair-Based Coding. Ershov Memorial Conference 2006: 124-134
• 
  Mark Buckley, Christoph Benzmüller:
  An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147
• 
  Anatoly Chebotarev, Sergey Krivoi:
  Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. Ershov Memorial Conference 2006: 438-442
• 
  Gabriel Ciobanu, Vladimir A. Zakharov:
  Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165
• 
  Liliana Cojocaru:
  Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources. Ershov Memorial Conference 2006: 166-179
• 
  Walter Dosch, Annette Stümpel:
  Deriving State-Based Implementations of Interactive Components with History Abstractions. Ershov Memorial Conference 2006: 180-194
• 
  Roman S. Dubtsov:
  Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. Ershov Memorial Conference 2006: 443-450
• 
  Alberto de la Encina, Luis Llana, Fernando Rubio:
  Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference 2006: 195-208
• 
  Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
  Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222
• 
  Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko:
  Streaming Networks for Coordinating Data-Parallel Programs. Ershov Memorial Conference 2006: 451-455
• 
  Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov:
  Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466
• 
  Damas P. Gruska:
  Information-Flow Attacks Based on Limited Observations. Ershov Memorial Conference 2006: 223-234
• 
  Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve:
  Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
• 
  Victor Ivannikov:
  Grand Challenges of System Programming. Ershov Memorial Conference 2006: 19
• 
  Andrei V. Klimov:
  Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. Ershov Memorial Conference 2006: 248-259
• 
  Margarita V. Korovina, Nicolai N. Vorobjov Jr.:
  Satisfiability of Viability Constraints for Pfaffian Dynamics. Ershov Memorial Conference 2006: 260-269
• 
  Cornelis H. A. Koster, Jean Beney:
  On the Importance of Parameter Tuning in Text Categorization. Ershov Memorial Conference 2006: 270-283
• 
  Vahur Kotkas:
  Preconditions for Structural Synthesis of Programs. Ershov Memorial Conference 2006: 284-296
• 
  Olga Kouchnarenko, Arnaud Lanoix:
  How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference 2006: 297-309

skipping 16 more matches