Mathias Hülsbusch

According to our database, Mathias Hülsbusch authored at least 10 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Conditional Bisimilarity for Reactive Systems.

Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow

Log. Methods Comput. Sci., 2022

2012

Towards Alternating Automata for Graph Languages.

H. J. Sander Bruggink, Mathias Hülsbusch, Barbara König

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Deriving Bisimulation Congruences for Conditional Reactive Systems.

Mathias Hülsbusch, Barbara König

Proceedings of the Foundations of Software Science and Computational Structures, 2012

A Coalgebraic Perspective on Minimization and Determinization.

Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

Application Conditions for Reactive Systems with Applications to Bisimulation Theory.

Mathias Hülsbusch

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages.

H. J. Sander Bruggink, Mathias Hülsbusch

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Conditional Reactive Systems.

H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010

Specification and Verification of Model Transformations.

Frank Hermann, Mathias Hülsbusch, Barbara König

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.

Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Bisimulation Theory for Graph Transformation Systems.

Mathias Hülsbusch

Proceedings of the Graph Transformations - 5th International Conference, 2010