Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Norbert Th. Müller
@article{DBLP:journals/tcs/BrausseKKM23,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
title = {The ksmt calculus is a \emph{{\(\delta\)}}-complete decision procedure
for non-linear constraints},
journal = {Theor. Comput. Sci.},
volume = {975},
pages = {114125},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114125},
doi = {10.1016/J.TCS.2023.114125},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrausseKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrausseKKM21,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {The ksmt Calculus Is a {\(\delta\)}-complete Decision Procedure for
Non-linear Constraints},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {113--130},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_7},
doi = {10.1007/978-3-030-79876-5\_7},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrausseKKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13269,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
title = {The ksmt calculus is a {\(\delta\)}-complete decision procedure for
non-linear constraints},
journal = {CoRR},
volume = {abs/2104.13269},
year = {2021},
url = {https://arxiv.org/abs/2104.13269},
eprinttype = {arXiv},
eprint = {2104.13269},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13269.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrausseKKM19,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Andreas Herzig and
Andrei Popescu},
title = {A CDCL-Style Calculus for Solving Non-linear Constraints},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {131--148},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_8},
doi = {10.1007/978-3-030-29007-8\_8},
timestamp = {Thu, 22 Aug 2019 12:42:11 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BrausseKKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09227,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
title = {A CDCL-style calculus for solving non-linear constraints},
journal = {CoRR},
volume = {abs/1905.09227},
year = {2019},
url = {http://arxiv.org/abs/1905.09227},
eprinttype = {arXiv},
eprint = {1905.09227},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TangZMCL17,
author = {Enyi Tang and
Xiangyu Zhang and
Norbert Th. M{\"{u}}ller and
Zhenyu Chen and
Xuandong Li},
title = {Software Numerical Instability Detection and Diagnosis by Combining
Stochastic and Infinite-Precision Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {10},
pages = {975--994},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2642956},
doi = {10.1109/TSE.2016.2642956},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TangZMCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MullerPP016,
author = {Norbert Th. M{\"{u}}ller and
Sewon Park and
Norbert Preining and
Martin Ziegler},
title = {On Formal Verification in Imperative Multivalued Programming over
Continuous Data Types},
journal = {CoRR},
volume = {abs/1608.05787},
year = {2016},
url = {http://arxiv.org/abs/1608.05787},
eprinttype = {arXiv},
eprint = {1608.05787},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MullerPP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/KawamuraMR015,
author = {Akitoshi Kawamura and
Norbert Th. M{\"{u}}ller and
Carsten R{\"{o}}snick and
Martin Ziegler},
title = {Computational benefit of smoothness: Parameterized bit-complexity
of numerical operators on analytic functions and Gevrey's hierarchy},
journal = {J. Complex.},
volume = {31},
number = {5},
pages = {689--714},
year = {2015},
url = {https://doi.org/10.1016/j.jco.2015.05.001},
doi = {10.1016/J.JCO.2015.05.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/KawamuraMR015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BrausseKM15,
author = {Franz Brau{\ss}e and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Towards Using Exact Real Arithmetic for Initial Value Problems},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {61--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_6},
doi = {10.1007/978-3-319-41579-6\_6},
timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BrausseKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrausseKM15,
author = {Franz Brau{\ss}e and
Margarita Vladimirovna Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Using Taylor Models in Exact Real Arithmetic},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {474--488},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_41},
doi = {10.1007/978-3-319-32859-1\_41},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/macis/BrausseKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/MullerZ14,
author = {Norbert Th. M{\"{u}}ller and
Martin Ziegler},
editor = {Hoon Hong and
Chee Yap},
title = {From Calculus to Algorithms without Errors},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {718--724},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_107},
doi = {10.1007/978-3-662-44199-2\_107},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/icms/MullerZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WeiTLMC14,
author = {Shuai Wei and
Enyi Tang and
Tianyu Liu and
Norbert Th. M{\"{u}}ller and
Zhenyu Chen},
title = {Automatic Numerical Analysis Based on Infinite-Precision Arithmetic},
booktitle = {Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
pages = {216--224},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE.2014.35},
doi = {10.1109/SERE.2014.35},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/WeiTLMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MullerU12,
author = {Norbert Th. M{\"{u}}ller and
Christian Uhrhan},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Some Steps into Verification of Exact Real Arithmetic},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {168--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_17},
doi = {10.1007/978-3-642-28891-3\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MullerU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4974,
author = {Akitoshi Kawamura and
Norbert Th. M{\"{u}}ller and
Carsten R{\"{o}}snick and
Martin Ziegler},
title = {Parameterized Uniform Complexity in Numerics: from Smooth to Analytic,
from NP-hard to Polytime},
journal = {CoRR},
volume = {abs/1211.4974},
year = {2012},
url = {http://arxiv.org/abs/1211.4974},
eprinttype = {arXiv},
eprint = {1211.4974},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-0401,
author = {Norbert Th. M{\"{u}}ller and
Margarita V. Korovina},
editor = {Xizhong Zheng and
Ning Zhong},
title = {Making big steps in trajectories},
booktitle = {Proceedings Seventh International Conference on Computability and
Complexity in Analysis, {CCA} 2010, Zhenjiang, China, 21-25th June
2010},
series = {{EPTCS}},
volume = {24},
pages = {106--119},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.24.15},
doi = {10.4204/EPTCS.24.15},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MullerZ08,
author = {Norbert Th. M{\"{u}}ller and
Xishun Zhao},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Jordan Areas and Grids},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {191--206},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.017},
doi = {10.1016/J.ENTCS.2008.12.017},
timestamp = {Fri, 17 Feb 2023 10:51:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MullerZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BrattkaFM07,
author = {Vasco Brattka and
Christiane Frougny and
Norbert Th. M{\"{u}}ller},
title = {Foreword},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {41},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1051/ita:2007001},
doi = {10.1051/ITA:2007001},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BrattkaFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhaoM08,
author = {Xishun Zhao and
Norbert Th. M{\"{u}}ller},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Complexity of Operators on Compact Sets},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {101--119},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.011},
doi = {10.1016/J.ENTCS.2008.03.011},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhaoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MullerEZ05,
author = {Norbert Th. M{\"{u}}ller and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Paul Zimmermann},
title = {Guest editors' introduction: Special issue on practical development
of exact real number computation},
journal = {J. Log. Algebraic Methods Program.},
volume = {64},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.07.001},
doi = {10.1016/J.JLAP.2004.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MullerEZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller05,
author = {Norbert Th. M{\"{u}}ller},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Implementing Exact Real Numbers Efficiently},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {378},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/BrennerM04,
author = {Freimut Brenner and
Norbert Th. M{\"{u}}ller},
editor = {Peter Buchholz and
Ralf Lehnert and
Michal Pi{\'{o}}ro},
title = {{RESTAMP} for the Estimation of Rare Event Probabilities in Systems
with Multidimensional Parameter Spaces},
booktitle = {{MMB} {\&} {PGTS} 2004, 12th {GI/ITG} Conference on Measuring
and Evaluation of Computer and Communication Systems {(MMB)} together
with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15,
2004, Dresden, Germany},
pages = {135--144},
publisher = {{VDE} Verlag},
year = {2004},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/mmb/BrennerM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/MullerB03,
author = {Norbert Th. M{\"{u}}ller and
Freimut Brenner},
title = {Sojourn Times and Rare Events},
booktitle = {Proceedings 36th Annual Simulation Symposium {(ANSS-36} 2003), Orlando,
Florida, USA, March 30 - April 2, 2003},
pages = {259--265},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SIMSYM.2003.1192821},
doi = {10.1109/SIMSYM.2003.1192821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/MullerB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GranvilliersKM03,
author = {Laurent Granvilliers and
Vladik Kreinovich and
Norbert Th. M{\"{u}}ller},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Novel Approaches to Numerical Software with Result Verification},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {274--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_17},
doi = {10.1007/978-3-540-24738-8\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GranvilliersKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/Muller02,
author = {Norbert Th. M{\"{u}}ller},
editor = {Krzysztof Amborski and
Hermann Meuth},
title = {The AA\({}^{\mbox{C}}\)method for the Evaluation of Simulation Results},
booktitle = {16\({}^{\mbox{th}}\) European Simulation Multiconference: Modelling
and Simulation 2002, June 3-5, 2002, Fachhochschule Darmstadt, Darmstadt,
Germany},
pages = {145--149},
publisher = {{SCS} Europe},
year = {2002},
timestamp = {Tue, 05 Nov 2002 10:53:44 +0100},
biburl = {https://dblp.org/rec/conf/esm/Muller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Muller02,
author = {Norbert Th. M{\"{u}}ller},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Real Numbers and BDDs},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {139--153},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80385-2},
doi = {10.1016/S1571-0661(04)80385-2},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Muller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller00,
author = {Norbert Th. M{\"{u}}ller},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The iRRAM: Exact Arithmetic in {C++}},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {222--252},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_14},
doi = {10.1007/3-540-45335-0\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/Muller00,
author = {Norbert Th. M{\"{u}}ller},
editor = {Rik Van Landeghem},
title = {An analysis of the LRE-Algorithm using Sojourn times},
booktitle = {14\({}^{\mbox{th}}\) European Simulation Multiconference - Simulation
and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000,
Ghent, Belgium},
pages = {149--153},
publisher = {{SCS} Europe},
year = {2000},
timestamp = {Tue, 05 Nov 2002 10:53:41 +0100},
biburl = {https://dblp.org/rec/conf/esm/Muller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Muller99,
author = {Norbert Th. M{\"{u}}ller},
title = {Computability on Random Variables},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {287--299},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00292-8},
doi = {10.1016/S0304-3975(98)00292-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Muller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmb/1999,
editor = {Dieter Baum and
Norbert Th. M{\"{u}}ller and
Richard R{\"{o}}dler},
title = {{MMB} '99, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
Vortr{\"{a}}ge der 10. GI/NTG-Fachtagung, 22.-24. September 1999,
Trier},
publisher = {{VDE} Verlag GmbH, Berlin, Offenbach},
year = {1999},
isbn = {3-8007-2472-3},
timestamp = {Thu, 24 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmb/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:tr/trier/MI99-17,
editor = {Dieter Baum and
Norbert Th. M{\"{u}}ller and
Richard R{\"{o}}dler},
title = {{MMB} '99, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
10. GI/NTG-Fachtagung, 22.-24. September 1999, Trier, Kurzbeitr{\"{a}}ge
und Toolbeschreibungen},
series = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {99-16},
year = {1999},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI99-17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/LuckowM98,
author = {Martin Luckow and
Norbert Th. M{\"{u}}ller},
editor = {Richard N. Zobel and
Dietmar P. F. M{\"{o}}ller},
title = {Cascade: {A} Simple and Efficient Algorithm for Priority Queues},
booktitle = {12\({}^{\mbox{th}}\) European Simulation Multiconference - Simulation
- Past, Present and Future, June 16-19, 1998, Machester, United Kingdom},
pages = {196--200},
publisher = {{SCS} Europe},
year = {1998},
timestamp = {Tue, 14 Jan 2003 13:43:29 +0100},
biburl = {https://dblp.org/rec/conf/esm/LuckowM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller96,
author = {Norbert Th. M{\"{u}}ller},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Towards a real Real {RAM:} a Prototype using {C++}},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/mueller.ps},
timestamp = {Tue, 30 Jul 2019 14:53:11 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/1996,
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/index.html},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI96-46,
author = {Jens Hofmann and
Norbert Th. M{\"{u}}ller and
Kasyap Natarajan},
title = {Parallel versus Sequential Task-Processing: {A} New Performance Model
in Discrete Time},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {96-46},
year = {1996},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI96-46.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI94-15,
author = {Martin Luckow and
Norbert Th. M{\"{u}}ller},
title = {Cascade: {A} Simple and Efficient Algorithm for Priority Queues},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {94-15},
year = {1994},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI94-15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Muller87,
author = {Norbert Th. M{\"{u}}ller},
editor = {Thomas Ottmann},
title = {Uniform Computational Complexity of Taylor Series},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {435--444},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_37},
doi = {10.1007/3-540-18088-5\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Muller87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Muller86,
author = {Norbert Th. M{\"{u}}ller},
editor = {Laurent Kott},
title = {Subpolynomial Complexity Classes of Real Functions and Real Numbers},
booktitle = {Automata, Languages and Programming, 13th International Colloquium,
ICALP86, Rennes, France, July 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {226},
pages = {284--293},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16761-7\_78},
doi = {10.1007/3-540-16761-7\_78},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Muller86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
