On Strict Extensions of Nearness Spaces. - Pieter J. Collins; C. A. Hendrie (Appl. Categorical Struct., 2000)

Symbolic Dynamics from homoclinic tangles. - Pieter Collins (Int. J. Bifurc. Chaos, 2002)

Observability of hybrid systems and turing machines. - Pieter Collins; Jan H. van Schuppen (CDC, 2004)

Observability of Piecewise-Affine Hybrid Systems. - Pieter Collins; Jan H. van Schuppen (HSCC, 2004)

On the Computability of Reachable and Invariant Sets. - Pieter Collins (CDC/ECC, 2005)

Computability of finite-time reachable sets for hybrid systems. - Pieter Collins; John Lygeros (CDC/ECC, 2005)

Noisy Turing Machines. - Eugene Asarin; Pieter Collins (ICALP, 2005)

Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map. - Pieter Collins (Exp. Math., 2005)

Continuity and computability of reachable sets. - Pieter Collins (Theor. Comput. Sci., 2005)

Reachability and control synthesis for piecewise-affine hybrid systems on simplices. - Luc C. G. J. M. Habets; Pieter J. Collins; Jan H. van Schuppen (IEEE Trans. Autom. Control., 2006)

Effective Computation for Nonlinear Systems. - Pieter Collins (CiE, 2007)

Optimal Semicomputable Approximations to Reachable and Invariant Sets. - Pieter Collins (Theory Comput. Syst., 2007)

Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. - Lorenzo Sella; Pieter Collins (HSCC, 2008)

Computability and Representations of the Zero Set. - Pieter Collins (CCA, 2008)

Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. - Pieter Collins; Daniel Silva Graça (CCA, 2008)

The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. - Pieter Collins; Alexandre Goldsztejn (RP, 2008)

Tangency Bifurcations of Global Poincaré Maps. - Clare M. Lee; Pieter J. Collins; Bernd Krauskopf; Hinke M. Osinga (SIAM J. Appl. Dyn. Syst., 2008)

New Concepts in the Abstract Format of the Compositional Interchange Format. - Dirk A. van Beek; Pieter Collins; D. E. Nadales Agut; Jacobus E. Rooda; Ramon R. H. Schiffelers (ADHS, 2009)

Control of Piecewise-Affine Hybrid Systems - Extended abstract. - Pieter J. Collins; Luc C. G. J. M. Habets; Mihály Petreczky; Jan H. van Schuppen (ADHS, 2009)

Sampled-data control of hybrid systems with discrete inputs and outputs. - Mihály Petreczky; Pieter Collins; Dirk A. van Beek; Jan H. van Schuppen; Jacobus E. Rooda (ADHS, 2009)

Computability of Homology for Compact Absolute Neighbourhood Retracts. - Pieter Collins (CCA, 2009)

A computable type theory for control systems. - Pieter Collins (CDC, 2009)

Controllability and falsification of hybrid systems. - Pieter Collins (ECC, 2009)

Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. - Pieter Collins; Ivan S. Zapreev (RP, 2009)

Computability and Complexity in Analysis. - Vasco Brattka; Pieter Collins; Robert Rettinger (J. Univers. Comput. Sci., 2009)

Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach. - Pieter Collins; Daniel Silva Graça (J. Univers. Comput. Sci., 2009)

Numerical solutions to noisy systems. - Sanja Zivanovic; Pieter Collins (CDC, 2010)

Computation of symbolic dynamics for one-dimensional maps. - Lorenzo Sella; Pieter Collins (J. Comput. Appl. Math., 2010)

Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems. - Pieter Collins; Ivan S. Zapreev (Int. J. Found. Comput. Sci., 2011)

A Validated Real Function Calculus. - Pieter Collins; Milad Niqui; Nathalie Revol (Math. Comput. Sci., 2011)

Tinkerbell Is Chaotic. - Alexandre Goldsztejn; Wayne B. Hayes; Pieter Collins (SIAM J. Appl. Dyn. Syst., 2011)

Semantics and Computability of the Evolution of Hybrid Systems. - Pieter Collins (SIAM J. Control. Optim., 2011)

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. - Pieter Collins; Davide Bresolin; Luca Geretti; Tiziano Villa (ADHS, 2012)

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. - Luca Benvenuti; Davide Bresolin; Pieter Collins; Alberto Ferrari; Luca Geretti; Tiziano Villa (RP, 2012)

Evolutionary Games and Periodic Fitness. - Philippe Uyttendaele; Frank Thuijsman; Pieter Collins; Ralf Peeters; Gijs Schoenmakers; Ronald L. Westra (Dyn. Games Appl., 2012)

Control to Facet by Piecewise-Affine Output Feedback. - Luc C. G. J. M. Habets; Pieter J. Collins; Jan H. van Schuppen (IEEE Trans. Autom. Control., 2012)

Counterexample Generation for Hybrid Automata. - Johanna Nellen; Erika Ábrahám; Xin Chen 002; Pieter Collins (FTSCS, 2013)

Special issue on control, communication, and complexity. - Charalambos D. Charalambous; Pieter Collins; Fritz Colonius (Math. Control. Signals Syst., 2013)

Myokit: A Framework for Computational Cellular Electrophysiology. - Michael Clerx; Paul G. A. Volders; Pieter Collins (CinC, 2014)

Model-Checking in Systems Biology - From Micro to Macro. - Pieter Collins (FMMB, 2014)

Applying Novel Identification Protocols to Markov Models of INa. - Michael Clerx; Pieter Collins; Paul G. A. Volders (CinC, 2015)

Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression. - David Roschewitz; Kurt Driessens; Pieter Collins (BNCAI, 2017)

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. - Luca Geretti; Davide Bresolin; Pieter Collins; Sanja Zivanovic Gonzalez; Tiziano Villa (ICTSS, 2017)

Heterogeneous Domain Adaptation Based on Class Decomposition Schemes. - Firat Ismailoglu; Evgueni N. Smirnov; Ralf Peeters; Shuang Zhou 001; Pieter Collins (PAKDD (1), 2018)

Rigorous Continuous Evolution of Uncertain Systems. - Luca Geretti; Sanja Zivanovic Gonzalez; Pieter Collins; Davide Bresolin; Tiziano Villa (NSV@CAV, 2019)

Graph Duality in Surface Dynamics. - Pieter Collins; Kevin A. Mitchell (J. Nonlinear Sci., 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

A computable and compositional semantics for hybrid automata. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (HSCC, 2020)

Higher Order Method for Differential Inclusions. - Sanja Zivanovic Gonzalez; Pieter Collins; Luca Geretti; Davide Bresolin; Tiziano Villa (CoRR, 2020)

Computable analysis with applications to dynamic systems. - Pieter Collins (Math. Struct. Comput. Sci., 2020)

Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes. - Firat Ismailoglu; Rachel Cavill; Evgueni N. Smirnov; Shuang Zhou 001; Pieter Collins; Ralf Peeters (IEEE ACM Trans. Comput. Biol. Bioinform., 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)

Computable Random Variables and Conditioning. - Pieter Collins (CoRR, 2021)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. - Franz Brauße; Pieter Collins; Martin Ziegler 001 (CASC, 2022)

Automating Numerical Parameters Along the Evolution of a Nonlinear System. - Luca Geretti; Pieter Collins; Davide Bresolin; Tiziano Villa (RV, 2022)

Explainable AI through the Learning of Arguments. - Jonas Bei; David Pomerenke; Lukas Schreiner; Sepideh Sharbaf; Pieter Collins; Nico Roos (CoRR, 2022)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

Rigorous Function Calculi in Ariadne. - Pieter Collins; Luca Geretti; Sanja Zivanovic Gonzalez; Davide Bresolin; Tiziano Villa (CoRR, 2023)

Recent Results on Computable and Compositional Semantics for Hybrid Systems. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa (OVERLAY, 2024)

A computable and compositional semantics for hybrid systems. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (Inf. Comput., 2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. - Sewon Park 001; Franz Brauße; Pieter Collins; SunYoung Kim; Michal Konecný; Gyesik Lee; Norbert Th. Müller; Eike Neumann; Norbert Preining; Martin Ziegler 001 (Log. Methods Comput. Sci., 2024)