| 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 | 90 | 2014 |
| 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 | 83 | 2019 |
| Quantum walking in curved spacetime P Arrighi, S Facchini, M Forets Quantum Information Processing 15, 3467-3486, 2016 | 68 | 2016 |
| Computational mathematics with SageMath P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ... Society for Industrial and Applied Mathematics, 2018 | 60 | 2018 |
| 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 | 55 | 2018 |
| Discrete Lorentz covariance for quantum walks and quantum cellular automata PASFM Forets New Journal of Physics 16 (9), 093007, 2014 | 45 | 2014 |
| 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 | 28 | 2012 |
| Explicit error bounds for Carleman linearization M Forets, A Pouly arXiv preprint arXiv:1711.02552, 2017 | 23 | 2017 |
| LazySets. jl: Scalable symbolic-numeric set computations M Forets, C Schilling arXiv preprint arXiv:2110.01711, 2021 | 15 | 2021 |
| ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics L Geretti, J Alexandre Dit Sandretto, M Althoff, L Benet, A Chapoutot, ... Proc. of the 7th International Workshop on Applied Verification of …, 2020 | 15 | 2020 |
| 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 | 15 | 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 | 14 | 2019 |
| 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 | 13 | 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 | 13 | 2021 |
| 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 | 13 | 2017 |
| 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 | 10 | 2020 |
| Semidefinite approximations of invariant measures for polynomial systems V Magron, M Forets, D Henrion arXiv preprint arXiv:1807.00754, 2018 | 9 | 2018 |
| ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ... Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 9 | 2018 |
| Quantum walks in curved spacetime P Arrighi, S Facchini, M Forets arXiv preprint arXiv:1505.07023, 2015 | 8 | 2015 |
| ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ... Proc. of the 8th International Workshop on Applied Verification of …, 2021 | 7 | 2021 |
Christian SchillingAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
