Pieter Collins

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

19 Article
11 Conference article in proceeding
7 Chapter
4 Conference article in journal
More
- 2 Abstract
- 1 Doctoral Thesis

ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Patel, I., Perschl, M., Schilling, C. & Tillet, J., 2025, In: EPiC Series in Computing. 108, p. 39-70 32 p.
Research output: Contribution to journal › Conference article in journal › Academic › peer-review
Recent results on computable and compositional semantics for hybrid systems
Bresolin, D., Collins, P., Geretti, L., Segala, R. & Villa, T., 2025, In: CEUR Workshop Proceedings. 3904, p. 23-29 7 p.
Research output: Contribution to journal › Conference article in journal › Academic › peer-review

Open Access
File
15 Downloads (Pure)
Rigorous Function Calculi In Ariadne
Collins, P., Geretti, L., Gonzalez, S. Z., Bresolin, D. & Villa, T., 2025, In: Logical Methods in Computer Science. 21, 3, 32 p., 28.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
Towards a verified and computable theory of compositional hybrid systems
Collins, P., Laarakker, B. & Sindorf, S., 28 Feb 2025. 1 p.
Research output: Contribution to conference › Abstract › Academic
A computable and compositional semantics for hybrid systems
Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T. & Gonzalez, S. Z., 1 Oct 2024, In: Information and Computation. 300, 38 p., 105189.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
70 Downloads (Pure)

6 Talk or presentation - at conference
2 Organizing or contributing to an event
1 Editorial activity; journal

Rigorous Numerical Computing with ARIADNE
Collins, P. (Speaker)
14 May 2020
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
Verification of Hybrid Systems with Ariadne
Collins, P. (Speaker)
20 Nov 2020
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
Rigorous Function Calculi-II
Collins, P. (Speaker)
25 Sept 2018
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
Amazeing ARIADNE
Collins, P. (Speaker)
22 Nov 2018
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
Types, Sets and Constructions
Collins, P. (Participant / Attendee)
4 Jun 2018 → 13 Jun 2018
Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic

Pieter Collins

Fingerprint

Research output

Activities