No photo of Pieter Collins

Pieter Collins

 https://orcid.org/0000-0002-8896-9603
19992024

Research activity per year

Fingerprint

Dive into the research topics where Pieter Collins is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

  • Semantics, Specification Logic, And Hoare Logic Of Exact Real Computation

    Park, S., Brausse, F., Collins, P., Kim, S., Konecny, M., Lee, G., Mueller, N., Neumann, E., Preining, N. & Ziegler, M., 2024, In: Logical Methods in Computer Science. 20, 2, 55 p., 17.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • A higher order method for input-affine uncertain systems

    Gonzalez, S. Z., Geretti, L., Bresolin, D., Villa, T. & Collins, P., 1 Feb 2023, In: Nonlinear Analysis-Hybrid Systems. 47, 19 p., 101266.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    31 Downloads (Pure)

  • ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 18 Oct 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Vol. 96. p. 61-88 28 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic

    Open Access
    1 Downloads (Pure)

  • ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 1 Jan 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Vol. 90. p. 86-112 27 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

    Open Access
    File
    60 Downloads (Pure)

  • Automating Numerical Parameters Along the Evolution of a Nonlinear System

    Geretti, L., Collins, P., Bresolin, D. & Villa, T., 2022, RUNTIME VERIFICATION (RV 2022). Springer International Publishing AG, Vol. 13498. p. 336-345 10 p. (Lecture Notes in Computer Science, Vol. 13498).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    46 Downloads (Pure)
View all 36 research outputs
  • 6 Talk or presentation - at conference
  • 2 Organizing or contributing to an event
  • 1 Editorial activity; journal
View all 9 activities