Mathias Hülsbusch

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 3

Top Topics

Reactive Systems

Top Venues

Log. Methods Comput. Sci.

Publications

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