• 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

• 2019
• 
  Bogdan Aman, Gabriel Ciobanu:
  Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC 2019: 134-151
• 
  Étienne André, Jawher Jerray, Sahar Mhiri:
  Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC 2019: 113-123
• 
  Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
  Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC 2019: 255-272
• 
  Frantisek Blahoudek, Juraj Major, Jan Strejcek:
  LTL to Smaller Self-Loop Alternating Automata and Back. ICTAC 2019: 152-171
• 
  Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
  DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. ICTAC 2019: 292-312
• 
  Patrick Cousot:
  Calculational Design of a Regular Model Checker by Abstract Interpretation. ICTAC 2019: 3-21
• 
  Uli Fahrenberg, Axel Legay, Karin Quaas:
  Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75
• 
  Daniele Gorla, Federica Granese, Catuscia Palamidessi:
  Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. ICTAC 2019: 313-331
• 
  Seyed Hossein Haeri, Paul Keir:
  Solving the Expression Problem in C++, á la LMS. ICTAC 2019: 353-371
• 
  Jafar Hamin:
  Starvation-Free Monitors. ICTAC 2019: 175-195
• 
  Moez Krichen:
  Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. ICTAC 2019: 124-133
• 
  Fateh Latreche, Abdelkader Moudjari, Hichem Talbi:
  Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. ICTAC 2019: 76-90
• 
  Dominique Méry:
  Verification by Construction of Distributed Algorithms. ICTAC 2019: 22-38
• 
  Xiaoying Mou, Haiming Chen, Yeting Li:
  Context-Free Grammars for Deterministic Regular Expressions with Interleaving. ICTAC 2019: 235-252
• 
  Härmel Nestra:
  Laws of Monadic Error Handling. ICTAC 2019: 372-391
• 
  Huu-Vu Nguyen, Tayssir Touili:
  BCARET Model Checking for Malware Detection. ICTAC 2019: 273-291
• 
  Samir Ouchani:
  Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. ICTAC 2019: 216-234
• 
  Kirstin Peters, Christoph Wagner, Uwe Nestmann:
  Taming Concurrency for Verification Using Multiparty Session Types. ICTAC 2019: 196-215
• 
  Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata:
  Optimal Run Problem for Weighted Register Automata. ICTAC 2019: 91-110
• 
  Arpit Sharma:
  The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. ICTAC 2019: 41-58
• 
  Martin Sulzmann, Kenny Zhuo Ming Lu:
  Solving of Regular Equations Revisited. ICTAC 2019: 392-409
• 
  Xavier Thirioux, Alexis Maffart:
  Taylor Series Revisited. ICTAC 2019: 335-352
• 
  Robert M. Hierons, Mohamed Mosbah:
  Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Lecture Notes in Computer Science 11884, Springer 2019, ISBN 978-3-030-32504-6 [contents]