| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5079753 | 2022-05-28 | Paper |
| Experiments and long-term high-performance computations on amplitude modulations of strato-rotational flows | 2022-03-22 | Paper |
| Non-normality increases variance of gravity waves trapped in a tilted box | 2022-03-22 | Paper |
| Team semantics for the specification and verification of hyperproperties | 2021-08-04 | Paper |
| Wreath Products of Distributive Forest Algebras | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5136328 | 2020-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129940 | 2020-11-03 | Paper |
| Diminishable parameterized problems and strict polynomial kernelization | 2020-09-08 | Paper |
| On the Complexity of Bounded Context Switching. | 2020-05-27 | Paper |
| Better complexity bounds for cost register automata | 2020-05-26 | Paper |
| Stone Duality and the Substitution Principle | 2020-05-26 | Paper |
| Skew circuits of small width | 2020-04-22 | Paper |
| Difference hierarchies and duality with an application to formal languages | 2020-04-06 | Paper |
| A topological approach to non-uniform complexity | 2019-12-18 | Paper |
| Small Depth Proof Systems | 2019-12-06 | Paper |
| The model checking fingerprints of CTL operators | 2019-08-13 | Paper |
| Better complexity bounds for cost register automata | 2019-06-27 | Paper |
| Diminishable parameterized problems and strict polynomial kernelization | 2018-09-06 | Paper |
| Problems on finite automata and the exponential time hypothesis | 2018-08-20 | Paper |
| The algebraic theory of Parikh automata | 2018-07-23 | Paper |
| Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy | 2018-06-26 | Paper |
| Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth | 2018-04-23 | Paper |
| Two-variable Logic with a Between Relation | 2018-04-23 | Paper |
| An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic | 2018-03-22 | Paper |
| Non-definability of Languages by Generalized First-order Formulas over (N,+) | 2017-05-16 | Paper |
| Computing best discrete least-squares approximations by first-degree splines with free knots | 2017-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2963912 | 2017-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958513 | 2017-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957483 | 2017-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2955026 | 2017-01-24 | Paper |
| The complexity of intersecting finite automata having few final states | 2016-11-30 | Paper |
| Problems on Finite Automata and the Exponential Time Hypothesis | 2016-11-09 | Paper |
| Cost Register Automata for Nested Words | 2016-09-02 | Paper |
| A Language-Theoretical Approach to Descriptive Complexity | 2016-08-30 | Paper |
| Using Duality in Circuit Complexity | 2016-04-13 | Paper |
| Positive and negative proofs for circuits and branching programs | 2015-12-10 | Paper |
| Ultrafilters on words for a fragment of logic | 2015-12-10 | Paper |
| On Distinguishing NC $$^1$$ and NL | 2015-11-10 | Paper |
| Skew Circuits of Small Width | 2015-10-29 | Paper |
| Quasi-optimal degree distribution for a quadratic programming problem arising from the \(p\)-version finite element method for a one-dimensional obstacle problem | 2015-09-22 | Paper |
| EF+EX Forest Algebras | 2015-09-22 | Paper |
| Bounds for the Quantifier Depth in Finite-Variable Logics | 2015-09-17 | Paper |
| A Circuit Complexity Approach to Transductions | 2015-09-16 | Paper |
| Visibly Counter Languages and the Structure of $$\mathrm {NC}^{1}$$ | 2015-09-16 | Paper |
| Sheet-like and plume-like thermal flow in a spherical convection experiment performed under microgravity | 2014-08-29 | Paper |
| From Ultrafilters on Words to the Expressive Power of a Fragment of Logic | 2014-08-07 | Paper |
| Positive and Negative Proofs for Circuits and Branching Programs | 2014-08-07 | Paper |
| Naive configurations | 2014-07-03 | Paper |
| Lexicographic Configurations | 2014-06-24 | Paper |
| Linear circuits, two-variable logic and weakly blocked monoids | 2014-01-10 | Paper |
| A quadratic programming problem arising from the \(p\)-version for obstacle problems | 2013-11-08 | Paper |
| The Algebraic Theory of Parikh Automata | 2013-09-20 | Paper |
| Small Depth Proof Systems | 2013-09-20 | Paper |
| Counting paths in VPA is complete for \(\#\mathrm{NC}^1\) | 2012-11-21 | Paper |
| Dense Completeness | 2012-11-02 | Paper |
| The Lower Reaches of Circuit Uniformity | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3108038 | 2011-12-28 | Paper |
| Streaming algorithms for recognizing nearly well-parenthesized expressions | 2011-08-17 | Paper |
| Typed monoids -- an Eilenberg-like theorem for non regular languages | 2011-07-08 | Paper |
| On solving nonlinear variational inequalities by \(p\)-version finite elements. | 2011-03-29 | Paper |
| Counting paths in VPA is complete for \#NC\(^{1}\) | 2010-07-20 | Paper |
| Adaptive FEM-BEM coupling with a Schur complement error indicator | 2010-06-25 | Paper |
| Regular Languages Definable by Majority Quantifiers with Two Variables | 2009-07-07 | Paper |
| Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] | 2009-04-02 | Paper |
| Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids | 2008-09-17 | Paper |
| A partial plane of order 6 constructed from the icosahedron | 2007-09-13 | Paper |
| Languages with Bounded Multiparty Communication Complexity | 2007-09-03 | Paper |
| Characterizing \(\text{TC}^{0}\) in terms of infinite groups | 2007-08-23 | Paper |
| A \(p\)-version finite element method for nonlinear elliptic variational inequalities in 2D | 2007-01-30 | Paper |
| STACS 2005 | 2005-12-02 | Paper |
