Norbert Th. Müller

	2012
22		Norbert Th. Müller, Christian Uhrhan: Some Steps into Verification of Exact Real Arithmetic. NASA Formal Methods 2012: 168-173
	2010
21		Norbert Th. Müller, Margarita V. Korovina: Making big steps in trajectories CCA 2010: 106-119
	2008
20		Xishun Zhao, Norbert Th. Müller: Complexity of Operators on Compact Sets. Electr. Notes Theor. Comput. Sci. 202: 101-119 (2008)
19		Norbert Th. Müller, Xishun Zhao: Jordan Areas and Grids. Electr. Notes Theor. Comput. Sci. 221: 191-206 (2008)
	2007
18		Vasco Brattka, Christiane Frougny, Norbert Th. Müller: Foreword. ITA 41(1): 1-2 (2007)
	2005
17		Norbert Th. Müller: Implementing Exact Real Numbers Efficiently. CCA 2005: 378
16		Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann: Guest editors' introduction: Special issue on practical development of exact real number computation. J. Log. Algebr. Program. 64(1): 1-2 (2005)
	2004
15		Freimut Brenner, Norbert Th. Müller: RESTAMP for the Estimation of Rare Event Probabilities in Systems with Multidimensional Parameter Spaces. MMB 2004: 135-144
	2003
14		Norbert Th. Müller, Freimut Brenner: Sojourn Times and Rare Events. Annual Simulation Symposium 2003: 259-265
13		Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller: Novel Approaches to Numerical Software with Result Verification. Numerical Software with Result Verification 2003: 274-305
	2002
12		Norbert Th. Müller: The AACmethod for the Evaluation of Simulation Results. ESM 2002: 145-149
11		Norbert Th. Müller: Real Numbers and BDDs. Electr. Notes Theor. Comput. Sci. 66(1): 139-153 (2002)
	2000
10		Norbert Th. Müller: The iRRAM: Exact Arithmetic in C++. CCA 2000: 222-252
9		Norbert Th. Müller: An analysis of the LRE-Algorithm using Sojourn times. ESM 2000: 149-153
	1999
8		Dieter Baum, Norbert Th. Müller, Richard Rödler: MMB '99, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 10. GI/NTG-Fachtagung, 22.-24. September 1999, Trier, Kurzbeiträge und Toolbeschreibungen MMB (Kurzvorträge) 1999
7		Norbert Th. Müller: Computability on Random Variables. Theor. Comput. Sci. 219(1-2): 287-299 (1999)
	1998
6		Martin Luckow, Norbert Th. Müller: Cascade: A Simple and Efficient Algorithm for Priority Queues. ESM 1998: 196-200
	1996
5		Norbert Th. Müller: Towards a real Real RAM: a Prototype using C++. CCA 1996
4		Jens Hofmann, Norbert Th. Müller, Kasyap Natarajan: Parallel versus Sequential Task-Processing: A New Performance Model in Discrete Time Universität Trier, Mathematik/Informatik, Forschungsbericht 96-46: (1996)
	1994
3		Martin Luckow, Norbert Th. Müller: Cascade: A Simple and Efficient Algorithm for Priority Queues Universität Trier, Mathematik/Informatik, Forschungsbericht 94-15: (1994)
	1987
2		Norbert Th. Müller: Uniform Computational Complexity of Taylor Series. ICALP 1987: 435-444
	1986
1		Norbert Th. Müller: Subpolynomial Complexity Classes of Real Functions and Real Numbers. ICALP 1986: 284-293

Coauthor Index

1	Dieter Baum	[8]
2	Vasco Brattka	[18]
3	Freimut Brenner	[14] [15]
4	Martín Hötzel Escardó	[16]
5	Christiane Frougny	[18]
6	Laurent Granvilliers	[13]
7	Jens Hofmann	[4]
8	Margarita V. Korovina	[21]
9	Vladik Kreinovich	[13]
10	Martin Luckow	[3] [6]
11	Kasyap Natarajan	[4]
12	Richard Rödler	[8]
13	Christian Uhrhan	[22]
14	Xishun Zhao	[19] [20]
15	Paul Zimmermann	[16]

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