Travelled to:1 × Estonia
1 × France
1 × The Netherlands
Collaborated with:B.König H.J.S.Bruggink ∅ J.Adámek F.Bonchi S.Milius A.Silva A.Rensink M.Semenyak C.Soltenborn H.Wehrheim
Talks about:graph (3) transform (2) languag (2) bisimul (2) system (2) comparison (1) represent (1) congruenc (1) coalgebra (1) techniqu (1)
Person: Mathias Hülsbusch
DBLP: H=uuml=lsbusch:Mathias
Contributed to:
2012
20122011
2010
2010Wrote 6 papers:
- FoSSaCS-2012-AdamekBHKMS #algebra
- A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.
- FoSSaCS-2012-HulsbuschK #bisimulation
- Deriving Bisimulation Congruences for Conditional Reactive Systems (MH, BK), pp. 361–375.
- GT-VMT-2012-BrugginkHK #automaton #graph #towards
- Towards Alternating Automata for Graph Languages (HJSB, MH, BK).
- GT-VMT-2011-BrugginkH #decidability #graph
- Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).
- ICGT-2010-Hulsbusch #bisimulation #graph transformation
- Bisimulation Theory for Graph Transformation Systems (MH), pp. 391–393.
- IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics
- Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.