| Publication | Date of Publication | Type |
|---|
| On One-Variable Fragments of Modal µ-Calculus | 2023-08-25 | Paper |
| Infinite Games, Inductive Definitions and Transfinite Recursion | 2023-08-25 | Paper |
| The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames | 2023-06-02 | Paper |
| The eigen-distribution for multi-branching weighted trees on independent distributions | 2022-06-03 | Paper |
| Replica Plefka expansion of Ising systems | 2020-08-11 | Paper |
| EigenKernel | 2019-08-15 | Paper |
| The eigen-distribution of weighted game trees | 2018-02-26 | Paper |
| The determinacy strength of pushdownω-languages | 2017-09-04 | Paper |
| Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees | 2017-06-13 | Paper |
| Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable | 2015-10-29 | Paper |
| Mean Field Approximation for Fields of Experts | 2014-05-21 | Paper |
| Traffic data reconstruction based on Markov random field modeling | 2014-04-02 | Paper |
| Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates | 2013-09-20 | Paper |
| Learning Algorithm for Boltzmann Machines Using Max-Product Algorithm and Pseudo-Likelihood | 2013-03-14 | Paper |
| Infinite Games and Transfinite Recursion of Multiple Inductive Definitions | 2012-08-14 | Paper |
| Relative Randomness for Martin-Löf Random Sets | 2012-08-14 | Paper |
| Network Games with and without Synchroneity | 2011-11-11 | Paper |
| Synthesis of the web-based CAD viewer for interference verification of injection moulds | 2011-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567855 | 2010-06-17 | Paper |
| Eigen-distribution on random assignments for game trees | 2010-03-24 | Paper |
| Solvable Probabilistic Model for Cycles in Planar Graph | 2009-11-25 | Paper |
| Approximate Learning Algorithm in Boltzmann Machines | 2009-11-25 | Paper |
| The Computational Complexity of Game Trees by Eigen-Distribution | 2009-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3530407 | 2008-10-20 | Paper |
| The Complexity of Algorithms Computing Game Trees on Random Assignments | 2008-01-04 | Paper |
| Statistical trajectory of an approximate EM algorithm for probabilistic image processing | 2007-10-05 | Paper |
| The mathematical structure of the approximate linear response relation | 2007-09-07 | Paper |
| Boltzmann Machines with Bounded Continuous Random Variables | 2007-09-03 | Paper |
| Δ3O-determinacy, comprehension and induction | 2007-07-09 | Paper |
| Infinite games in the Cantor space and subsystems of second order arithmetic | 2007-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711897 | 2005-12-08 | Paper |
| Mean field theory of EM algorithm for Bayesian grey scale image restoration | 2005-10-18 | Paper |
| Probabilistic image processing by means of the Bethe approximation for theQ-Ising model | 2005-10-18 | Paper |
| Image Segmentation Based on Bethe Approximation for Gaussian Mixture Model | 2005-05-23 | Paper |
| Accuracy of the Bethe approximation for hyperparameter estimation in probabilistic image processing | 2005-03-04 | Paper |
| The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic | 2004-12-16 | Paper |
| Color Image Compression Algorithm Using Self-Organizing Feature Map | 2004-08-10 | Paper |
| Statistical-mechanical approach to image processing | 2004-06-10 | Paper |
| Probabilistic, Iterated and Quantum-Iterated Computational Methods in Gray-Level Image Restoration | 2003-06-17 | Paper |
| Some conservation results on weak König's lemma | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548535 | 2002-08-26 | Paper |
| Asymptotic Behaviors of Modified Block Toeplitz Determinant | 2001-11-19 | Paper |
| Asymptotic Forms of Some Block Toeplitz Determinants | 2001-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505630 | 2000-09-27 | Paper |
| Generalized Heisenberg Model of SpinSGreater than 1/2 Equivalent to that of Spin 1/2 | 2000-07-26 | Paper |
| A non-standard construction of Haar measure and weak König's lemma | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252648 | 1999-11-08 | Paper |
| Non‐standard Analysis in WKL0 | 1997-10-08 | Paper |
| The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method | 1997-09-03 | Paper |
| On formalization of model-theoretic proofs of Gödel's theorems | 1995-07-03 | Paper |
| A GAME‐THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM | 1994-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4302475 | 1994-08-17 | Paper |
| A Note on the Proof Method for Constructive Falsity | 1992-06-26 | Paper |
| Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) | 1991-01-01 | Paper |
| Fixed point theory in weak second-order arithmetic | 1990-01-01 | Paper |
| Weak axioms of determinacy and subsystems of analysis I: δ20 games | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203004 | 1990-01-01 | Paper |
| The Galvin-Prikry theorem and set existence axioms | 1989-01-01 | Paper |
