PhD. Eng. Marcelo Forets Researcher in Applied Mathematics


This section contains publications at peer-reviewed journals or conference proceedings with reviewing committee.

Hybrid Systems and Formal Verification

  1. Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
    Nikolaos Kekatos, M. F., Goran Frehse.
    In Applied Verification for Continuous and Hybrid Systems, 2017 Edition.
    Download pre-print: [HAL]
    Keywords: reachability analysis, compositional methods, nonlinear control systems, SpaceEx.

Quantum Random Walks

  1. Quantum Walking in Curved Spacetime.
    Pablo Arrighi, Stefano Facchini, M. F.
    Quantum Information Processing (2016) 15: 3467.
    Download pre-print: [arXiv - quant-ph].

  2. Discrete Lorentz covariance for Quantum Walks and Quantum Cellular Automata.
    Pablo Arrighi, Stefano Facchini, M. F.
    New Journal of Physics 16 (2014) 093007.
    Download pre-print: [arXiv - quant-ph].

  3. The Dirac equation as a quantum walk: higher dimensions, observational convergence.
    Pablo Arrighi, Vincent Nesme and M. F.
    J. Phys. A: Math. Theor. 47 (2014) 465302
    Download pre-print: [arXiv - quant-ph].

  4. Spatial quantum search in a triangular network.
    Gonzalo Abal, Raul Donangelo, M. F., Renato Portugal.
    Mathematical Structures in Computer Science, 22, pp 521-531, Cambridge University Press
    Download pre-print: [arXiv - quant-ph].