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

• 2004
• 
  Ana Cavalcanti, Patrícia D. L. Machado:
  Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 [contents]
• 2003
• 
  Christiano Braga, Alexandre Sztajnberg:
  Towards a Rewriting Semantics for a Software Architecture Description Language. WMF 2003: 149-168
• 
  Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal:
  Acióly-Scott Interval Categories. WMF 2003: 169-187
• 
  Ana Cavalcanti, Patrícia D. L. Machado:
  Preface. WMF 2003: 1-2
• 
  Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise:
  Proving and Debugging Set-Based Specifications. WMF 2003: 189-208
• 
  Luciana Foss, Leila Ribeiro:
  A Translation from Object-Based Hypergraph Grammars into pi-Calculus. WMF 2003: 245-267
• 
  Marie-Claude Gaudel:
  Problems and Methods for Testing Infinite State Machines: Extended Abstract. WMF 2003: 53-62
• 
  Rohit Gheyi, Paulo Borba:
  Refactoring Alloy Specifications. WMF 2003: 227-243
• 
  Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
  Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. WMF 2003: 287-305
• 
  Ana Cristina Vieira de Melo:
  A Study On The Potential Active Names of pi-Agents. WMF 2003: 269-286
• 
  Anamaria Martins Moreira, Anderson Santana de Oliveira:
  Simulating Algebraic Specification Genericity on Languages with Initial Semantics. WMF 2003: 131-148
• 
  Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda:
  VeriAgent: an Approach to Integrating UML and Formal Verification Tools. WMF 2003: 111-129
• 
  Gift Nuka, Jim Woodcock:
  Mechanising the Alphabetised Relational Calculus. WMF 2003: 209-225
• 
  Franklin Ramalho, Jacques Robin, Ulrich Schiel:
  Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. WMF 2003: 83-109
• 
  Augusto Sampaio, Alexandre Mota, Rodrigo Ramos:
  Class and Capsule Refinement in UML for Real Time. WMF 2003: 23-51
• 
  André Luis Silva, Manoel Messias Menezes, Leila Silva:
  Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. WMF 2003: 63-82
• 
  Jim Woodcock:
  Using Circus for Safety-critical Applications. WMF 2003: 3-22