| Publication | Date of Publication | Type |
|---|
| Constraint-driven nonlinear reachability analysis with automated tuning of tool properties | 2024-11-26 | Paper |
| A computable and compositional semantics for hybrid systems | 2024-10-08 | Paper |
| Semantics, specification logic, and Hoare logic of exact real computation | 2024-06-27 | Paper |
| A higher order method for input-affine uncertain systems | 2023-01-13 | Paper |
| Computer Science for Continuous Data | 2022-12-21 | Paper |
| A computable and compositional semantics for hybrid automata | 2021-01-25 | Paper |
| Computable Random Variables and Conditioning | 2020-12-22 | Paper |
| Computable analysis with applications to dynamic systems | 2020-03-11 | Paper |
| Graph duality in surface dynamics | 2019-10-08 | Paper |
| Computing Reachable Sets of Differential Inclusions | 2018-12-12 | Paper |
| An Introduction to the Verification of Hybrid Systems Using Ariadne | 2018-12-12 | Paper |
| A New Look at Azimuthal Wave Propagation Constants of an n-Layered Dielectric Coated PEC Cylinder | 2017-09-20 | Paper |
| Control to Facet by Piecewise-Affine Output Feedback | 2017-09-08 | Paper |
| Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices | 2017-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2988065 | 2017-05-18 | Paper |
| Model-Checking in Systems Biology - From Micro to Macro | 2015-08-06 | Paper |
| The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems | 2015-03-23 | Paper |
| Computable Stochastic Processes | 2014-09-15 | Paper |
| Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> | 2014-04-08 | Paper |
| Special issue on control, communication, and complexity | 2014-04-08 | Paper |
| BIFURCATIONS OF NORMALLY HYPERBOLIC INVARIANT MANIFOLDS IN ANALYTICALLY TRACTABLE MODELS AND CONSEQUENCES FOR REACTION DYNAMICS | 2014-04-07 | Paper |
| Evolutionary games and periodic fitness | 2013-09-24 | Paper |
| A validated real function calculus | 2013-05-16 | Paper |
| Computability and Representations of the Zero Set | 2013-05-03 | Paper |
| Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach | 2013-05-03 | Paper |
| Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis | 2013-01-07 | Paper |
| Computability of homology for compact absolute neighbourhood retracts | 2012-09-28 | Paper |
| Higher Order Methods for Differential Inclusions | 2012-06-28 | Paper |
| Isomerization dynamics of a buckled nanobeam | 2012-06-15 | Paper |
| Tinkerbell Is Chaotic | 2012-04-19 | Paper |
| Semantics and Computability of the Evolution of Hybrid Systems | 2011-07-22 | Paper |
| COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS | 2011-07-14 | Paper |
| Computation of symbolic dynamics for two-dimensional piecewise-affine maps | 2011-06-07 | Paper |
| Computation of symbolic dynamics for one-dimensional maps | 2010-04-21 | Paper |
| Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems | 2009-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639060 | 2009-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324370 | 2009-08-03 | Paper |
| Tangency Bifurcations of Global Poincaré Maps | 2009-04-30 | Paper |
| Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata | 2008-09-02 | Paper |
| Effective Computation for Nonlinear Systems | 2007-11-13 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Optimal semicomputable approximations to reachable and invariant sets | 2007-09-06 | Paper |
| UNIVERSAL TRELLISES | 2007-06-20 | Paper |
| Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map | 2007-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5394956 | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5484939 | 2006-08-22 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits | 2005-12-22 | Paper |
| Continuity and computability of reachable sets | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665114 | 2005-04-09 | Paper |
| Celebration of the 77th birthday of Professor Jun-iti Nagata | 2005-02-22 | Paper |
| Problems on universals | 2004-08-20 | Paper |
| SYMBOLIC DYNAMICS FROM HOMOCLINIC TANGLES | 2004-08-09 | Paper |
| Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits | 2004-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424984 | 2003-09-09 | Paper |
| On dynamically presenting a topology course | 2003-06-09 | Paper |
| On strict extensions of nearness spaces | 2001-12-16 | Paper |
| Relative periodic point theory | 2001-10-29 | Paper |
| Extensions of topological spaces with strongly-discrete remainder | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941208 | 2000-02-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371034 | 1998-06-07 | Paper |
| Coverings versus entourages | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373415 | 1998-01-21 | Paper |
| Mal'tsev spaces, retral spaces and rectifiable diagonals | 1997-09-22 | Paper |
| Monotone normality | 1997-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4316877 | 1996-09-25 | Paper |
| On submaximal spaces | 1995-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4319102 | 1995-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028548 | 1993-03-28 | Paper |
| Uniform topologies on function spaces and topologies on power sets | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004397 | 1992-09-18 | Paper |
| A lattice of conditions on topological spaces II | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790302 | 1988-01-01 | Paper |
| A Lattice of Conditions on Topological Spaces | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3726974 | 1985-01-01 | Paper |
| Criteria for Metrisability | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4150817 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157671 | 1977-01-01 | Paper |
| Concordant Mappings and the Concordant-Dissonant Factorization of an Arbitrary Continuous Function | 1971-01-01 | Paper |
| On Uniform Connection Properties | 1971-01-01 | Paper |
| PRODUCT AND QUOTIENT TOPOLOGICAL SPACES WITH RESPECT TO A NUCLEUS | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5624372 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592070 | 1970-01-01 | Paper |
| Semantics, Specification Logic, and Hoare Logic of Exact Real Computation | N/A | Paper |
