Marcelo Forets
About
Marcelo Forets has authored 27 papers that have received a total of 193 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 14 papers in Software and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (7 papers) and Software Reliability and Analysis Research (7 papers). Marcelo Forets is often cited by papers focused on Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (7 papers) and Software Reliability and Analysis Research (7 papers) and collaborates with scholars based in Uruguay, France and Germany. Marcelo Forets's co-authors include Christian Schilling, Matthias Althoff, Niklas Kochdumper, Luis Benet and Taylor T. Johnson and has published in prestigious journals such as New Journal of Physics, Computers & Structures and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by A. Kathirvel are published in Top authors papers by Shi-Huang Chen are co-authored with Top journals papers by Supra Wimbarti are published in Top authors papers by Namita Shanbhag are co-authored with Top journals papers by Robert G. Xuereb are published in Top authors papers by Andrea Pio-Abreu are co-authored with Top fields papers by R. Zaridze are about Top fields papers by Luis Narváez Macarro are about