Martin Müller

other persons with the same name:

• Martin Müller
• Martin Müller
• Martin Müller
• Martin Müller - University of Alberta, Canada

	2012
23		Britt Foese, Enrico Gutzeit, Martin Müller, Jörg Voskamp: AFoRS - Automatisierter Fotogrammetrischer Rohholz-Vermessungs-Service. GIL Jahrestagung 2012: 91-94
	2007
22		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
21		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
20		Martin Müller, Joachim Niehren, Andreas Podelski: Ordering Constraints over Feature Trees. Constraints 5(1/2): 7-41 (2000)
19		Martin Müller, Joachim Niehren: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. Inf. Comput. 159(1-2): 22-58 (2000)
18		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
17		Jacob Schröder, Martin Müller: Webserver betreiben - HTTP und Apache: Grundlagen, Konzepte und Lösungen. dpunkt 1999: I-XII, 1-353
16		Andreas Podelski, Witold Charatonik, Martin Müller: Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. ESOP 1999: 177-192
15		Joachim Niehren, Martin Müller, Jean-Marc Talbot: Entailment of Atomic Set Constraints is PSPACE-Complete. LICS 1999: 285-294
	1998
14		Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. ASIAN 1998: 169-187
13		Martin Müller, Joachim Niehren, Ralf Treinen: The First-Order Theory of Ordering Constraints over Feature Trees. LICS 1998: 432-443
12		Martin Müller, Joachim Niehren: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. RTA 1998: 196-210
	1997
11		Martin Müller, Joachim Niehren, Andreas Podelski: Ordering Constraints over Feature Trees. CP 1997: 297-311
10		Martin Müller, Joachim Niehren, Andreas Podelski: Inclusion Constraints over Non-empty Sets of Trees. TAPSOFT 1997: 345-356
9		Tobias Müller, Martin Müller: Finite Set Intervals in Oz. WLP 1997: 17-19
	1996
8		Martin Müller, Gert Smolka: Oz: nebenläufige Programmierung mit Constraints. KI 10(3): 55-61 (1996)
	1995
7		Joachim Niehren, Martin Müller: Constraints for Free in Concurrent Computation. ASIAN 1995: 171-186
6		Martin Müller, Joachim Niehren: Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm CoRR abs/cmp-lg/9506002: (1995)
	1994
5		Jürgen Dix, Martin Müller: An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP 1994: 303-320
4		Jürgen Dix, Martin Müller: Partial Evaluation and Relevance for Approximations of Stable Semantics. ISMIS 1994: 511-520
3		Jürgen Dix, Martin Müller: The Stable Semantics and its Variants: A Comparison of Recent Approaches. KI 1994: 82-93
	1993
2		Martin Müller, Jürgen Dix: Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59
	1992
1		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

1	Witold Charatonik	[16]
2	Jürgen Dix	[1] [2] [3] [4] [5]
3	Britt Foese	[23]
4	Enrico Gutzeit	[23]
5	Tobias Müller	[9]
6	Joachim Niehren	[6] [7] [10] [11] [12] [13] [15] [19] [20] [21]
7	Susumu Nishimura	[14] [18]
8	Andreas Podelski	[10] [11] [16] [20]
9	Jacob Schröder	[17]
10	Stefan Seuring	[22]
11	Gert Smolka	[8]
12	Jean-Marc Talbot	[15]
13	Ralf Treinen	[13] [21]
14	Jörg Voskamp	[23]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page