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: M=uuml=ller:J=uuml=rgen
Contributed to:
2009
1998
1990
1989Wrote 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.