Mathias Hlsbusch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FSCD | Conditional Bisimilarity for Reactive Systems. | Mathias Hlsbusch, Barbara Knig, Sebastian Kpper, Lara Stoltenow |
| 2012 | FOSSACS | A Coalgebraic Perspective on Minimization and Determinization. | Jir Admek, Filippo Bonchi, Mathias Hlsbusch, Barbara Knig, Stefan Milius, Alexandra Silva |
| 2012 | FOSSACS | Deriving Bisimulation Congruences for Conditional Reactive Systems. | Mathias Hlsbusch, Barbara Knig |
| 2010 | IFM | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. | Mathias Hlsbusch, Barbara Knig, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |