Matthias Weidlich

Available identifiers

zbMath Open weidlich.matthiasMaRDI QIDQ766171

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q3225723	2012-03-22	Paper
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition	2010-06-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthias Weidlich