DSpace at KOASAS

Researcher Page

사진
Ziegler, Martin A. (마틴 지글러)
부교수, (전산학부)

http://m.zie.de

Research Area
Complexity and Real Computation
Co-researchers
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION

    Park, Sewon; Brausse, Franz; Collins, Pieter; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.20, no.2, 2024-06

    2
    Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations

    Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; et al, JOURNAL OF COMPLEXITY, v.76, 2023-06

    3
    Avi Wigderson’s work linking between Mathematics and Computation

    Ziegler, Martin A., KIAS Horizon, v.17920, 2021-06

    4
    Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier-free and homogeneous descriptions

    Herrmann, Christian; Ziegler, Martin, ALGEBRA UNIVERSALIS, v.80, no.28, pp.28, 2019-09

    5
    Definable relations in finite-dimensional subspace lattices with involution

    Herrmann, Christian; 마틴 지글러, ALGEBRA UNIVERSALIS, v.79, no.3, 2018-09

    6
    On the computational complexity of the Dirichlet Problem for Poisson's Equation

    Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin A., MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.27, no.8, pp.1437 - 1465, 2017-12

    7
    Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014

    Bauer, Andrej; Berger, Ulrich; Fouche, Willem; et al, JOURNAL OF LOGIC AND ANALYSIS, v.9, 2017-04

    8
    On the consistency problem for modular lattices and related structures

    Herrmann, Christian; Tsukamoto, Yasuyuki; Ziegler, Martin, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, v.26, no.8, pp.1573 - 1595, 2016-12

    9
    Computational Complexity of Quantum Satisfiability

    Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05

    10
    Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy

    Kawamura, Akitoshi; Mueller, Norbert; Roesnick, Carsten; et al, JOURNAL OF COMPLEXITY, v.31, no.5, pp.689 - 714, 2015-10

    11
    COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS

    Kawamura, Akitoshi; Ota, Hiroyuki; Roesnick, Carsten; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.10, no.1, 2014

    12
    Relative computability and uniform continuity of relations

    Pauly, Arno; Ziegler, Martin A., Journal of Logic and Analysis, v.5, no.7, pp.1 - 39, 2013

    13
    Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra

    Ziegler, Martin, ANNALS OF PURE AND APPLIED LOGIC, v.163, no.8, pp.1108 - 1139, 2012-08

    14
    REAL ANALYTIC MACHINES AND DEGREES: A TOPOLOGICAL VIEW ON ALGEBRAIC LIMITING COMPUTATION

    Gaertner, Tobias; Ziegler, Martin, LOGICAL METHODS IN COMPUTER SCIENCE, v.7, no.3, 2011

    15
    Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics

    Ziegler, Martin, APPLIED MATHEMATICS AND COMPUTATION, v.215, no.4, pp.1431 - 1447, 2009-10

    16
    Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation

    Meer, Klaus; Ziegler, Martin, FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, v.9, no.5, pp.599 - 609, 2009-10

    17
    On the coverings of the d-cube for d <= 6

    Emamy-K, M. R.; Ziegler, M., DISCRETE APPLIED MATHEMATICS, v.156, no.17, pp.3156 - 3165, 2008-10

    18
    An explicit solution to Post's Problem over the reals

    Meer, Klaus; Ziegler, Martin, JOURNAL OF COMPLEXITY, v.24, no.1, pp.3 - 15, 2008-02

    19
    Singular coverings and non-uniform notions of closed set computability

    Le Roux, Stephane; Ziegler, Martin, MATHEMATICAL LOGIC QUARTERLY, v.54, no.5, pp.545 - 560, 2008

    20
    Real hypercomputation and continuity

    Ziegler, Martin, THEORY OF COMPUTING SYSTEMS, v.41, no.1, pp.177 - 206, 2007-07
    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0