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 × Finland
1 × Japan
1 × The Netherlands
1 × USA
2 × Germany
2 × Italy
Collaborated with:
J.Niehren T.Glaß K.Stroetmann U.Wappler J.Dix D.Silver R.S.Sutton A.Podelski W.Charatonik J.Talbot R.Treinen
Talks about:
constraint (4) program (4) order (4) prolog (2) featur (2) logic (2) tree (2) base (2) set (2) transient (1)

Person: Martin Müller

DBLP DBLP: M=uuml=ller:Martin

Contributed to:

DATE 20082008
ICML 20082008
ESOP 19991999
LICS 19991999
LICS 19981998
RTA 19981998
SAS 19961996
ICLP 19941994

Wrote 9 papers:

Software Protection Mechanisms for Dependable Systems (UW, MM), pp. 947–952.
ICML-2008-SilverSM #learning
Sample-based learning and search with permanent and transient memories (DS, RSS, MM), pp. 968–975.
ESOP-1999-PodelskiCM #analysis #concurrent #constraints #logic programming #source code
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs (AP, WC, MM), pp. 177–192.
LICS-1999-NiehrenMT #constraints #set
Entailment of Atomic Set Constraints is PSPACE-Complete (JN, MM, JMT), pp. 285–294.
LICS-1998-MullerNT #constraints #first-order
The First-Order Theory of Ordering Constraints over Feature Trees (MM, JN, RT), pp. 432–443.
RTA-1998-MullerN #constraints #higher-order #logic #monad
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic (MM, JN), pp. 196–210.
SAS-1996-MullerGS #automation #composition #prolog #proving #source code #termination
Automated Modular Termination Proofs for Real Prolog Programs (MM, TG, KS), pp. 220–237.
SAS-1996-MullerGS96a #named #prolog
PAN — The Prolog Analyzer (MM, TG, KS), pp. 387–388.
ICLP-1994-DixM #approach #axiom #semantics #source code
An Axiomatic Approach to Semantics of Disjunctive Programs (JD, MM), pp. 303–320.

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.