Publication | Date of Publication | Type |
---|
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 |
An Introduction to the Verification of Hybrid Systems Using Ariadne | 2018-12-12 | Paper |
Computing Reachable Sets of Differential Inclusions | 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 |
Special issue on control, communication, and complexity | 2014-04-08 | Paper |
Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> | 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 |
PRODUCT AND QUOTIENT TOPOLOGICAL SPACES WITH RESPECT TO A NUCLEUS | 1971-01-01 | Paper |
On Uniform Connection Properties | 1971-01-01 | Paper |
Concordant Mappings and the Concordant-Dissonant Factorization of an Arbitrary Continuous Function | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5624372 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5592070 | 1970-01-01 | Paper |