COLLINS, Pieter John

COLLINS, Pieter John  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.002 secondi).
Titolo Data di pubblicazione Autore(i) File
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2020 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2021 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2022 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2023 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2024 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; Wetzlinger, Mark
Automating Numerical Parameters Along the Evolution of a Nonlinear System 1-gen-2022 Geretti, L; Collins, P; Bresolin, D; Villa, T
Rigorous continuous evolution of uncertain systems 1-gen-2019 Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano