Marcelo Alejandro Forets Irurtia
Marcelo Alejandro Forets Irurtia
Universidad de la República
כתובת אימייל מאומתת בדומיין utec.edu.uy - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
632014
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15 (8), 3467-3486, 2016
462016
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
402014
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
342018
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
342018
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
312019
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
252012
Explicit error bounds for carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
112017
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
102019
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
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-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
72019
guberger, R
B Legat, R Deits, O Evans, G Goretkin, T Koolen, J Huchette, D Oyama, ...
Schwarz, H. Ferrolho, E. Saba, and C. Coleman,“JuliaPolyhedra/Polyhedra. jl …, 2020
52020
Arch-comp20 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
EPiC Series in Computing 74, 49-75, 2020
42020
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
42018
Modeling the wind turbine benchmark with PWA hybrid automata
N Kekatos, M Forets, G Frehse
EPiC Series in Computing 48, 100-113, 2017
42017
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
32020
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-comp20 category report: continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ...
EPiC Series in Computing 74, 16-48, 2020
22020
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20