Martin Ziegler

106 papers A* 2A 3B 14C 16Misc 3Journal 52Unranked 14

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