Olaf Burkart

Available identifiers

zbMath Open burkart.olafMaRDI QIDQ1377903

List of research outcomes

Publication	Date of Publication	Type
Bisimulation collapse and the process taxonomy	2023-06-28	Paper
Model checking the full modal mu-calculus for infinite sequential processes	2018-07-04	Paper
An elementary bisimulation decision procedure for arbitrary context-free processes	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2760246	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790409	2001-01-01	Paper
Model checking the full modal mu-calculus for infinite sequential processes	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4223065	1999-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4222871	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222875	1998-12-20	Paper
Automatic verification of sequential infinite-state processes	1998-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4355677	1997-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4847017	1996-05-28	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: Olaf Burkart