Mathias Hülsbusch

From MaRDI portal
Person:2892758



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!

PublicationDate of PublicationType
Conditional bisimilarity for reactive systems2026-02-24Paper
scientific article; zbMATH DE number 7471695 (Why is no real title available?)
(available as arXiv preprint)
2022-02-09Paper
scientific article; zbMATH DE number 7471695 (Why is no real title available?)2022-02-09Paper
Conditional reactive systems2012-08-31Paper
A Coalgebraic Perspective on Minimization and Determinization
Foundations of Software Science and Computational Structures
2012-06-22Paper
Deriving Bisimulation Congruences for Conditional Reactive Systems
Foundations of Software Science and Computational Structures
2012-06-22Paper


Research outcomes over time


This page was built for person: Mathias Hülsbusch