The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pieter Collins: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pieter Collins, Jan H. van Schuppen
    Observability of Piecewise-Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:265-279 [Conf]
  2. Eugene Asarin, Pieter Collins
    Noisy Turing Machines. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1031-1042 [Conf]
  3. Pieter Collins
    Continuity and computability of reachable sets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:341, n:1-3, pp:162-195 [Journal]
  4. Pieter Collins
    Effective Computation for Nonlinear Systems. [Citation Graph (0, 0)][DBLP]
    CiE, 2007, pp:169-178 [Conf]
  5. Pieter Collins
    Optimal Semicomputable Approximations to Reachable and Invariant Sets. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2007, v:41, n:1, pp:33-48 [Journal]

  6. Computability of Homology for Compact Absolute Neighbourhood Retracts. [Citation Graph (, )][DBLP]


  7. Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. [Citation Graph (, )][DBLP]


  8. A computable type theory for control systems. [Citation Graph (, )][DBLP]


  9. Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. [Citation Graph (, )][DBLP]


  10. Computability and Representations of the Zero Set. [Citation Graph (, )][DBLP]


  11. Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. [Citation Graph (, )][DBLP]


  12. The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002