Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Pieter Collins

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rp/BenvenutiBCFGV12
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijfcs/CollinsZ11
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mics/CollinsNR11
- ask others
Pieter Collins, Milad Niqui, Nathalie Revol: A Validated Real Function Calculus. Mathematics in Computer Science 5(4): 437-467 (2011)
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/siamads/GoldsztejnHC11
- ask others
Alexandre Goldsztejn, Wayne Hayes, Pieter Collins: Tinkerbell Is Chaotic. SIAM J. Applied Dynamical Systems 10(4): 1480-1501 (2011)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/siamco/Collins11
- ask others
Pieter Collins: Semantics and Computability of the Evolution of Hybrid Systems. SIAM J. Control and Optimization 49(2): 890-925 (2011)
2010
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcam/SellaC10
- ask others
Lorenzo Sella, Pieter Collins: Computation of symbolic dynamics for one-dimensional maps. J. Computational Applied Mathematics 234(2): 418-436 (2010)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/ZivanovicC10
- ask others
Sanja Zivanovic, Pieter Collins: Numerical solutions to noisy systems. CDC 2010: 798-803

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j9]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/BrattkaCR09
- ask others
Vasco Brattka, Pieter Collins, Robert Rettinger: Computability and Complexity in Analysis. J. UCS 15(6): 1143-1144 (2009)
[j8]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/CollinsG09
- ask others
Pieter Collins, Daniel S. Graça: Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach. J. UCS 15(6): 1162-1185 (2009)
[c6]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cca/Collins09
- ask others
Pieter Collins: Computability of Homology for Compact Absolute Neighbourhood Retracts. CCA 2009
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/Collins09
- ask others
Pieter Collins: A computable type theory for control systems. CDC 2009: 5538-5543
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rp/CollinsZ09
- ask others
Pieter Collins, Ivan S. Zapreev: Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP 2009: 107-119
2008
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Collins08
- ask others
Pieter Collins: Computability and Representations of the Zero Set. Electr. Notes Theor. Comput. Sci. 221: 37-43 (2008)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CollinsG08
- ask others
Pieter Collins, Daniel S. Graça: Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. Electr. Notes Theor. Comput. Sci. 221: 103-114 (2008)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CollinsG08a
- ask others
Pieter Collins, Alexandre Goldsztejn: The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. Electr. Notes Theor. Comput. Sci. 223: 87-102 (2008)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/SellaC08
- ask others
Lorenzo Sella, Pieter Collins: Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. HSCC 2008: 486-499
2007
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Collins07
- ask others
Pieter Collins: Optimal Semicomputable Approximations to Reachable and Invariant Sets. Theory Comput. Syst. 41(1): 33-48 (2007)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cie/Collins07
- ask others
Pieter Collins: Effective Computation for Nonlinear Systems. CiE 2007: 169-178
2005
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/em/Collins05
- ask others
Pieter Collins: Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map. Experimental Mathematics 14(1): 75-86 (2005)
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Collins05
- ask others
Pieter Collins: Continuity and computability of reachable sets. Theor. Comput. Sci. 341(1-3): 162-195 (2005)
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/AsarinC05
- ask others
Eugene Asarin, Pieter Collins: Noisy Turing Machines. ICALP 2005: 1031-1042
2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijbc/Collins02
- ask others
Pieter Collins: Symbolic Dynamics from homoclinic tangles. I. J. Bifurcation and Chaos 12(3): 605-617 (2002)