| Publication | Date of Publication | Type |
|---|
| About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction | 2022-02-08 | Paper |
| How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions | 2020-06-01 | Paper |
| On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction | 2020-05-06 | Paper |
| About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem | 2018-07-12 | Paper |
| On How the Introducing of a New $\theta$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency | 2016-12-23 | Paper |
| On the Broader Epistemological Significance of Self-Justifying Axiom Systems | 2015-01-13 | Paper |
| On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux | 2013-06-29 | Paper |
| The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem | 2013-05-03 | Paper |
| A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics | 2011-08-31 | Paper |
| Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem | 2009-10-09 | Paper |
| Passive induction and a solution to a Paris-Wilkie open question | 2007-05-23 | Paper |
| On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency | 2007-01-19 | Paper |
| An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency | 2006-09-06 | Paper |
| A generalization of the second incompleteness theorem and some exceptions to it | 2006-08-16 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367334 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412866 | 2003-07-17 | Paper |
| An algorithm for handling many relational calculus queries efficiently. | 2003-05-14 | Paper |
| How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q | 2003-02-06 | Paper |
| Self-verifying axiom systems, the incompleteness theorem and related reflection principles | 2002-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721211 | 2001-07-01 | Paper |
| Examining Computational Geometry, Van Emde Boas Trees, and Hashing from the Perspective of the Fusion Tree | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375800 | 1998-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364524 | 1998-04-01 | Paper |
| Applications of range query theory to relational data base join and selection operations | 1996-07-16 | Paper |
| Optimal sample cost residues for differential database batch query problems | 1994-08-21 | Paper |
| Trans-dichotomous algorithms for minimum spanning trees and shortest paths | 1994-06-29 | Paper |
| Surpassing the information theoretic bound with fusion trees | 1994-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282618 | 1994-03-17 | Paper |
| A density control algorithm for doing insertions and deletions in a sequentially ordered file in a good worst-case time | 1992-06-28 | Paper |
| On the angle restricted nearest neighbor problem | 1990-01-01 | Paper |
| Lower bounds for the addition-subtraction operations in orthogonal range queries and related problems | 1989-01-01 | Paper |
| Parallel processing can be harmful: The unusual behavior of interpolation search | 1989-01-01 | Paper |
| Log-Logarithmic Selection Resolution Protocols in a Multiple Access Channel | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3730036 | 1986-01-01 | Paper |
| Adding range restriction capability to dynamic data structures | 1985-01-01 | Paper |
| New Data Structures for Orthogonal Range Queries | 1985-01-01 | Paper |
| Searching Unindexed and Nonuniformly Generated Files in $\log \log N$ Time | 1985-01-01 | Paper |
| Algorithms for resolving conflicts in dynamic storage allocation | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3685210 | 1985-01-01 | Paper |
| New trie data structures which support very fast search operations | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714492 | 1984-01-01 | Paper |
| Log-logarithmic worst-case range queries are possible in space theta(N) | 1983-01-01 | Paper |
| Polygon Retrieval | 1982-01-01 | Paper |
| A data structure for dynamic range queries | 1982-01-01 | Paper |
