| Publication | Date of Publication | Type |
|---|
| Verifying abstractions of timed systems | 2023-06-28 | Paper |
| Automated Synthesis of Protocol Converters with BALM-II | 2021-05-18 | Paper |
| Equivalences for fair Kripke structures | 2019-04-29 | Paper |
| Structural complexity of ω-automata | 2017-12-04 | Paper |
| Model-checking continuous-time Markov chains | 2017-06-13 | Paper |
| Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT | 2016-09-05 | Paper |
| 2QBF: Challenges and Solutions | 2016-09-05 | Paper |
| The Unknown Component Problem | 2012-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081633 | 2011-03-09 | Paper |
| Compositionally progressive solutions of synchronous FSM equations | 2009-05-29 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946958 | 2003-11-20 | Paper |
| Formula-dependent equivalence for compositional CTL model checking | 2002-09-18 | Paper |
| Partial-order reduction in symbolic state-space exploration | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525725 | 2001-01-24 | Paper |
| Performance planning | 2000-06-04 | Paper |
| Integration of retiming with architectural floorplanning | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4337945 | 1997-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332902 | 1997-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4852540 | 1995-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845010 | 1995-08-30 | Paper |
| Testing language containment for \(\omega\)-automata using BDDs | 1995-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002327 | 1992-09-18 | Paper |
| Factoring logic functions | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680754 | 1984-01-01 | Paper |
| Yield maximization and worst-case design with arbitrary statistical distributions | 1980-01-01 | Paper |
| Constructive stability and asymptotic stability of dynamical systems | 1980-01-01 | Paper |
| An algorithm for minimizing a differentiable function subject to box constraints and errors | 1979-01-01 | Paper |
| Some remarks on the symmetric rank-one update | 1979-01-01 | Paper |
| Stability of dynamical systems: A constructive approach | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3932746 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4155751 | 1978-01-01 | Paper |
| A theorem on inverses of convex sets of real matrices with application to the worst case dc problem | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137191 | 1976-01-01 | Paper |
| Self-orthogonal latin squares of all orders 𝑛≠2,3,6 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053029 | 1973-01-01 | Paper |
| Necessary and sufficient conditions for bounded global stability of certain nonlinear systems | 1971-01-01 | Paper |
| Some Results on Sparse Matrices | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675627 | 1971-01-01 | Paper |
| Small-signal Stability Criterion for Electrical Networks Containing Lossless Transmission Lines | 1968-01-01 | Paper |
| On the numerical integration of a symmetric system of difference- differential equations of neutral type | 1967-01-01 | Paper |
| Nonlinear oscillations in a distributed network | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5560382 | 1967-01-01 | Paper |
| Bifurcation of periodic solutions in a nonlinear difference-differential equations of neutral type | 1966-01-01 | Paper |
| A Numerical Analysis of the Transient Behavior of a Transistor Circuit | 1966-01-01 | Paper |
| A stability theory for nonlinear mixed initial boundary value problems | 1964-01-01 | Paper |
| Stability Criteria for Large Networks | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5653920 | 1964-01-01 | Paper |
| On the asymptotic behaviour of the number of trials necessary to complete a set with random selection | 1963-01-01 | Paper |
