default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPieter Collins
Person information
- affiliation: Maastricht University, Department of Knowledge Engineering, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j22]Davide Bresolin
, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid systems. Inf. Comput. 300: 105189 (2024)- [j21]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) - 2023
- [c35]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: 61-88 - [i4]Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa:
Rigorous Function Calculi in Ariadne. CoRR abs/2306.17541 (2023) - 2022
- [c34]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: 86-112 - [c33]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: 62-82 - [c32]Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV 2022: 336-345 - [i3]Jonas Bei, David Pomerenke, Lukas Schreiner, Sepideh Sharbaf, Pieter Collins, Nico Roos:
Explainable AI through the Learning of Arguments. CoRR abs/2202.00383 (2022) - 2021
- [c31]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: 32-54 - [i2]Pieter Collins:
Computable Random Variables and Conditioning. CoRR abs/2101.00956 (2021) - 2020
- [j20]Pieter Collins:
Computable analysis with applications to dynamic systems. Math. Struct. Comput. Sci. 30(2): 173-233 (2020) - [j19]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): 347-353 (2020) - [c30]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: 49-75 - [c29]Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid automata. HSCC 2020: 18:1-18:11 - [i1]Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa:
Higher Order Method for Differential Inclusions. CoRR abs/2001.11330 (2020)
2010 – 2019
- 2019
- [j18]Pieter Collins, Kevin A. Mitchell:
Graph Duality in Surface Dynamics. J. Nonlinear Sci. 29(5): 2103-2135 (2019) - [c28]Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV 2019: 60-75 - 2018
- [c27]Firat Ismailoglu, Evgueni N. Smirnov, Ralf Peeters, Shuang Zhou, Pieter Collins:
Heterogeneous Domain Adaptation Based on Class Decomposition Schemes. PAKDD (1) 2018: 169-182 - 2017
- [c26]David Roschewitz, Kurt Driessens, Pieter Collins:
Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression. BNCAI 2017: 116-130 - [c25]Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa:
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS 2017: 313-319 - 2015
- [c24]Michael Clerx, Pieter Collins, Paul G. A. Volders:
Applying Novel Identification Protocols to Markov Models of INa. CinC 2015: 889-892 - 2014
- [c23]Michael Clerx, Paul G. A. Volders, Pieter Collins:
Myokit: A Framework for Computational Cellular Electrophysiology. CinC 2014: 229-232 - [c22]Pieter Collins:
Model-Checking in Systems Biology - From Micro to Macro. FMMB 2014: 1-22 - 2013
- [j17]Charalambos D. Charalambous, Pieter Collins, Fritz Colonius:
Special issue on control, communication, and complexity. Math. Control. Signals Syst. 25(4): 433-436 (2013) - [c21]Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. FTSCS 2013: 88-106 - 2012
- [j16]Philippe Uyttendaele, Frank Thuijsman, Pieter Collins, Ralf Peeters, Gijs Schoenmakers, Ronald L. Westra:
Evolutionary Games and Periodic Fitness. Dyn. Games Appl. 2(3): 335-345 (2012) - [j15]Luc C. G. J. M. Habets, Pieter J. Collins, Jan H. van Schuppen:
Control to Facet by Piecewise-Affine Output Feedback. IEEE Trans. Autom. Control. 57(11): 2831-2843 (2012) - [c20]Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa:
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS 2012: 284-290 - [c19]Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 - 2011
- [j14]Pieter Collins, Ivan S. Zapreev:
Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems. Int. J. Found. Comput. Sci. 22(4): 801-821 (2011) - [j13]Pieter Collins, Milad Niqui, Nathalie Revol:
A Validated Real Function Calculus. Math. Comput. Sci. 5(4): 437-467 (2011) - [j12]Alexandre Goldsztejn, Wayne B. Hayes, Pieter Collins:
Tinkerbell Is Chaotic. SIAM J. Appl. Dyn. Syst. 10(4): 1480-1501 (2011) - [j11]Pieter Collins:
Semantics and Computability of the Evolution of Hybrid Systems. SIAM J. Control. Optim. 49(2): 890-925 (2011) - 2010
- [j10]Lorenzo Sella, Pieter Collins:
Computation of symbolic dynamics for one-dimensional maps. J. Comput. Appl. Math. 234(2): 418-436 (2010) - [c18]Sanja Zivanovic, Pieter Collins:
Numerical solutions to noisy systems. CDC 2010: 798-803
2000 – 2009
- 2009
- [j9]Vasco Brattka, Pieter Collins, Robert Rettinger:
Computability and Complexity in Analysis. J. Univers. Comput. Sci. 15(6): 1143-1144 (2009) - [j8]Pieter Collins, Daniel Silva Graça:
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach. J. Univers. Comput. Sci. 15(6): 1162-1185 (2009) - [c17]Pieter J. Collins, Luc C. G. J. M. Habets, Mihály Petreczky, Jan H. van Schuppen:
Control of Piecewise-Affine Hybrid Systems - Extended abstract. ADHS 2009: 234-237 - [c16]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: 250-255 - [c15]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: 334-339 - [c14]Pieter Collins:
Computability of Homology for Compact Absolute Neighbourhood Retracts. CCA 2009 - [c13]Pieter Collins:
A computable type theory for control systems. CDC 2009: 5538-5543 - [c12]Pieter Collins:
Controllability and falsification of hybrid systems. ECC 2009: 4374-4379 - [c11]Pieter Collins, Ivan S. Zapreev:
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP 2009: 107-119 - 2008
- [j7]Clare M. Lee, Pieter J. Collins, Bernd Krauskopf, Hinke M. Osinga:
Tangency Bifurcations of Global Poincaré Maps. SIAM J. Appl. Dyn. Syst. 7(3): 712-754 (2008) - [c10]Lorenzo Sella, Pieter Collins:
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. HSCC 2008: 486-499 - [c9]Pieter Collins:
Computability and Representations of the Zero Set. CCA 2008: 37-43 - [c8]Pieter Collins, Alexandre Goldsztejn:
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. RP 2008: 87-102 - [c7]Pieter Collins, Daniel Silva Graça:
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. CCA 2008: 103-114 - 2007
- [j6]Pieter Collins:
Optimal Semicomputable Approximations to Reachable and Invariant Sets. Theory Comput. Syst. 41(1): 33-48 (2007) - [c6]Pieter Collins:
Effective Computation for Nonlinear Systems. CiE 2007: 169-178 - 2006
- [j5]Luc C. G. J. M. Habets, Pieter J. Collins, Jan H. van Schuppen:
Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Autom. Control. 51(6): 938-948 (2006) - 2005
- [j4]Pieter Collins:
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map. Exp. Math. 14(1): 75-86 (2005) - [j3]Pieter Collins:
Continuity and computability of reachable sets. Theor. Comput. Sci. 341(1-3): 162-195 (2005) - [c5]Pieter Collins:
On the Computability of Reachable and Invariant Sets. CDC/ECC 2005: 4187-4192 - [c4]Pieter Collins, John Lygeros:
Computability of finite-time reachable sets for hybrid systems. CDC/ECC 2005: 4688-4693 - [c3]Eugene Asarin, Pieter Collins:
Noisy Turing Machines. ICALP 2005: 1031-1042 - 2004
- [c2]Pieter Collins, Jan H. van Schuppen:
Observability of hybrid systems and turing machines. CDC 2004: 7-12 - [c1]Pieter Collins, Jan H. van Schuppen:
Observability of Piecewise-Affine Hybrid Systems. HSCC 2004: 265-279 - 2002
- [j2]Pieter Collins:
Symbolic Dynamics from homoclinic tangles. Int. J. Bifurc. Chaos 12(3): 605-617 (2002) - 2000
- [j1]Pieter J. Collins, C. A. Hendrie:
On Strict Extensions of Nearness Spaces. Appl. Categorical Struct. 8(3): 435-446 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 02:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
