Marcelo Alejandro Forets Irurtia
Marcelo Alejandro Forets Irurtia
Universidad de la República
Dirección de correo verificada de utec.edu.uy - Página principal
Título
Citado por
Citado por
Año
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
662014
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
392014
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15 (8), 3467-3486, 2016
372016
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
212018
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
182012
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
122019
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
102018
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
62018
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
52017
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, ...
ARCH19. 6th International Workshop on Applied Verification of Continuous and …, 2019
32019
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
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, 41-61, 2019
22019
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
22018
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
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
Occupation measure methods for modelling and analysis of biological hybrid automata
A Rocca, M Forets, V Magron, E Fanchon, T Dang
arXiv preprint arXiv:1710.03158, 2017
2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20