• 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

• 2016
• 
  Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol:
  Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD 2016: 114-123
• 
  Mohammed A. Noaman Al-Hayanni, Ashur Rafiev, Rishad A. Shafik, Fei Xia:
  Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing. ACSD 2016: 84-93
• 
  Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci:
  Controlling Actions and Time in Parametric Timed Automata. ACSD 2016: 45-54
• 
  Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
  Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD 2016: 35-44
• 
  Ferenc Bujtor, Walter Vogler:
  ACTL for Modal Interface Automata. ACSD 2016: 1-10
• 
  Raymond R. Devillers:
  Products of Transition Systems and Additions of Petri Nets. ACSD 2016: 65-73
• 
  Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami:
  Checking Metric Temporal Logic with TRACE. ACSD 2016: 19-24
• 
  Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski:
  From Petri Nets with Shared Variables to ITL. ACSD 2016: 11-18
• 
  Mahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside:
  Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. ACSD 2016: 104-113
• 
  Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar:
  An Approach to Verification of MPI Applications Defined in a High-Level Model. ACSD 2016: 55-64
• 
  Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann:
  Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. ACSD 2016: 74-83
• 
  Matthew Travers, Rishad A. Shafik, Fei Xia:
  Power-Normalized Performance Optimization of Concurrent Many-Core Applications. ACSD 2016: 94-103
• 
  Antti Valmari:
  The Congruences below Fair Testing with Initial Stability. ACSD 2016: 25-34
• 
  Jörg Desel, Alex Yakovlev:
  16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-2589-3 [contents]