| Publication | Date of Publication | Type |
|---|
| Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS | 2023-06-27 | Paper |
| Schur preconditioning of the Stokes equations in channel-dominated domains | 2022-08-03 | Paper |
| Ωmega: Towards a mathematical assistant | 2019-10-01 | Paper |
| Fuzzy pay-off method for real options: the center of gravity approach with application in oilfield abandonment | 2018-10-16 | Paper |
| Failure reasoning in multiple-strategy proof planning | 2013-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568690 | 2010-06-15 | Paper |
| Relationale und postrelationale Datenbanken | 2010-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3643369 | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3391703 | 2009-08-12 | Paper |
| Proof planning with multiple strategies | 2009-07-17 | Paper |
| Automatic Construction and Verification of Isotopy Invariants | 2009-03-12 | Paper |
| Automatic construction and verification of isotopy invariants | 2008-06-11 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Relationale und postrelationale Datenbanken | 2007-04-26 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Applying SAT solving in classification of finite algebras | 2007-01-24 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3378450 | 2006-04-03 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664927 | 2005-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809051 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808725 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433981 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428312 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4423203 | 2003-08-26 | Paper |
| Comparing approaches to the exploration of the domain of residue classes. | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405846 | 2003-06-24 | Paper |
| Distributed assertion retrieval | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767093 | 2002-01-28 | Paper |
| Exploring properties of residue classes | 2001-10-21 | Paper |
| Computer graphics and geometrical modelling | 2001-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723444 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2719334 | 2001-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4492931 | 2000-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360308 | 1997-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125986 | 1997-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4297736 | 1994-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3992893 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002613 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775015 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804067 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673161 | 1983-01-01 | Paper |
