Carlos Andrey Maia

41 papers and 548 indexed citations i.

Carlos Andrey Maia has authored 41 papers that have received a total of 548 indexed citations. This includes 29 papers in Computational Theory and Mathematics, 15 papers in Control and Systems Engineering and 6 papers in Computer Vision and Pattern Recognition. The topics of these papers are Petri Nets in System Modeling (22 papers), Formal Methods in Verification (15 papers) and Advanced Control Systems Optimization (10 papers). Carlos Andrey Maia is often cited by papers focused on Petri Nets in System Modeling (22 papers), Formal Methods in Verification (15 papers) and Advanced Control Systems Optimization (10 papers) and collaborates with scholars based in Brazil, France and United States. Carlos Andrey Maia's co-authors include Laurent Hardouin, Bertrand Cottenceau, Vinícius Mariano Gonçalves, Luc Jaulin and Mehdi Lhommeau and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Access.