Pieter Collins

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 20

Top Topics

Domain Adaptation

Top Venues

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
Rigorous Function Calculi in Ariadne. CoRR (2023)
Franz Brauße, Pieter Collins, Martin Ziegler
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. CASC (2022)
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV (2022)
Jonas Bei, David Pomerenke, Lukas Schreiner, Sepideh Sharbaf, Pieter Collins, Nico Roos
Explainable AI through the Learning of Arguments. CoRR (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Pieter Collins
Computable Random Variables and Conditioning. CoRR (2021)
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, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
Higher Order Method for Differential Inclusions. CoRR (2020)
Firat Ismailoglu, Rachel Cavill, Evgueni N. Smirnov, Shuang Zhou, Pieter Collins, Ralf Peeters
Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (1) (2020)
Pieter Collins
Computable analysis with applications to dynamic systems. Math. Struct. Comput. Sci. 30 (2) (2020)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Pieter Collins, Kevin A. Mitchell
Graph Duality in Surface Dynamics. J. Nonlinear Sci. 29 (5) (2019)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Firat Ismailoglu, Evgueni N. Smirnov, Ralf Peeters, Shuang Zhou, Pieter Collins
Heterogeneous Domain Adaptation Based on Class Decomposition Schemes. PAKDD (1) (2018)
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS (2017)
David Roschewitz, Kurt Driessens, Pieter Collins
Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression. BNCAI (2017)
Michael Clerx, Pieter Collins, Paul G. A. Volders
Applying Novel Identification Protocols to Markov Models of INa. CinC (2015)
Pieter Collins
Model-Checking in Systems Biology - From Micro to Macro. FMMB (2014)
Michael Clerx, Paul G. A. Volders, Pieter Collins
Myokit: A Framework for Computational Cellular Electrophysiology. CinC (2014)
Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
Counterexample Generation for Hybrid Automata. FTSCS (2013)
Charalambos D. Charalambous, Pieter Collins, Fritz Colonius
Special issue on control, communication, and complexity. Math. Control. Signals Syst. 25 (4) (2013)
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Philippe Uyttendaele, Frank Thuijsman, Pieter Collins, Ralf Peeters, Gijs Schoenmakers, Ronald L. Westra
Evolutionary Games and Periodic Fitness. Dyn. Games Appl. 2 (3) (2012)
Pieter Collins
Semantics and Computability of the Evolution of Hybrid Systems. SIAM J. Control. Optim. 49 (2) (2011)
Pieter Collins, Ivan S. Zapreev
on Discrete-Time and Continuous-Space Dynamic Systems. Int. J. Found. Comput. Sci. 22 (4) (2011)
Pieter Collins, Milad Niqui, Nathalie Revol
A Validated Real Function Calculus. Math. Comput. Sci. 5 (4) (2011)
Alexandre Goldsztejn, Wayne B. Hayes, Pieter Collins
Tinkerbell Is Chaotic. SIAM J. Appl. Dyn. Syst. 10 (4) (2011)
Lorenzo Sella, Pieter Collins
Computation of symbolic dynamics for one-dimensional maps. J. Comput. Appl. Math. 234 (2) (2010)
Sanja Zivanovic, Pieter Collins
Numerical solutions to noisy systems. CDC (2010)
Vasco Brattka, Pieter Collins, Robert Rettinger
Computability and Complexity in Analysis. J. Univers. Comput. Sci. 15 (6) (2009)
Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
Sampled-data control of hybrid systems with discrete inputs and outputs. ADHS (2009)
Pieter Collins
Computability of Homology for Compact Absolute Neighbourhood Retracts. CCA (2009)
Pieter Collins
Controllability and falsification of hybrid systems. ECC (2009)
Pieter Collins, Ivan S. Zapreev
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP (2009)
Pieter Collins
A computable type theory for control systems. CDC (2009)
Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
New Concepts in the Abstract Format of the Compositional Interchange Format. ADHS (2009)
Pieter Collins, Daniel Silva Graça
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach. J. Univers. Comput. Sci. 15 (6) (2009)
Pieter Collins, Daniel Silva Graça
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. Electron. Notes Theor. Comput. Sci. 221 (2008)
Pieter Collins
Computability and Representations of the Zero Set. Electron. Notes Theor. Comput. Sci. 221 (2008)
Pieter Collins, Alexandre Goldsztejn
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. Electron. Notes Theor. Comput. Sci. 223 (2008)
Lorenzo Sella, Pieter Collins
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. HSCC (2008)
Pieter Collins
Effective Computation for Nonlinear Systems. CiE (2007)
Pieter Collins
Optimal Semicomputable Approximations to Reachable and Invariant Sets. Theory Comput. Syst. 41 (1) (2007)
Pieter Collins, John Lygeros
Computability of finite-time reachable sets for hybrid systems. CDC/ECC (2005)
Pieter Collins
On the Computability of Reachable and Invariant Sets. CDC/ECC (2005)
Pieter Collins
Continuity and computability of reachable sets. Theor. Comput. Sci. 341 (1-3) (2005)
Pieter Collins
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map. Exp. Math. 14 (1) (2005)
Eugene Asarin, Pieter Collins
Noisy Turing Machines. ICALP (2005)
Pieter Collins, Jan H. van Schuppen
Observability of hybrid systems and turing machines. CDC (2004)
Pieter Collins, Jan H. van Schuppen
Observability of Piecewise-Affine Hybrid Systems. HSCC (2004)
Pieter Collins
Symbolic Dynamics from homoclinic tangles. Int. J. Bifurc. Chaos 12 (3) (2002)