Martin Ziegler

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 30

Top Venues

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Klaus Meer, Martin Ziegler
Software Testing in Computable Analysis. UCNC (2024)
Ivan Koswara, Gleb Pogudin, Svetlana Selivanova, Martin Ziegler
Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. J. Complex. 76 (2023)
Donghyun Lim, Martin Ziegler
Degrees of Second and Higher-Order Polynomials. CoRR (2023)
Franz Brauße, Pieter Collins, Martin Ziegler
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. CASC (2022)
Ivan Koswara, Gleb Pogudin, Svetlana Selivanova, Martin Ziegler
Bit-Complexity of Solving Systems of Linear Evolutionary Partial Differential Equations. CSR (2021)
Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. CASC (2021)
Arno Pauly, Dongseong Seon, Martin Ziegler
Computing Haar Measures. CSL (2020)
Donghyun Lim, Martin Ziegler
A Quantitative Multivalued Selection Theorem for Encoding Spaces of Continuum Cardinality. CoRR (2020)
Shu-Ming Sun, Ning Zhong, Martin Ziegler
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation. Complexity and Approximation (2020)
Donghyun Lim, Martin Ziegler
Quantitative Coding and Complexity Theory of Compact Metric Spaces. CiE (2020)
Arno Pauly, Dongseong Seon, Martin Ziegler
Computing Haar Measures. CoRR (2019)
Ivan Koswara, Svetlana Selivanova, Martin Ziegler
Computational Complexity of Real Powering and Improved Solving Linear Differential Equations. CSR (2019)
Willem L. Fouché, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, Martin Ziegler
Randomized Computation of Continuous Data: Is Brownian Motion Computable? CoRR (2019)
Akitoshi Kawamura, Martin Ziegler
Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs. CoRR (2018)
Junhee Cho, Sewon Park, Martin Ziegler
Computing Periods ... . WALCOM (2018)
Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler
Quantitatively Admissible Representations and the "Main Theorem" of Type-2 COMPLEXITY Theory. CoRR (2018)
Akitoshi Kawamura, Holger Thies, Martin Ziegler
Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. MFCS (2018)
Chansu Park, Ji-won Park, Sewon Park, Dongseong Seon, Martin Ziegler
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization. CoRR (2017)
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
On the computational complexity of the Dirichlet Problem for Poisson's Equation. Math. Struct. Comput. Sci. 27 (8) (2017)
Andrej Bauer, Ulrich Berger, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). J. Log. Anal. 9 (2017)
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types. CoRR (2016)
Christian Herrmann, Martin Ziegler
Computational Complexity of Quantum Satisfiability. J. ACM 63 (2) (2016)
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
Complexity Theory of (Functions on) Compact Metric Spaces. LICS (2016)
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. CiE (2016)
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
On the consistency problem for modular lattices and related structures. Int. J. Algebra Comput. 26 (8) (2016)
Hugo Férée, Martin Ziegler
[0;1]. MACIS (2015)
Shu-Ming Sun, Ning Zhong, Martin Ziegler
On Computability of Navier-Stokes' Equation. CiE (2015)
Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy. J. Complex. 31 (5) (2015)
Matthias Schröder, Florian Steinberg, Martin Ziegler
Average-Case Bit-Complexity Theory of Real Functions. MACIS (2015)
Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick, Martin Ziegler
Computational Complexity of Smooth Differential Equations. Log. Methods Comput. Sci. 10 (1) (2014)
Norbert Th. Müller, Martin Ziegler
From Calculus to Algorithms without Errors. ICMS (2014)
Matthias Englert, Sandra Siebert, Martin Ziegler
Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons. CoRR (2014)
Arno Pauly, Martin Ziegler
Relative computability and uniform continuity of relations. J. Log. Anal. 5 (2013)
Christian Herrmann, Johanna Sokoli, Martin Ziegler
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. MCU (2013)
Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler
Real Benefit of Promises and Advice. CiE (2013)
Martin Ziegler
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra. Ann. Pure Appl. Log. 163 (8) (2012)
Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick, Martin Ziegler
Computational Complexity of Smooth Differential Equations. MFCS (2012)
Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime CoRR (2012)
Tobias Gärtner, Martin Ziegler
Real Analytic Machines and Degrees: A Topological View on Algebraic Limiting Computation. Log. Methods Comput. Sci. 7 (3) (2011)
Christian Herrmann, Martin Ziegler
Computational Complexity of Quantum Satisfiability. LICS (2011)
Tobias Gärtner, Martin Ziegler
Real Analytic Machines and Degrees CCA (2011)
Christian Herrmann, Martin Ziegler
Expressiveness and Computational Complexity of Geometric Quantum Logic CoRR (2010)
Martin Ziegler
Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability. CCA (2009)
Florentin Neumann, Andrea Reichenberger, Martin Ziegler
Variations of the Turing Test in the Age of Internet and Virtual Reality CoRR (2009)
Martin Ziegler
Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics. Appl. Math. Comput. 215 (4) (2009)
Matthias Fischer, Claudius Jähn, Martin Ziegler
Adaptive Mesh Approach for Predicting Algorithm Behavior with Application to Visibility Culling in Computer Graphics CoRR (2009)
Florentin Neumann, Andrea Reichenberger, Martin Ziegler
Variations of the Turing Test in the Age of Internet and Virtual Reality. KI (2009)
Klaus Meer, Martin Ziegler
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation. Found. Comput. Math. 9 (5) (2009)
Stéphane Le Roux, Martin Ziegler
Singular Coverings and Non-Uniform Notions of Closed Set Computability. Electron. Notes Theor. Comput. Sci. 202 (2008)
Stéphane Le Roux, Martin Ziegler
Singular coverings and non-uniform notions of closed set computability. Math. Log. Q. 54 (5) (2008)
M. Reza Emamy-Khansary, Martin Ziegler
On the coverings of the d-cube for d<=6. Discret. Appl. Math. 156 (17) (2008)
Matthias Fischer, Matthias Hilbig, Claudius Jähn, Friedhelm Meyer auf der Heide, Martin Ziegler
Planar Visibility Counting CoRR (2008)
Martin Ziegler
Real Computation with Few Discrete Advice: A Complexity Theory of Nonuniform Computability CoRR (2008)
Martin Ziegler, Wouter M. Koolen
Kolmogorov Complexity Theory over the Reals. Electron. Notes Theor. Comput. Sci. 221 (2008)
Martin Ziegler, Wouter M. Koolen
Kolmogorov Complexity Theory over the Reals CoRR (2008)
Klaus Meer, Martin Ziegler
An explicit solution to Post's Problem over the reals. J. Complex. 24 (1) (2008)
Katharina Lürwer-Brüggemeier, Martin Ziegler
On Faster Integer Calculations Using Non-arithmetic Primitives. UC (2008)
Martin Ziegler
Physically-Relativized Church-Turing Hypotheses CoRR (2008)
Martin Ziegler
Real Hypercomputation and Continuity. Theory Comput. Syst. 41 (1) (2007)
Martin Ziegler
(Short) Survey of Real Hypercomputation. CiE (2007)
Katharina Lürwer-Brüggemeier, Martin Ziegler
On Faster Integer Calculations using Non-Arithmetic Primitives CoRR (2007)
Klaus Meer, Martin Ziegler
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation. MFCS (2007)
Martin Ziegler
Revising Type-2 Computation and Degrees of Discontinuity. Electron. Notes Theor. Comput. Sci. 167 (2007)
Christian Schindelhauer, Klaus Volbert, Martin Ziegler
Geometric spanners with applications in wireless networks. Comput. Geom. 36 (3) (2007)
Klaus Meer, Martin Ziegler
An Explicit Solution to Post's Problem over the Reals CoRR (2006)
Klaus Meer, Martin Ziegler
Real Computational Universality: The Word Problem for a class of groups with infinite presentation. Algorithms and Complexity for Continuous Problems (2006)
Klaus Meer, Martin Ziegler
Uncomputability Below the Real Halting Problem. CiE (2006)
Martin Ziegler
Revising Type-2 Computation and Degrees of Discontinuity CoRR (2006)
Martin Ziegler, Klaus Meer
Real Computational Universality: The Word Problem for a class of groups with infinite presentation CoRR (2006)
Martin Ziegler
Stability versus speed in a computable algebraic model. Theor. Comput. Sci. 351 (1) (2006)
Stéphane Le Roux, Martin Ziegler
Computable Closed Euclidean Subsets with and without Computable Points CoRR (2006)
Martin Ziegler
Effectively open real functions. J. Complex. 22 (6) (2006)
Martin Ziegler
Real Hypercomputation and Continuity CoRR (2005)
Klaus Meer, Martin Ziegler
An Explicit Solution to Post's Problem over the Reals. FCT (2005)
Sven Köhler, Christian Schindelhauer, Martin Ziegler
On Approximating Real-World Halting Problems. FCT (2005)
Martin Ziegler
Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. CiE (2005)
Martin Ziegler
Effectively Open Real Functions. CCA (2005)
Martin Ziegler
Fast (Multi-)Evaluation of Linearly Recurrent Sequences: Improvements and Applications CoRR (2005)
Martin Ziegler
Effectively Open Real Functions CoRR (2005)
Christian Schindelhauer, Klaus Volbert, Martin Ziegler
Spanners, Weak Spanners, and Power Spanners for Wireless Networks. ISAAC (2004)
Michael Nüsken, Martin Ziegler
Fast Multipoint-Evaluation of Bivariate Polynomials CoRR (2004)
Martin Ziegler, Vasco Brattka
Computability in linear algebra. Theor. Comput. Sci. 326 (1-3) (2004)
Martin Ziegler
Computable operators on regular sets. Math. Log. Q. 50 (4-5) (2004)
Michael Nüsken, Martin Ziegler
Fast Multipoint Evaluation of Bivariate Polynomials. ESA (2004)
Martin Ziegler
Quasi-optimal Arithmetic for Quaternion Polynomials. ISAAC (2003)
Martin Ziegler
Quasi-Optimal Arithmetic for Quaternion Polynomials CoRR (2003)
Martin Ziegler
Fast Relative Approximation of Potential Fields. WADS (2003)
Martin Ziegler
Computability on Regular Subsets of Euclidean Space. Math. Log. Q. 48 (S1) (2002)
Valentina Damerow, Lukas Finschi, Martin Ziegler
Point location algorithms of minimum size. CCCG (2002)
Vasco Brattka, Martin Ziegler
Computability of Linear Equations. IFIP TCS (2002)
Martin Ziegler, Vasco Brattka
Turing computability of (non-)linear optimization. CCCG (2001)
M. Reza Emamy-Khansary, Martin Ziegler
New Bounds for Hypercube Slicing Numbers. DM-CCG (2001)
Artur Czumaj, Christian Sohler, Martin Ziegler
Property Testing in Computational Geometry. ESA (2000)
Martin Ziegler, Vasco Brattka
A Computable Spectral Theorem. CCA (2000)
Martin Ziegler, Vasco Brattka
Computing the Dimension of Linear Subspaces. SOFSEM (2000)
Christian Sohler, Martin Ziegler
Computing Cut Numbers. CCCG (2000)
Matthias Fischer, Tamás Lukovszki, Martin Ziegler
Partitioned neighborhood spanners of minimal outdegree. CCCG (1999)
Matthias Fischer, Tamás Lukovszki, Martin Ziegler
Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time. ESA (1998)
Matthias Fischer, Tamás Lukovszki, Martin Ziegler
A Network Based Approach for Realtime Walkthrough of Massive Models. WAE (1998)

Martin Ziegler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Ziegler