Norbert Th. Müller Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXishun Zhao, Norbert Th. Müller: Complexity of Operators on Compact Sets. Electr. Notes Theor. Comput. Sci. 202: 101-119 (2008)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller, Xishun Zhao: Jordan Areas and Grids. Electr. Notes Theor. Comput. Sci. 221: 191-206 (2008)
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco Brattka, Christiane Frougny, Norbert Th. Müller: Foreword. ITA 41(1): 1-2 (2007)
2005
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Implementing Exact Real Numbers Efficiently. CCA 2005: 378
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert 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
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreimut Brenner, Norbert Th. Müller: RESTAMP for the Estimation of Rare Event Probabilities in Systems with Multidimensional Parameter Spaces. MMB 2004: 135-144
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller, Freimut Brenner: Sojourn Times and Rare Events. Annual Simulation Symposium 2003: 259-265
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller: Novel Approaches to Numerical Software with Result Verification. Numerical Software with Result Verification 2003: 274-305
2002
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: The AACmethod for the Evaluation of Simulation Results. ESM 2002: 145-149
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Real Numbers and BDDs. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: The iRRAM: Exact Arithmetic in C++. CCA 2000: 222-252
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: An analysis of the LRE-Algorithm using Sojourn times. ESM 2000: 149-153
1999
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Computability on Random Variables. Theor. Comput. Sci. 219(1-2): 287-299 (1999)
1998
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Luckow, Norbert Th. Müller: Cascade: A Simple and Efficient Algorithm for Priority Queues. ESM 1998: 196-200
1996
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Towards a real Real RAM: a Prototype using C++. CCA 1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Luckow, Norbert Th. Müller: Cascade: A Simple and Efficient Algorithm for Priority Queues Universität Trier, Mathematik/Informatik, Forschungsbericht 94-15: (1994)
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Uniform Computational Complexity of Taylor Series. ICALP 1987: 435-444
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Th. Müller: Subpolynomial Complexity Classes of Real Functions and Real Numbers. ICALP 1986: 284-293

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)