Paulo Tabuada

148 papers and 11.5k indexed citations i.

Paulo Tabuada has authored 148 papers that have received a total of 11.5k indexed citations. This includes 89 papers in Control and Systems Engineering, 70 papers in Computational Theory and Mathematics and 36 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (59 papers), Petri Nets in System Modeling (34 papers) and Advanced Control Systems Optimization (25 papers). Paulo Tabuada is often cited by papers focused on Formal Methods in Verification (59 papers), Petri Nets in System Modeling (34 papers) and Advanced Control Systems Optimization (25 papers) and collaborates with scholars based in United States, Germany and The Netherlands. Paulo Tabuada's co-authors include George J. Pappas, Yasser Shoukry, Sanjit A. Seshia, Aaron D. Ames and Adolfo Anta and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Automatica