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 × Germany
1 × Italy
1 × USA
Collaborated with:
A.Habel D.Plump J.Avenhaus J.Denzinger J.Krüger S.Enderlein M.Helmich A.Zeier F.Baader B.Nebel W.Nutt G.Smolka
Talks about:
represent (1) enterpris (1) theopogl (1) techniqu (1) approach (1) theorem (1) softwar (1) pushout (1) languag (1) environ (1)

Person: Jürgen Müller

DBLP DBLP: M=uuml=ller:J=uuml=rgen

Contributed to:

Post-ICEIS 20092009
TAGT 19981998
CADE 19901990
RTA 19891989

Wrote 4 papers:

ICEIS-J-2009-MullerKEHZ #as a service #enterprise #multitenancy
Customizing Enterprise Software as a Service Applications: Back-End Extension in a Multi-tenancy Environment (JM, JK, SE, MH, AZ), pp. 66–77.
TAGT-1998-HabelMP #approach #injection
Double-Pushout Approach with Injective Matching (AH, JM, DP), pp. 103–116.
CADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
RTA-1989-AvenhausDM #named #performance #proving #theorem proving
THEOPOGLES — An efficient Theorem Prover based on Rewrite-Techniques (JA, JD, JM), pp. 538–541.

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.