default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated to Frits W. Vaandrager on the Occasion of His 60th Birthday, 2022
- Nils Jansen
, Mariëlle Stoelinga, Petra van den Bos:
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13560, Springer 2022, ISBN 978-3-031-15628-1 - Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir:
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. 1-26 - Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. 27-45 - Henk Barendregt, Antonino Raffone:
Axiomatizing Consciousness with Applications. 46-62 - Jan A. Bergstra, John V. Tucker:
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. 63-80 - Benedikt Bollig, Martin Leucker, Daniel Neider:
A Survey of Model Learning Techniques for Recurrent Neural Networks. 81-97 - Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. 98-115 - Rance Cleaveland:
Better Automata Through Process Algebra. 116-136 - Carlos Diego Nascimento Damasceno, Daniel Strüber:
Family-Based Fingerprint Analysis: A Position Paper. 137-150 - Ansgar Fehnker:
What's in School? - Topic Maps for Secondary School Computer Science. 151-163 - Tiago Ferreira, Gerco van Heerdt, Alexandra Silva:
Tree-Based Adaptive Model Learning. 164-179 - Markus Frohme, Bernhard Steffen:
From Languages to Behaviors and Back. 180-200 - Martin Fränzle:
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. 201-212 - Hubert Garavel, Frédéric Lang:
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. 213-265 - Herman Geuvers:
Apartness and Distinguishing Formulas in Hennessy-Milner Logic. 266-282 - Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis:
Playing Wordle with Uppaal Stratego. 283-305 - 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. 306-320 - Falk Howar, Bernhard Steffen:
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. 321-338 - Bart Jacobs:
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. 339-357 - David N. Jansen, Xinxin Liu:
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. 358-370 - Sebastian Junges, Jurriaan Rot:
Learning Language Intersections. 371-381 - Ivan Kurtev, Jozef Hooman:
Runtime Verification of Compound Components with ComMA. 382-402 - Nancy A. Lynch, Cameron Musco:
A Basic Compositional Model for Spiking Neural Networks. 403-449 - Joshua Moerman, Thorsten Wißmann:
State Identification and Verification with Satisfaction. 450-466 - Saidgani Musaev, Wan J. Fokkink:
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. 467-471 - Alex Thieme, Twan Basten:
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. 472-490 - Jan Tretmans, Ramon Janssen:
Goodbye ioco. 491-511 - Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Process Algebras and Flocks of Birds. 512-523 - Petra van den Bos, Marieke Huisman:
The Integration of Testing and Program Verification - A Position Paper. 524-538 - Wil M. P. van der Aalst:
Discovering Directly-Follows Complete Petri Nets from Event Data. 539-558 - Rob van Glabbeek:
Fair Must Testing for I/O Automata. 559-574 - Hans Zantema:
Passive Automata Learning: DFAs and NFAs. 575-580
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
