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: M=uuml=ller:Martin
Contributed to:
2008
2008
1999
19991998
1998
1996
1994Wrote 9 papers:
- DATE-2008-WapplerM
- 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.