BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: H=uuml=lsbusch:Mathias

Contributed to:

FOSSACS 20122012
GT-VMT 20122012
GT-VMT 20112011
ICGT 20102010
IFM 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.