| Publication | Date of Publication | Type |
|---|
| On buoyancy‐driven viscous incompressible flows with various types of boundary conditions | 2024-02-08 | Paper |
| Regularity criteria for the Navier–Stokes equations in terms of the velocity direction and the flow of energy | 2023-12-20 | Paper |
| Navier–Stokes equations: regularity criteria in terms of the derivatives of several fundamental quantities along the streamlines—the case of a bounded domain | 2022-10-19 | Paper |
| Propagation complete encodings of smooth DNNF theories | 2022-09-29 | Paper |
| The local regularity conditions for the Navier-Stokes equations via one directional derivative of the velocity | 2022-09-12 | Paper |
| Learning a propagation complete formula | 2022-08-30 | Paper |
| Unique key Horn functions | 2022-06-13 | Paper |
| Approximating Minimum Representations of Key Horn Functions | 2022-03-11 | Paper |
| Local in time existence of solution of the Navier-Stokes equations with various types of boundary conditions | 2021-12-16 | Paper |
| Bounds on the size of PC and URC formulas | 2021-01-22 | Paper |
| Generating clause sequences of a CNF formula | 2021-01-19 | Paper |
| Phase transition in matched formulas and a heuristic for biclique satisfiability | 2020-10-22 | Paper |
| A pressure associated with a weak solution to the Navier-Stokes equations with Navier's boundary conditions | 2020-06-08 | Paper |
| A lower bound on CNF encodings of the at-most-one constraint | 2019-02-28 | Paper |
| The application of anisotropic Troisi inequalities to the conditional regularity for the Navier–Stokes equations | 2018-07-23 | Paper |
| Small Perturbations of Initial Conditions of Solutions of the Navier–Stokes Equations in the L3–Norm and Applications | 2017-11-22 | Paper |
| A lower bound on CNF encodings of the at-most-one constraint | 2017-11-15 | Paper |
| Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components | 2017-11-02 | Paper |
| On robustness of a strong solution to the Navier–Stokes equations with Navier’s boundary conditions in theL3-norm | 2017-05-24 | Paper |
| Hydras: complexity on general graphs and a subclass of trees | 2017-02-06 | Paper |
| Generating Models of a Matched Formula With a Polynomial Delay | 2016-07-05 | Paper |
| Solutions to the Navier-Stokes equations with mixed boundary conditions in two-dimensional bounded domains | 2016-03-08 | Paper |
| Complexity issues related to propagation completeness | 2015-06-26 | Paper |
| On \(L^3\)-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions | 2015-02-24 | Paper |
| On Minimum Representations of Matched Formulas | 2015-01-14 | Paper |
| Boolean functions with long prime implicants | 2014-04-14 | Paper |
| A decomposition method for CNF minimality proofs | 2014-01-13 | Paper |
| A subclass of Horn CNFs optimally compressible in polynomial time | 2012-12-07 | Paper |
| Solutions of the Navier-Stokes equations with various types of boundary conditions | 2012-06-26 | Paper |
| Properties of SLUR Formulae | 2012-06-15 | Paper |
| On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics | 2012-06-09 | Paper |
| Boolean functions with a simple certificate for CNF complexity | 2012-05-04 | Paper |
| Disjoint essential sets of implicates of a CQ Horn function | 2012-03-23 | Paper |
| On the Navier-Stokes flows for heat-conducting fluids with mixed boundary conditions | 2012-03-16 | Paper |
| Analysing DNA microarray data using Boolean techniques | 2011-11-17 | Paper |
| Basic properties of solution of the non-steady Navier-Stokes equations with mixed boundary conditions in a bounded domain | 2011-02-19 | Paper |
| The time-periodic solutions of the Navier-Stokes equations with mixed boundary conditions | 2010-07-23 | Paper |
| Exclusive and essential sets of implicates of Boolean functions | 2010-05-05 | Paper |
| Recognition of interval Boolean functions | 2009-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3603291 | 2009-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5294851 | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437280 | 2007-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3431748 | 2007-04-12 | Paper |
| A note on the generalized energy inequality in the Navier-Stokes equations. | 2006-11-21 | Paper |
| Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations. | 2006-11-21 | Paper |
| Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing | 2005-09-02 | Paper |
| On the size of maximum renamable Horn sub-CNF | 2005-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4828835 | 2004-11-26 | Paper |
| A note on coupling of velocity components in the Navier-Stokes equations | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4441015 | 2002-01-01 | Paper |
| An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions. | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938453 | 2000-08-03 | Paper |
| Local solutions to the Navier-Stokes equations with mixed boundary conditions | 1999-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837846 | 1999-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4350762 | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4881921 | 1996-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775796 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745859 | 1986-01-01 | Paper |
