Pieter Collins

	2009
11		Pieter Collins, Ivan S. Zapreev: Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP 2009: 107-119
	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	Alexandre Goldsztejn	[7]
3	Daniel S. Graça	[9]
4	Jan H. van Schuppen	[2]
5	Lorenzo Sella	[10]
6	Ivan S. Zapreev	[11]

Colors in the list of coauthors