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

• 2022
• 
  Wil M. P. van der Aalst:
  Discovering Directly-Follows Complete Petri Nets from Event Data. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 539-558
• 
  Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir:
  Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 1-26
• 
  Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
  Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 27-45
• 
  Henk Barendregt, Antonino Raffone:
  Axiomatizing Consciousness with Applications. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 46-62
• 
  Jan A. Bergstra, John V. Tucker:
  Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 63-80
• 
  Benedikt Bollig, Martin Leucker, Daniel Neider:
  A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 81-97
• 
  Petra van den Bos, Marieke Huisman:
  The Integration of Testing and Program Verification - A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 524-538
• 
  Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
  Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 98-115
• 
  Rance Cleaveland:
  Better Automata Through Process Algebra. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 116-136
• 
  Carlos Diego Nascimento Damasceno, Daniel Strüber:
  Family-Based Fingerprint Analysis: A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 137-150
• 
  Ansgar Fehnker:
  What's in School? - Topic Maps for Secondary School Computer Science. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 151-163
• 
  Tiago Ferreira, Gerco van Heerdt, Alexandra Silva:
  Tree-Based Adaptive Model Learning. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 164-179
• 
  Martin Fränzle:
  The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 201-212
• 
  Markus Frohme, Bernhard Steffen:
  From Languages to Behaviors and Back. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 180-200
• 
  Hubert Garavel, Frédéric Lang:
  Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 213-265
• 
  Herman Geuvers:
  Apartness and Distinguishing Formulas in Hennessy-Milner Logic. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 266-282
• 
  Rob van Glabbeek:
  Fair Must Testing for I/O Automata. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 559-574
• 
  Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse:
  Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 306-320
• 
  Falk Howar, Bernhard Steffen:
  Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 321-338
• 
  Bart Jacobs:
  A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 339-357
• 
  David N. Jansen, Xinxin Liu:
  Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 358-370
• 
  Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis:
  Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 283-305
• 
  Sebastian Junges, Jurriaan Rot:
  Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 371-381
• 
  Ivan Kurtev, Jozef Hooman:
  Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 382-402
• 
  Nancy A. Lynch, Cameron Musco:
  A Basic Compositional Model for Spiking Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 403-449
• 
  Joshua Moerman, Thorsten Wißmann:
  State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 450-466
• 
  Saidgani Musaev, Wan J. Fokkink:
  A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 467-471
• 
  Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
  Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 512-523
• 
  Alex Thieme, Twan Basten:
  Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 472-490
• 
  Jan Tretmans, Ramon Janssen:
  Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 491-511

skipping 2 more matches