Follow
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
822014
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
612019
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15 (8), 3467-3486, 2016
522016
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
502018
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
462018
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
432014
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
272012
Explicit error bounds for carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
192017
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
132019
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
112019
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
92020
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
92017
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
82020
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
82018
Quantum walks in curved spacetime
P Arrighi, S Facchini, M Forets
arXiv preprint arXiv:1505.07023, 2015
82015
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
62021
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
52019
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
52018
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
42022
Conservative time discretization: a comparative study
M Forets, C Schilling
International Conference on Integrated Formal Methods, 149-167, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20