| JuliaReach: a toolbox for set-based reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 139 | 2019 |
| The Dirac equation as a quantum walk: higher dimensions, observational convergence P Arrighi, V Nesme, M Forets Journal of Physics A: Mathematical and Theoretical 47 (46), 465302, 2014 | 93 | 2014 |
| Computational mathematics with SageMath P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ... Society for Industrial and Applied Mathematics, 2018 | 70 | 2018 |
| Quantum walking in curved spacetime P Arrighi, S Facchini, M Forets Quantum Information Processing 15, 3467-3486, 2016 | 66 | 2016 |
| Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices S Bogomolov, M Forets, G Frehse, F Viry, A Podelski, C Schilling Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 61 | 2018 |
| Discrete Lorentz covariance for quantum walks and quantum cellular automata PASFM Forets New Journal of Physics 16 (9), 093007, 2014 | 50 | 2014 |
| Verification of neural-network control systems by integrating Taylor models and zonotopes C Schilling, M Forets, S Guadalupe Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 8169-8177, 2022 | 43 | 2022 |
| Explicit error bounds for Carleman linearization M Forets, A Pouly arXiv preprint arXiv:1711.02552, 2017 | 35 | 2017 |
| ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ... ARCH@ CPSIoTWeek, 103-119, 2019 | 32* | 2019 |
| Spatial quantum search in a triangular network G Abal, R Donangelo, M Forets, R Portugal Mathematical Structures in Computer Science 22 (3), 521-531, 2012 | 30 | 2012 |
| LazySets. jl: Scalable symbolic-numeric set computations M Forets, C Schilling arXiv preprint arXiv:2110.01711, 2021 | 25 | 2021 |
| ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... 7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020 | 21 | 2020 |
| Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... 9th International Workshop on Applied Verification of Continuous and Hybrid …, 2022 | 18 | 2022 |
| ARCH-COMP21 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants TT Johnson, D Manzanas Lopez, L Benet, M Forets, S Guadalupe, ... EPiC Series in Computing 80, 2021 | 17 | 2021 |
| ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ... EPiC Series in Computing 61, 2019 | 17 | 2019 |
| ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ... Proc. of the 6th International Workshop on Applied Verification of …, 2019 | 16 | 2019 |
| Constructing verification models of nonlinear Simulink systems via syntactic hybridization N Kekatos, M Forets, G Frehse 2017 ieee 56th annual conference on decision and control (cdc), 1788-1795, 2017 | 14 | 2017 |
| Semidefinite approximations of invariant measures for polynomial systems V Magron, M Forets, D Henrion arXiv preprint arXiv:1807.00754, 2018 | 13 | 2018 |
| Reachability analysis of linear hybrid systems via block decomposition S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 12 | 2020 |
| ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 11 | 2021 |
Christian SchillingAssociate Professor at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
