Matthias Weidlich

Available identifiers

Publication	Date of Publication	Type
Discovering event queries from traces: laying foundations for subsequence-queries with wildcards and gap-size constraints	2024-04-25	Paper
Discovering event queries from traces: laying foundations for subsequence-queries with wildcards and gap-size constraints	2024-04-23	Paper
Reasoning on the efficiency of distributed complex event processing	2021-11-15	Paper
Interleaving isotactics -- an equivalence notion on behaviour abstractions	2018-06-18	Paper
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems	2014-07-08	Paper
Net-based analysis of event processing networks -- the fast flower delivery case	2013-06-28	Paper
On profiles and footprints -- relational semantics for Petri nets	2012-09-04	Paper
Connectivity of workflow nets: The foundations of stepwise verification	2012-03-23	Paper
Causal behavioural profiles -- efficient computation, applications, and evaluation	2012-03-22	Paper
Efficient computation of causal behavioural profiles using structural decomposition	2010-06-22	Paper

This page was built for person: Matthias Weidlich