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

• 2013
• 
  Bogdan Aman, Gabriel Ciobanu:
  Mobile Membranes: Computability and Complexity. ICTAC 2013: 59-75
• 
  Richard Banach, Michael J. Butler:
  Cruise Control in Hybrid Event-B. ICTAC 2013: 76-93
• 
  Riccardo Bresciani, Andrew Butterfield:
  From Distributions to Probabilistic Reactive Programs. ICTAC 2013: 94-111
• 
  Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
  hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC 2013: 112-121
• 
  Luca Cardelli, Radu Mardare:
  Stochastic Pi-calculus Revisited. ICTAC 2013: 1-21
• 
  Wen-Ju Cheng, Jim Cox, Stathis Zachos:
  Random Walks on Some Basic Classes of Digraphs. ICTAC 2013: 122-140
• 
  Gabriel Ciobanu, Armand Stefan Rotaru:
  A Probabilistic Logic for pTiMo. ICTAC 2013: 141-158
• 
  Ruzhen Dong, Naijun Zhan, Liang Zhao:
  An Interface Model of Software Components. ICTAC 2013: 159-176
• 
  Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim:
  A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC 2013: 177-194
• 
  Neville Grech, Julian Rathke, Bernd Fischer:
  Preemptive Type Checking in Dynamically Typed Languages. ICTAC 2013: 195-212
• 
  Jifeng He:
  A Clock-Based Framework for Construction of Hybrid Systems. ICTAC 2013: 22-41
• 
  Jan Kretínský, Salomon Sickert:
  On Refinements of Boolean and Parametric Modal Transition Systems. ICTAC 2013: 213-230
• 
  Marta Z. Kwiatkowska:
  Advances in Quantitative Verification for Ubiquitous Computing. ICTAC 2013: 42-58
• 
  Sven Linker, Martin Hilscher:
  Proof Theory of a Multi-Lane Spatial Logic. ICTAC 2013: 231-248
• 
  Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
  Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC 2013: 249-266
• 
  Ling Luo, Zhenhua Duan:
  A Transformation from p-π to MSVL. ICTAC 2013: 267-281
• 
  Härmel Nestra:
  On Slicing of Programs with Input Statements. ICTAC 2013: 282-300
• 
  Paritosh K. Pandya, Simoni S. Shah:
  Deterministic Logics for UL. ICTAC 2013: 301-318
• 
  Emil Sekerinski, Tian Zhang:
  Finitary Fairness in Action Systems. ICTAC 2013: 319-336
• 
  Zhucheng Shao, Jing Liu:
  Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC 2013: 337-354
• 
  Yisong Wang, Jia-Huai You, Mingyi Zhang:
  Embedding Functions into Disjunctive Logic Programs. ICTAC 2013: 355-372
• 
  Kun Wei:
  Reactive Designs of Interrupts in Circus Time. ICTAC 2013: 373-390
• 
  Xinghua Yao, Min Zhang, Yixiang Chen:
  A Proof System in PADS. ICTAC 2013: 391-408
• 
  Jianhua Zhao, Xuandong Li:
  Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ICTAC 2013: 409-426
• 
  Steffen Ziegert, Christian Heinzemann:
  Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. ICTAC 2013: 427-444
• 
  Zhiming Liu, Jim Woodcock, Huibiao Zhu:
  Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents]