| 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 | 82 | 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 | 61 | 2019 |
| Quantum walking in curved spacetime P Arrighi, S Facchini, M Forets Quantum Information Processing 15 (8), 3467-3486, 2016 | 52 | 2016 |
| Computational mathematics with SageMath P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ... Society for Industrial and Applied Mathematics, 2018 | 50 | 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 | 46 | 2018 |
| Discrete Lorentz covariance for quantum walks and quantum cellular automata PASFM Forets New Journal of Physics 16 (9), 093007, 2014 | 43 | 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 | 27 | 2012 |
| Explicit error bounds for carleman linearization M Forets, A Pouly arXiv preprint arXiv:1711.02552, 2017 | 19 | 2017 |
| 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 | 13 | 2019 |
| 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, ... Proc. of the 6th International Workshop on Applied Verification of …, 2019 | 11 | 2019 |
| ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... ARCH, 49-75, 2020 | 9 | 2020 |
| 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 | 9 | 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 | 8 | 2020 |
| 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 | 8 | 2018 |
| Quantum walks in curved spacetime P Arrighi, S Facchini, M Forets arXiv preprint arXiv:1505.07023, 2015 | 8 | 2015 |
| ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. TT Johnson, DM Lopez, L Benet, M Forets, S Guadalupe, C Schilling, ... ARCH@ ADHS, 90-119, 2021 | 6 | 2021 |
| guberger, R B Legat, R Deits, O Evans, G Goretkin, T Koolen, J Huchette, D Oyama, ... Schwarz, E. Saba, and C. Coleman,“JuliaPolyhedra/Polyhedra. jl: v0 5, 2019 | 5 | 2019 |
| Semidefinite approximations of invariant measures for polynomial systems V Magron, M Forets, D Henrion arXiv preprint arXiv:1807.00754, 2018 | 5 | 2018 |
| Combining set propagation with finite element methods for time integration in transient solid mechanics problems M Forets, DF Caporale, JMP Zerpa Computers & Structures 259, 106699, 2022 | 4 | 2022 |
| Conservative time discretization: a comparative study M Forets, C Schilling International Conference on Integrated Formal Methods, 149-167, 2022 | 4 | 2022 |
Christian SchillingAalborg UniversityVerified email at cs.aau.dk
