| Publication | Date of Publication | Type |
|---|
Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS
Computational Geosciences | 2023-06-27 | Paper |
Schur preconditioning of the Stokes equations in channel-dominated domains
Computer Methods in Applied Mechanics and Engineering | 2022-08-03 | Paper |
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Fuzzy pay-off method for real options: the center of gravity approach with application in oilfield abandonment
Fuzzy Sets and Systems | 2018-10-16 | Paper |
| Failure reasoning in multiple-strategy proof planning | 2013-09-25 | Paper |
| Classification results in quasigroup and loop theory via a combination of automated reasoning tools. | 2010-06-15 | Paper |
| Classification results in quasigroup and loop theory via a combination of automated reasoning tools. | 2010-06-15 | Paper |
Relationale und postrelationale Datenbanken
eXamen.press | 2010-01-21 | Paper |
| Safety-critical wireless sensor networks | 2009-11-11 | Paper |
| scientific article; zbMATH DE number 5594034 (Why is no real title available?) | 2009-08-12 | Paper |
Proof planning with multiple strategies
Artificial Intelligence | 2009-07-17 | Paper |
Automatic Construction and Verification of Isotopy Invariants
Automated Reasoning | 2009-03-12 | Paper |
Automatic construction and verification of isotopy invariants
Journal of Automated Reasoning | 2008-06-11 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Relationale und postrelationale Datenbanken
eXamen.press | 2007-04-26 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Applying SAT solving in classification of finite algebras
Journal of Automated Reasoning | 2007-01-24 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Practical introduction to relational databases. Translated from the German by Dac Hoa Nguyen | 2006-04-03 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2154400 (Why is no real title available?) | 2005-04-09 | Paper |
| scientific article; zbMATH DE number 2090295 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090054 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2000435 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1980938 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1971506 (Why is no real title available?) | 2003-08-26 | Paper |
Comparing approaches to the exploration of the domain of residue classes.
Journal of Symbolic Computation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1934220 (Why is no real title available?) | 2003-06-24 | Paper |
| Distributed assertion retrieval | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1696826 (Why is no real title available?) | 2002-01-28 | Paper |
| Exploring properties of residue classes | 2001-10-21 | Paper |
| Computer graphics and geometrical modelling | 2001-09-16 | Paper |
| scientific article; zbMATH DE number 1614717 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1609613 (Why is no real title available?) | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1482688 (Why is no real title available?) | 2000-07-30 | Paper |
| scientific article; zbMATH DE number 1077800 (Why is no real title available?) | 1997-10-24 | Paper |
| scientific article; zbMATH DE number 993678 (Why is no real title available?) | 1997-03-23 | Paper |
| scientific article; zbMATH DE number 599471 (Why is no real title available?) | 1994-07-03 | Paper |
| scientific article; zbMATH DE number 43365 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 52306 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 4035225 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4072225 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3827257 (Why is no real title available?) | 1983-01-01 | Paper |
