PhD. Eng. Marcelo Forets Researcher in Applied Mathematics

Collaborators

Here I keep track of people with whom I coauthor scientific papers, past or ongoing. It is organized into these topics (though there are overlaps):

In each table, the ordering is alphabetical. I apologize if there are outdated entries (e.g. affiliations).

Hybrid Systems and Formal Verification

Keywords: hybrid systems, formal verification, cyber-physical systems.

Name Affiliation
Sergiy Bogomolov College of Engineering and Computer Science, ANU, Australia.
Thao Dang VERIMAG, Univ. Grenoble Alpes, France.
Goran Frehse VERIMAG, Univ. Grenoble Alpes, France.
Eric Fanchon TIMC-IMAG Lab., Fac. de Médecine, Grenoble, France.
Nikolaos Kekatos VERIMAG, Univ. Grenoble Alpes, France.
Stefano Minopoli ALES/United Technologies Research Center, Rome, Italy.
Andreas Podelski Software Engineering Team, University of Freiburg, Germany.
Alexandre Rocca VERIMAG, Univ. Grenoble Alpes, France.
Christian Schilling Software Engineering Team, University of Freiburg, Germany.
Frédéric Viry ENSIMAG, Univ. Grenoble Alpes, France.

Dynamical Systems and Mathematical Optimization

Keywords: control theory, polynomial optimization.

Name Affiliation
Didier Henrion LAAS - CNRS - Univ. Toulouse, France
Victor Magron CNRS and VERIMAG, Univ. Grenoble Alpes, France.
Amaury Pouly Max-Planck Institute for Software Systems, Saarbrücken, Germany.

Quantum Computation

Keywords: quantum walks, quantum cellular automata, discrete quantum mechanics, numerical analysis, spectral theory.

Name Affiliation
Gonzalo Abal LES, UdelaR, Uruguay.
Pablo Arrighi Laboratoire d’Informatique Fondamentale (LIF), AMU, France.
Raul Donangelo Instituto de Física (FING), UdelaR, Uruguay.
Stefano Facchini Laboratoire d’Informatique de Marseille (LIF), AMU, France.
Vincent Nesme Pontault-Combault, Île-de-France, France.
Renato Portugal Laboratório Nacional de Computação Científica (LNCC), Brazil.
Armando Pérez Instituto de Fisica Corpuscular (IFIC), UV/CSIC, España.
Ivan Marquez Aix-Marseille Université and Universitat de Valencia, España.
Giuseppe Di Molfetta Laboratoire d’Informatique Fondamentale (LIF), AMU, France.