Pieter Collins

	2011
21		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)
20		Pieter Collins, Milad Niqui, Nathalie Revol: A Validated Real Function Calculus. Mathematics in Computer Science 5(4): 437-467 (2011)
19		Alexandre Goldsztejn, Wayne Hayes, Pieter Collins: Tinkerbell Is Chaotic. SIAM J. Applied Dynamical Systems 10(4): 1480-1501 (2011)
18		Pieter Collins: Semantics and Computability of the Evolution of Hybrid Systems. SIAM J. Control and Optimization 49(2): 890-925 (2011)
	2010
17		Sanja Zivanovic, Pieter Collins: Numerical solutions to noisy systems. CDC 2010: 798-803
16		Lorenzo Sella, Pieter Collins: Computation of symbolic dynamics for one-dimensional maps. J. Computational Applied Mathematics 234(2): 418-436 (2010)
	2009
15		Pieter Collins: Computability of Homology for Compact Absolute Neighbourhood Retracts. CCA 2009
14		Pieter Collins: A computable type theory for control systems. CDC 2009: 5538-5543
13		Pieter Collins, Ivan S. Zapreev: Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP 2009: 107-119
12		Vasco Brattka, Pieter Collins, Robert Rettinger: Computability and Complexity in Analysis. J. UCS 15(6): 1143-1144 (2009)
11		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)
	2008
10		Lorenzo Sella, Pieter Collins: Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. HSCC 2008: 486-499
9		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)
8		Pieter Collins: Computability and Representations of the Zero Set. Electr. Notes Theor. Comput. Sci. 221: 37-43 (2008)
7		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)
	2007
6		Pieter Collins: Effective Computation for Nonlinear Systems. CiE 2007: 169-178
5		Pieter Collins: Optimal Semicomputable Approximations to Reachable and Invariant Sets. Theory Comput. Syst. 41(1): 33-48 (2007)
	2005
4		Eugene Asarin, Pieter Collins: Noisy Turing Machines. ICALP 2005: 1031-1042
3		Pieter Collins: Continuity and computability of reachable sets. Theor. Comput. Sci. 341(1-3): 162-195 (2005)
	2004
2		Pieter Collins, Jan H. van Schuppen: Observability of Piecewise-Affine Hybrid Systems. HSCC 2004: 265-279
	2002
1		Pieter Collins: Symbolic Dynamics from homoclinic tangles. I. J. Bifurcation and Chaos 12(3): 605-617 (2002)

Coauthor Index

1	Eugene Asarin	[4]
2	Vasco Brattka	[12]
3	Alexandre Goldsztejn	[7] [19]
4	Daniel S. Graça	[9] [11]
5	Wayne Hayes	[19]
6	Milad Niqui	[20]
7	Robert Rettinger	[12]
8	Nathalie Revol	[20]
9	Jan H. van Schuppen	[2]
10	Lorenzo Sella	[10] [16]
11	Ivan S. Zapreev	[13] [21]
12	Sanja Zivanovic	[17]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page