Martin Müller

other persons with the same name:

• Martin Müller 0002
• Martin Müller 0003 - University of Alberta, Canada
• Martin Müller 0004
• Martin Müller 0005

	2012
c16		Britt Foese, Enrico Gutzeit, Martin Müller, Jörg Voskamp: AFoRS - Automatisierter Fotogrammetrischer Rohholz-Vermessungs-Service. GIL Jahrestagung 2012: 91-94
	2007
j6		Martin Müller, Stefan Seuring: Reducing information technology-based transaction costs in supply chains. Industrial Management and Data Systems 107(4): 484-500 (2007)
	2001
j5		Martin Müller, Joachim Niehren, Ralf Treinen: The first-order theory of ordering constraints over feature trees. Discrete Mathematics & Theoretical Computer Science 4(2): 193-234 (2001)
	2000
j4		Martin Müller, Joachim Niehren, Andreas Podelski: Ordering Constraints over Feature Trees. Constraints 5(1/2): 7-41 (2000)
j3		Martin Müller, Joachim Niehren: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. Inf. Comput. 159(1-2): 22-58 (2000)
j2		Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. Int. J. Found. Comput. Sci. 11(1): 29-63 (2000)
	1999
b1		Jacob Schröder, Martin Müller: Webserver betreiben - HTTP und Apache: Grundlagen, Konzepte und Lösungen. dpunkt 1999, isbn 978-3-932588-00-6, pp. I-XII, 1-353
c15		Andreas Podelski, Witold Charatonik, Martin Müller: Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. ESOP 1999: 177-192
c14		Joachim Niehren, Martin Müller, Jean-Marc Talbot: Entailment of Atomic Set Constraints is PSPACE-Complete. LICS 1999: 285-294
	1998
c13		Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. ASIAN 1998: 169-187
c12		Martin Müller, Joachim Niehren, Ralf Treinen: The First-Order Theory of Ordering Constraints over Feature Trees. LICS 1998: 432-443
c11		Martin Müller, Joachim Niehren: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. RTA 1998: 196-210
	1997
c10		Martin Müller, Joachim Niehren, Andreas Podelski: Ordering Constraints over Feature Trees. CP 1997: 297-311
c9		Martin Müller, Joachim Niehren, Andreas Podelski: Inclusion Constraints over Non-empty Sets of Trees. TAPSOFT 1997: 345-356
c8		Tobias Müller, Martin Müller: Finite Set Intervals in Oz. WLP 1997: 17-19
	1996
j1		Martin Müller, Gert Smolka: Oz: nebenläufige Programmierung mit Constraints. KI 10(3): 55-61 (1996)
c7		Raouf Hamzaoui, Martin Müller, Dietmar Saupe: VQ-enhanced fractal image compression. ICIP (1) 1996: 153-156
	1995
c6		Joachim Niehren, Martin Müller: Constraints for Free in Concurrent Computation. ASIAN 1995: 171-186
i1		Martin Müller, Joachim Niehren: Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm. CoRR abs/cmp-lg/9506002 (1995)
	1994
c5		Jürgen Dix, Martin Müller: An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP 1994: 303-320
c4		Jürgen Dix, Martin Müller: Partial Evaluation and Relevance for Approximations of Stable Semantics. ISMIS 1994: 511-520
c3		Jürgen Dix, Martin Müller: The Stable Semantics and its Variants: A Comparison of Recent Approaches. KI 1994: 82-93
	1993
c2		Martin Müller, Jürgen Dix: Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59
	1992
c1		Jürgen Dix, Martin Müller: Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 15-28

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 10:36:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page