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

• 2019
• 
  Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria:
  Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. From Software Engineering to Formal Methods and Tools, and Back 2019: 338-364
• 
  Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston:
  When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. CAV (1) 2019: 366-375
• 
  Shriram Krishnamurthi, Tim Nelson:
  The Human in Formal Methods. FM 2019: 3-10
• 2017
• 
  Matthew L. Bolton, Ellen J. Bass:
  Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 343-377
• 
  Paul Curzon, Rimvydas Ruksenas:
  Modelling the User. Handbook of Formal Methods in Human-Computer Interaction 2017: 211-245
• 
  Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon:
  Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. Handbook of Formal Methods in Human-Computer Interaction 2017: 465-504
• 
  Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
  The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403
• 
  Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix:
  State of the Art on Formal Methods for Interactive Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 3-55
• 
  Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
  The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing 2017, ISBN 978-3-319-51837-4 [contents]
• 2016
• 
  Miguel Escobar Varela:
  The Essay/ontology Workflow, Challenges in Combining Formal and Interpretive Methods. Digit. Scholarsh. Humanit. 31(1): 84-94 (2016)
• 1996
• 
  Christopher W. Johnson:
  Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces. Hum. Comput. Interact. 11(4): 291-320 (1996)
• 1990
• 
  Christine Lafontaine:
  Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. Programming Concepts and Methods 1990: 333-368