• 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

• 2020
• 
  Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski:
  Galois Connections for Recursive Types. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 105-131
• 
  Torben Amtoft, Kelly Androutsopoulos, David Clark:
  Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 149-197
• 
  Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
  Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 233-255
• 
  Richard Prideaux Evans, Martin Berger:
  Cathoristic Logic. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 17-85
• 
  Andrew Fielder:
  Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 216-232
• 
  Simon J. Gay:
  Cables, Trains and Types. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 3-16
• 
  Sebastian Hunt, David Sands:
  New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 256-267
• 
  Flemming Nielson, Hanne Riis Nielson:
  Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 201-215
• 
  Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias:
  Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 268-291
• 
  Alessandra Di Pierro:
  A Type Theory for Probabilistic λ-calculus. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 86-102
• 
  Helmut Seidl, Julian Erhard, Ralf Vogler:
  Incremental Abstract Interpretation. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 132-148
• 
  Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan:
  From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Lecture Notes in Computer Science 12065, Springer 2020, ISBN 978-3-030-41102-2 [contents]