| Publication | Date of Publication | Type |
|---|
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
Nonlinear Analysis. Hybrid Systems | 2024-11-26 | Paper |
A computable and compositional semantics for hybrid systems
Information and Computation | 2024-10-08 | Paper |
Semantics, specification logic, and Hoare logic of exact real computation
Logical Methods in Computer Science | 2024-06-27 | Paper |
A higher order method for input-affine uncertain systems
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
| Computer Science for Continuous Data | 2022-12-21 | Paper |
A computable and compositional semantics for hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Computable Random Variables and Conditioning | 2020-12-22 | Paper |
Computable analysis with applications to dynamic systems
Mathematical Structures in Computer Science | 2020-03-11 | Paper |
Graph duality in surface dynamics
Journal of Nonlinear Science | 2019-10-08 | Paper |
Computing reachable sets of differential inclusions
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
An introduction to the verification of hybrid systems using \textsc{Ariadne}
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
A New Look at Azimuthal Wave Propagation Constants of an n-Layered Dielectric Coated PEC Cylinder
IEEE Transactions on Antennas and Propagation | 2017-09-20 | Paper |
Control to Facet by Piecewise-Affine Output Feedback
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
| scientific article; zbMATH DE number 6720711 (Why is no real title available?) | 2017-05-18 | Paper |
Model-checking in systems biology -- from micro to macro
Formal Methods in Macro-Biology | 2015-08-06 | Paper |
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
| Computable Stochastic Processes | 2014-09-15 | Paper |
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
International Journal of Robust and Nonlinear Control | 2014-04-08 | Paper |
Special issue on control, communication, and complexity
MCSS. Mathematics of Control, Signals, and Systems | 2014-04-08 | Paper |
Bifurcations of normally hyperbolic invariant manifolds in analytically tractable models and consequences for reaction dynamics
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2014-04-07 | Paper |
Evolutionary games and periodic fitness
Dynamic Games and Applications | 2013-09-24 | Paper |
A validated real function calculus
Mathematics in Computer Science | 2013-05-16 | Paper |
Computability and representations of the zero set
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
Lecture Notes in Computer Science | 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
SIAM Journal on Applied Dynamical Systems | 2012-04-19 | Paper |
Semantics and computability of the evolution of hybrid systems
SIAM Journal on Control and Optimization | 2011-07-22 | Paper |
Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
International Journal of Foundations of Computer Science | 2011-07-14 | Paper |
Computation of symbolic dynamics for two-dimensional piecewise-affine maps
Discrete and Continuous Dynamical Systems. Series B | 2011-06-07 | Paper |
Computation of symbolic dynamics for one-dimensional maps
Journal of Computational and Applied Mathematics | 2010-04-21 | Paper |
Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
Lecture Notes in Computer Science | 2009-11-19 | Paper |
| Effective computability of solutions of differential inclusions: the ten thousand monkeys approach | 2009-10-28 | Paper |
| Chaotic dynamics in hybrid systems | 2009-08-03 | Paper |
Tangency Bifurcations of Global Poincaré Maps
SIAM Journal on Applied Dynamical Systems | 2009-04-30 | Paper |
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Effective Computation for Nonlinear Systems
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Optimal semicomputable approximations to reachable and invariant sets
Theory of Computing Systems | 2007-09-06 | Paper |
UNIVERSAL TRELLISES
Journal of Knot Theory and Its Ramifications | 2007-06-20 | Paper |
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map
Experimental Mathematics | 2007-02-05 | Paper |
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map
Experimental Mathematics | 2007-02-05 | Paper |
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map
Experimental Mathematics | 2007-02-05 | Paper |
| scientific article; zbMATH DE number 5070045 (Why is no real title available?) | 2006-11-01 | Paper |
| Differential and integral equations | 2006-08-22 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits
Dynamical Systems | 2005-12-22 | Paper |
Continuity and computability of reachable sets
Theoretical Computer Science | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2154579 (Why is no real title available?) | 2005-04-09 | Paper |
Celebration of the 77th birthday of Professor Jun-iti Nagata
Topology and its Applications | 2005-02-22 | Paper |
Problems on universals
Topology and its Applications | 2004-08-20 | Paper |
SYMBOLIC DYNAMICS FROM HOMOCLINIC TANGLES
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2004-08-09 | Paper |
Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits
Dynamical Systems | 2004-06-22 | Paper |
Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits
Dynamical Systems | 2004-06-22 | Paper |
| scientific article; zbMATH DE number 1978365 (Why is no real title available?) | 2003-09-09 | Paper |
On dynamically presenting a topology course
Annals of Mathematics and Artificial Intelligence | 2003-06-09 | Paper |
On strict extensions of nearness spaces
Applied Categorical Structures | 2001-12-16 | Paper |
Relative periodic point theory
Topology and its Applications | 2001-10-29 | Paper |
Extensions of topological spaces with strongly-discrete remainder
Topology and its Applications | 2000-05-09 | Paper |
scientific article; zbMATH DE number 1408392 (Why is no real title available?)
(available as arXiv preprint) | 2000-02-29 | Paper |
| scientific article; zbMATH DE number 1101612 (Why is no real title available?) | 1998-06-07 | Paper |
Coverings versus entourages
Topology and its Applications | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 1107493 (Why is no real title available?) | 1998-01-21 | Paper |
Mal'tsev spaces, retral spaces and rectifiable diagonals
Topology and its Applications | 1997-09-22 | Paper |
Monotone normality
Topology and its Applications | 1997-08-07 | Paper |
| scientific article; zbMATH DE number 701383 (Why is no real title available?) | 1996-09-25 | Paper |
On submaximal spaces
Topology and its Applications | 1995-12-05 | Paper |
| scientific article; zbMATH DE number 709707 (Why is no real title available?) | 1995-08-14 | Paper |
| scientific article; zbMATH DE number 140163 (Why is no real title available?) | 1993-03-28 | Paper |
Uniform topologies on function spaces and topologies on power sets
Topology and its Applications | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 54217 (Why is no real title available?) | 1992-09-18 | Paper |
A lattice of conditions on topological spaces II
Fundamenta Mathematicae | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4054572 (Why is no real title available?) | 1988-01-01 | Paper |
| A Lattice of Conditions on Topological Spaces | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3958214 (Why is no real title available?) | 1985-01-01 | Paper |
| Criteria for Metrisability | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3581232 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3589372 (Why is no real title available?) | 1977-01-01 | Paper |
| Concordant Mappings and the Concordant-Dissonant Factorization of an Arbitrary Continuous Function | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3348990 (Why is no real title available?) | 1971-01-01 | Paper |
On Uniform Connection Properties
The American Mathematical Monthly | 1971-01-01 | Paper |
PRODUCT AND QUOTIENT TOPOLOGICAL SPACES WITH RESPECT TO A NUCLEUS
The Quarterly Journal of Mathematics | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3311565 (Why is no real title available?) | 1970-01-01 | Paper |
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
(available as arXiv preprint) | N/A | Paper |
