| Publication | Date of Publication | Type |
|---|
| On multiply local formations with a Stone lattice of subformations | 2025-01-17 | Paper |
| On Boolean lattices of partially saturated formations | 2025-01-17 | Paper |
| Modularity of the lattice of Baer \(n\)-multiply \(\sigma\)-local formations | 2024-09-04 | Paper |
| Effective Cylindrical Cell Decompositions for Restricted Sub-Pfaffian Sets | 2022-03-10 | Paper |
| Lecture notes on complexity of quantifier elimination over the reals | 2021-12-01 | Paper |
| Complexity of deciding whether a tropical linear prevariety is a tropical variety | 2021-06-11 | Paper |
| Upper bounds on Betti numbers of tropical prevarieties | 2018-11-08 | Paper |
| Orthogonal tropical linear prevarieties | 2018-10-23 | Paper |
| On irreducible components of real exponential hypersurfaces | 2018-02-22 | Paper |
| Topological lower bounds for arithmetic networks | 2017-10-18 | Paper |
| On topological lower bounds for algebraic computation trees | 2017-05-05 | Paper |
| New complexity bounds for cylindrical decompositions of sub-pfaffian sets | 2017-02-03 | Paper |
| Lower bounds on testing membership to a polyhedron by algebraic decision trees | 2016-09-01 | Paper |
| Triangulations of monotone families I: two-dimensional families | 2015-12-18 | Paper |
| Reachability in One-Dimensional Controlled Polynomial Dynamical Systems | 2015-12-07 | Paper |
| Bounds on numers of vectors of multiplicities for polynomials which are easy to compute | 2015-11-26 | Paper |
| A Helly-type theorem for semi-monotone sets and monotone maps | 2014-01-24 | Paper |
| Semi-monotone sets | 2013-03-07 | Paper |
| Monotone functions and maps | 2013-03-06 | Paper |
| Toric cubes are closed balls | 2012-02-24 | Paper |
| Satisfiability of Viability Constraints for Pfaffian Dynamics | 2010-02-02 | Paper |
| Computing combinatorial types of trajectories in Pfaffian dynamics | 2009-12-18 | Paper |
| Approximation of definable sets by compact families, and upper bounds on homotopy and homology | 2009-07-31 | Paper |
| Bounds on sizes of finite bisimulations of Pfaffian dynamical systems | 2009-05-08 | Paper |
| On the number of homotopy types of fibres of a definable map | 2008-01-16 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692721 | 2005-09-28 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Betti numbers of semialgebraic sets defined by quantifier-free formulae | 2005-04-28 | Paper |
| BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS | 2004-06-14 | Paper |
| Complexity of cylindrical decompositions of sub-Pfaffian | 2002-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542567 | 2002-08-01 | Paper |
| The complexification and degree of a semi-algebraic set. | 2002-06-18 | Paper |
| Complexity of Null- and Positivstellensatz proofs | 2002-03-13 | Paper |
| Complexity of computing the local dimension of a semialgebraic set | 2000-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252710 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227319 | 1999-04-22 | Paper |
| Complexity lower bounds for computation trees with elementary transcendental function gates | 1997-09-09 | Paper |
| Lower bound on testing membership to a polyhedron by algebraic decision and computation trees | 1997-03-23 | Paper |
| Complexity of stratifications of semi-Pfaffian sets | 1995-08-01 | Paper |
| Complexity of finding irreducible components of a semialgebraic set | 1995-04-05 | Paper |
| Finding irreducible components of some real transcendental varieties | 1994-09-01 | Paper |
| Deciding consistency of systems of exponential-polynomial inequalities in subexponential time | 1993-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037369 | 1993-05-18 | Paper |
| Counting connected components of a semialgebraic set in subexponential time | 1993-04-01 | Paper |
| Finding connected components of a semialgebraic set in subexponential time | 1992-09-27 | Paper |
| Finding connected components of a semialgebraic set in subexponential time | 1992-09-27 | Paper |
| The complexity of deciding consistency of systems of polynomials in exponent inequalities | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3973352 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3980333 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971133 | 1992-06-25 | Paper |
| Solving systems of polynomial inequalities over a real closed field in subexponential time | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3364033 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3485804 | 1989-01-01 | Paper |
| Solving systems of polynomial inequalities in subexponential time | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733314 | 1988-01-01 | Paper |
| Estimates of real roots of a system of algebraic equations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746798 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336589 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966184 | 1982-01-01 | Paper |
