Matthieu Moy

13 papers and 92 indexed citations i.

Matthieu Moy has authored 13 papers that have received a total of 92 indexed citations. This includes 11 papers in Hardware and Architecture, 9 papers in Computational Theory and Mathematics and 4 papers in Management Science and Operations Research. The topics of these papers are Embedded Systems Design Techniques (10 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (5 papers). Matthieu Moy is often cited by papers focused on Embedded Systems Design Techniques (10 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (5 papers) and collaborates with scholars based in France, United States and Switzerland. Matthieu Moy's co-authors include Florence Maraninchi, Laurent Maillet-Contoz, Jean-Pierre Talpin, M. Vai and Loïc Besnard and has published in prestigious journals such as Electronics, Formal Methods in System Design and Electronic Notes in Theoretical Computer Science.