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

• 2016
• 
  Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
  Spatio-Temporal Models for Formal Analysis and Property-Based Testing. STAF Workshops 2016: 196-206
• 
  Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
  Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178
• 
  Nieves Atienza, Rocío González-Díaz, Matteo Rucco:
  Separating Topological Noise from Features Using Persistent Entropy. STAF Workshops 2016: 3-12
• 
  Antonio Cerone:
  Refinement Mining: Using Data to Sift Plausible Models. STAF Workshops 2016: 26-41
• 
  Antonio Cerone:
  Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives. STAF Workshops 2016: 232-241
• 
  Raphaël Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz:
  Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming. STAF Workshops 2016: 265-273
• 
  Andrea Corradini:
  On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. STAF Workshops 2016: 101-111
• 
  Mirko D'Angelo, Mauro Caporuscio:
  Pure Edge Computing Platform for the Future Internet. STAF Workshops 2016: 458-469
• 
  Zinovy Diskin, Harald König:
  Incremental Consistency Checking of Heterogeneous Multimodels. STAF Workshops 2016: 274-288
• 
  Khanh-Hoang Doan, Martin Gogolla, Frank Hilken:
  Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops 2016: 207-220
• 
  Frank Drewes, Berthold Hoffmann, Mark Minas:
  Approximating Parikh Images for Generating Deterministic Graph Parsers. STAF Workshops 2016: 112-128
• 
  Martyn Ellison, Radu Calinescu, Richard F. Paige:
  Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50
• 
  Martin Gogolla, Jordi Cabot:
  Continuing a Benchmark for UML and OCL Design and Analysis Tools. STAF Workshops 2016: 289-302
• 
  Martin Gogolla, Antonio Vallecillo:
  Views on UML Interactions as Spreadsheet Queries. STAF Workshops 2016: 394-400
• 
  Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi:
  Audio Ergo Sum - A Personal Data Model for Musical Preferences. STAF Workshops 2016: 51-66
• 
  Mohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N'cir, Nadia Essoussi:
  An Accelerated MapReduce-Based K-prototypes for Big Data. STAF Workshops 2016: 13-25
• 
  Felienne Hermans, Tijs van der Storm:
  TrueGrid: Code the Table, Tabulate the Data. STAF Workshops 2016: 388-393
• 
  Peter Herrmann, Jan Olaf Blech:
  Formal Model-Based Development in Industrial Automation with Reactive Blocks. STAF Workshops 2016: 253-261
• 
  Ivaylo Hristakiev, Detlef Plump:
  Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. STAF Workshops 2016: 145-160
• 
  Julia Krämer, Heike Wehrheim:
  A Formal Approach to Error Localization and Correction in Service Compositions. STAF Workshops 2016: 445-457
• 
  Michael Löwe:
  SPO-Rewriting of Constrained Partial Algebras. STAF Workshops 2016: 129-144
• 
  Jorge Mendes, Kha N. Do, João Saraiva:
  Towards an Automated Classification of Spreadsheets. STAF Workshops 2016: 346-355
• 
  Paul Mireault:
  Implementing Nested FOR Loops as Spreadsheet Formulas. STAF Workshops 2016: 401-414
• 
  Marina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli:
  Context-Aware Design of Reflective Middleware in the Internet of Everything. STAF Workshops 2016: 423-435
• 
  Ricardo Moreira:
  SheetGit: A Tool for Collaborative Spreadsheet Development. STAF Workshops 2016: 415-420
• 
  Giovanni Pardini, Paolo Milazzo:
  A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. STAF Workshops 2016: 67-82
• 
  Daniël Reijsbergen:
  Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems. STAF Workshops 2016: 83-97
• 
  Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon:
  An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. STAF Workshops 2016: 303-316
• 
  Amleto Di Salle, Francesco Gallo, Claudio Pompilio:
  Composition of Advanced ( \mu )Services for the Next Generation of the Internet of Things. STAF Workshops 2016: 436-444
• 
  Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa:
  Fragment-Based Diagnosis of Spreadsheets. STAF Workshops 2016: 372-387

skipping 7 more matches