Matthias Weidlich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Fundamenta Informaticae	2021-11-15	Paper
Interleaving isotactics -- an equivalence notion on behaviour abstractions Theoretical Computer Science	2018-06-18	Paper
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems Application and Theory of Petri Nets and Concurrency	2014-07-08	Paper
Net-based analysis of event processing networks -- the fast flower delivery case Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
On profiles and footprints -- relational semantics for Petri nets Lecture Notes in Computer Science	2012-09-04	Paper
Connectivity of workflow nets: The foundations of stepwise verification Acta Informatica	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 Applications and Theory of Petri Nets	2010-06-22	Paper

Research outcomes over time

This page was built for person: Matthias Weidlich