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

• 2022
• 
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
  Open Compliance in Multiparty Sessions. FACS 2022: 222-243
• 
  Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian:
  Footprint Logic for Object-Oriented Components. FACS 2022: 141-160
• 
  Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
  Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19
• 
  Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse:
  Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS 2022: 161-182
• 
  Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle:
  Interpretation and Formalization of the Right-of-Way Rules. FACS 2022: 59-73
• 
  Rikayan Chaki, Anton Wijs:
  Formally Characterizing the Effect of Model Transformations on System Properties. FACS 2022: 39-58
• 
  Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
  WEASY: A Tool for Modelling Optimised BPMN Processes. FACS 2022: 110-118
• 
  Silvia Crafa, Cosimo Laneve:
  Liquidity Analysis in Resource-Aware Programming. FACS 2022: 205-221
• 
  Susmoy Das, Arpit Sharma:
  Embeddings Between State and Action Based Probabilistic Logics. FACS 2022: 121-140
• 
  Joshua Heneage Dawes, Domenico Bianculli:
  Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. FACS 2022: 20-38
• 
  Luc Edixhoven, Sung-Shik Jongmans:
  Realisability of Branching Pomsets. FACS 2022: 185-204
• 
  Quentin Nivon, Gwen Salaün:
  Debugging of BPMN Processes Using Coloring Techniques. FACS 2022: 90-109
• 
  Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha:
  Formal Model In-The-Loop for Secure Industrial Control Networks. FACS 2022: 74-89
• 
  Silvia Lizeth Tapia Tarifa, José Proença:
  Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Lecture Notes in Computer Science 13712, Springer 2022, ISBN 978-3-031-20871-3 [contents]