Marcelo Alejandro Forets Irurtia
Marcelo Alejandro Forets Irurtia
Universidad de la República
Verified email at utec.edu.uy - Homepage
Title
Cited by
Cited by
Year
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
602014
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15 (8), 3467-3486, 2016
422016
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
402014
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
232018
Spatial quantum search in a triangular network
G Abal, R Donangelo, M Forets, R Portugal
arXiv preprint arXiv:1009.1422, 2010
212010
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
162018
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
142019
Quantum walks in curved spacetime
P Arrighi, S Facchini, M Forets
arXiv preprint arXiv:1505.07023, 2015
82015
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
72018
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
62017
Explicit error bounds for carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
62017
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, ...
ARCH@ CPSIoTWeek, 14-40, 2019
52019
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
32019
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
32018
Modeling the wind turbine benchmark with PWA hybrid automata
N Kekatos, M Forets, G Frehse
EPiC Series in Computing 48, 100-113, 2017
32017
Occupation measure methods for modelling and analysis of biological hybrid automata
T Dang, E Fanchon, M Forets, V Magron, A Rocca
arXiv preprint arXiv:1710.03158, 2017
32017
Occupation measure methods for modelling and analysis of biological hybrid systems
A Rocca, M Forets, V Magron, E Fanchon, T Dang
IFAC-PapersOnLine 51 (16), 181-186, 2018
22018
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
M Forets, D Freire, C Schilling
arXiv preprint arXiv:2006.12325, 2020
2020
Reachability analysis of linear hybrid systems via block decomposition
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
arXiv preprint arXiv:1905.02458, 2019
2019
Mathematical Computation with SageMath (temporary title)
A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, F Maltey, ...
published by the authors, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20