Concepedia

Marcelo Forets

MF

Statistics

Publications

9

Citations

190

H-Index

9

Active since

2012

Affiliations

Universidad de la República de Uruguay(Current)

Aalborg University

Vanderbilt University

Universidad de Montevideo

Technical University of Munich

Marcelo Forets is an author at Universidad de la República de Uruguay specializing in computer science, computing, and systems engineering.

ORCID

Publications per year

2012–2023

9

Publications

9

Discrete Lorentz covariance for quantum walks and quantum cellular automata

Pablo Arrighi, Stefano Facchini, Marcelo Forets · New Journal of Physics · 2014 · 47 citations · Full text

, , +14

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

Christian Schilling, Marcelo Forets, Sebastián Guadalupe · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 33 citations · Full text

, , +16

Spatial quantum search in a triangular network

G. Abal, R. Donangelo, Marcelo Forets et al. · Mathematical Structures in Computer Science · 2012 · 21 citations · Full text

, , +15

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Matthias Althoff, Luis Benet et al. · EPiC series in computing · 2022 · 18 citations · Full text

, , +15

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets et al. · EPiC series in computing · 2023 · 18 citations · Full text

, , +15

1–5 of 9