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 × New Zealand
1 × USA
2 × France
Collaborated with:
M.D.D.Fabro P.Albert D.D.Q.Santos M.Iraqi-Houssaini L.Roucoules J.Bézivin
Talks about:
search (2) model (2) base (2) constraint (1) transform (1) platform (1) product (1) languag (1) control (1) mechan (1)

Person: Mathias Kleiner

DBLP DBLP: Kleiner:Mathias

Contributed to:

ECMFA 20132013
MoDELS 20112011
ECMFA 20102010
MoDELS 20092009

Wrote 4 papers:

Transformation as Search (MK, MDDF, DDQS), pp. 54–69.
MoDELS-2011-Iraqi-HoussainiKR #design #modelling
Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.
ECMFA-2010-KleinerFA #automation #constraints #formal method #platform #theorem proving
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
MoDELS-2009-KleinerAB #parsing
Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.

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.