Mathias Weske

Available identifiers

zbMath Open weske.mathiasMaRDI QIDQ766172

List of research outcomes

Publication	Date of Publication	Type
Behavioural models. From modelling finite automata to analysing business processes	2018-03-28	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
A Look Around the Corner: The Pi-Calculus	2009-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q2772440	2002-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4317195	1994-12-15	Paper

Research outcomes over time

This page was built for person: Mathias Weske