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

• 2021
• 
  Wil M. P. van der Aalst:
  Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins. ICTAC 2021: 3-17
• 
  Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
  An Incentive Mechanism for Trading Personal Data in Data Markets. ICTAC 2021: 197-213
• 
  Luis Henrique Bustamante, Ana Teresa C. Martins:
  Some Aspects of the Database Resilience. ICTAC 2021: 39-46
• 
  Wenjing Chu, Shuo Chen, Marcello M. Bonsangue:
  Learning Probabilistic Automata Using Residuals. ICTAC 2021: 295-313
• 
  Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
  Certifying Choreography Compilation. ICTAC 2021: 115-133
• 
  Alejandro Díaz-Caro, Gilles Dowek:
  A New Connective in Natural Deduction, and Its Application to Quantum Computing. ICTAC 2021: 175-193
• 
  Alan J. Dix:
  Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things. ICTAC 2021: 18-35
• 
  Isabela Dramnesc, Tudor Jebelean:
  AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. ICTAC 2021: 314-333
• 
  Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner:
  Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. ICTAC 2021: 214-234
• 
  Rick Erkens, Jan Friso Groote:
  A Set Automaton to Locate All Pattern Matches in a Term. ICTAC 2021: 67-85
• 
  Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen:
  ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. ICTAC 2021: 357-365
• 
  Ross Horne, Sjouke Mauw, Semen Yurkov:
  Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC 2021: 235-255
• 
  Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin:
  A Mechanically Verified Theory of Contracts. ICTAC 2021: 134-151
• 
  Muhammad Hannan Khan, Osman Hassan, Shahid Khan:
  Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. ICTAC 2021: 86-104
• 
  Jürgen König, Heike Wehrheim:
  On the Correctness Problem for Serializability. ICTAC 2021: 47-64
• 
  Liyi Li, Elsa L. Gunter:
  A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. ICTAC 2021: 152-171
• 
  Yoshifumi Manabe, Hibiki Ono:
  Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. ICTAC 2021: 256-274
• 
  Marino Miculan, Michele Pasqua:
  A Calculus for Attribute-Based Memory Updates. ICTAC 2021: 366-385
• 
  Yati Phyo, Canh Minh Do, Kazuhiro Ogata:
  A Divide & Conquer Approach to Conditional Stable Model Checking. ICTAC 2021: 105-111
• 
  Sanjiva Prasad, R. Madhukar Yerraguntla:
  Normalising Lustre Preserves Security. ICTAC 2021: 275-292
• 
  Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
  Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC 2021: 334-353
• 
  Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto:
  A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. ICTAC 2021: 386-404
• 
  Antonio Cerone, Peter Csaba Ölveczky:
  Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12819, Springer 2021, ISBN 978-3-030-85314-3 [contents]