Marcelo Teixeira
About
Marcelo Teixeira has authored 44 papers that have received a total of 245 indexed citations.
This includes 18 papers in Computational Theory and Mathematics, 12 papers in Industrial and Manufacturing Engineering and 7 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (18 papers), Formal Methods in Verification (12 papers) and Flexible and Reconfigurable Manufacturing Systems (9 papers). Marcelo Teixeira is often cited by papers focused on Petri Nets in System Modeling (18 papers), Formal Methods in Verification (12 papers) and Flexible and Reconfigurable Manufacturing Systems (9 papers) and collaborates with scholars based in Brazil, New Zealand and Portugal. Marcelo Teixeira's co-authors include Max H. de Queiroz, Dalcimar Casanova, Robi Malik, José E.R. Cury and Érick Oliveira Rodrigues and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Expert Systems with Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by David David are published in Top countries impacted by papers by David W. Lankshear Top countries impacted by papers by Nada Matta Top fields papers by Shizhen Bai are about Top countries impacted by papers by Rui Rodrigues Top fields papers by Guillermo Antonio Correa Londoño are about Top journals papers by Hiroomi Tatsumi are published in Top countries impacted by papers by Carlos Montemayor