| Publication | Date of Publication | Type |
|---|
| A self-similar solution for unsteady isothermal and adiabatic flows behind the shock wave in a dusty non-ideal rotating medium under the action of magnetic field | 2024-02-23 | Paper |
| Look for the proof to find the program: decorated-component-based program synthesis | 2022-08-12 | Paper |
| Attacking the V: On the Resiliency of Adaptive-Horizon MPC | 2022-08-12 | Paper |
| Solute dispersion in non-Newtonian fluids flow through small blood vessels: a varying viscosity approach | 2022-05-03 | Paper |
| Linear Invariants for Linear Systems | 2021-07-18 | Paper |
| Neural flocking: MPC-based supervised learning of flocking controllers | 2020-09-23 | Paper |
| ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans | 2020-08-05 | Paper |
| TeLEx: learning signal temporal logic from positive examples using tightness metric | 2019-11-25 | Paper |
| Sherlock - A tool for verification of neural network feedback systems | 2019-10-22 | Paper |
| Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer | 2018-06-14 | Paper |
| One Context Unification Problems Solvable in Polynomial Time | 2018-04-23 | Paper |
| D-bases for polynomial ideals over commutative noetherian rings | 2017-11-17 | Paper |
| Two-Restricted One Context Unification is in Polynomial Time | 2017-08-31 | Paper |
| Classes of term rewrite systems with polynomial confluence problems | 2017-07-12 | Paper |
| A search-based procedure for nonlinear real arithmetic | 2017-03-28 | Paper |
| Gamifying Program Analysis | 2016-01-12 | Paper |
| Severity Levels of Inconsistent Code | 2016-01-08 | Paper |
| Program Synthesis Using Dual Interpretation | 2015-12-02 | Paper |
| Non-linear rewrite closure and weak normalization | 2015-06-23 | Paper |
| Verification and synthesis using real quantifier elimination | 2015-06-09 | Paper |
| Synthesis for Polynomial Lasso Programs | 2015-01-13 | Paper |
| Lifting abstract interpreters to quantified logical domains | 2014-09-12 | Paper |
| Deductive Verification of Continuous Dynamical Systems | 2012-10-24 | Paper |
| Rewriting in Practice | 2012-04-24 | Paper |
| Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition | 2010-11-29 | Paper |
| Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories | 2010-09-21 | Paper |
| Slow viscous flow through a membrane built up from porous cylindrical particles with an impermeable core | 2010-05-21 | Paper |
| Box invariance in biologically-inspired dynamical systems | 2010-04-14 | Paper |
| Combining Equational Reasoning | 2010-01-07 | Paper |
| Context unification with one context variable | 2009-12-03 | Paper |
| Invariant Checking for Programs with Procedure Calls | 2009-08-18 | Paper |
| Logical Interpretation: Static Program Analysis Using Theorem Proving | 2009-03-06 | Paper |
| Synthesizing Switching Logic Using Constraint Solving | 2009-02-10 | Paper |
| On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates | 2009-01-14 | Paper |
| Generating Box Invariants | 2008-09-02 | Paper |
| Constraint-Based Approach for Analysis of Hybrid Systems | 2008-07-15 | Paper |
| Assertion Checking Unified | 2008-04-04 | Paper |
| Abstractions for hybrid systems | 2008-03-11 | Paper |
| Termination of Rewriting with Right-Flat Rules | 2008-01-02 | Paper |
| An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software | 2007-11-29 | Paper |
| Analyzing Pathways Using SAT-Based Approaches | 2007-11-29 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Computing Procedure Summaries for Interprocedural Analysis | 2007-09-04 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Deciding confluence of certain term rewriting systems in polynomial time | 2004-11-18 | Paper |
| Characterizing confluence by rewrite closure and right ground term rewrite systems | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736610 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474230 | 2004-08-04 | Paper |
| Abstract congruence closure | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449293 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418639 | 2003-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417994 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418865 | 2003-07-30 | Paper |
| Method of the summation of a complicated series appearing in problems on electromagnetics | 2002-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769581 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723409 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723421 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518873 | 2001-06-13 | Paper |
| A greedy genetic algorithm for the quadratic assignment problem | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938606 | 2000-02-23 | Paper |
