Mathias Hülsbusch

12 papers B 5Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2022 J jnl
Conditional Bisimilarity for Reactive Systems.
Log. Methods Comput. Sci.
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 B conf
Conditional Bisimilarity for Reactive Systems.
FSCD
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 J jnl
Conditional Bisimilarity for Reactive Systems.
CoRR
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2012 B conf
A Coalgebraic Perspective on Minimization and Determinization.
FoSSaCS
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
2012 B conf
Deriving Bisimulation Congruences for Conditional Reactive Systems.
FoSSaCS
Mathias Hülsbusch, Barbara König
2012 J jnl
Towards Alternating Automata for Graph Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
H. J. Sander Bruggink, Mathias Hülsbusch, Barbara König
2011 J jnl
Application Conditions for Reactive Systems with Applications to Bisimulation Theory.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mathias Hülsbusch
2011 — conf
Conditional Reactive Systems.
FSTTCS
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König
2011 J jnl
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
H. J. Sander Bruggink, Mathias Hülsbusch
2010 B conf
Bisimulation Theory for Graph Transformation Systems.
ICGT
Mathias Hülsbusch
2010 B conf
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
IFM
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2010 J jnl
Specification and Verification of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frank Hermann, Mathias Hülsbusch, Barbara König