• 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

• 2018
• 
  Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
  Complexity of Reachability for Data-Aware Dynamic Systems. ACSD 2018: 11-20
• 
  Markus Anders, Anoop Bhagyanath, Klaus Schneider:
  On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ACSD 2018: 115-124
• 
  Étienne André, Didier Lime, Mathias Ramparison:
  Timed Automata with Parametric Updates. ACSD 2018: 21-29
• 
  Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst:
  Symbolically Aligning Observed and Modelled Behaviour. ACSD 2018: 50-59
• 
  Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner:
  Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39
• 
  Loïc Hélouët, Hervé Marchand, John Mullins:
  Concurrent Secrets with Quantified Suspicion. ACSD 2018: 75-84
• 
  Fatma Jebali, Dumitru Potop-Butucaru:
  Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ACSD 2018: 105-114
• 
  Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny:
  SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD 2018: 70-74
• 
  Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten:
  Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD 2018: 40-49
• 
  Ayleen Schinko, Walter Vogler:
  Fault-Free Refinements for Interface Automata. ACSD 2018: 85-94
• 
  Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder:
  Team Coordination Based on Causal Nets with Synchronous Channels. ACSD 2018: 60-69
• 
  Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler:
  On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ACSD 2018: 95-104
• 
  Benjamin Smith, Gianfranco Ciardo:
  SOUPS: A Variable Ordering Metric for the Saturation Algorithm. ACSD 2018: 1-10
• 
  18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-7013-2 [contents]