Vı́ctor Braberman

39 papers and 304 indexed citations i.

About

Vı́ctor Braberman has authored 39 papers that have received a total of 304 indexed citations. This includes 31 papers in Computational Theory and Mathematics, 26 papers in Software and 17 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (30 papers), Software Testing and Debugging Techniques (17 papers) and Advanced Software Engineering Methodologies (13 papers). Vı́ctor Braberman is often cited by papers focused on Formal Methods in Verification (30 papers), Software Testing and Debugging Techniques (17 papers) and Advanced Software Engineering Methodologies (13 papers) and collaborates with scholars based in Argentina, United Kingdom and France. Vı́ctor Braberman's co-authors include Sebastián Uchitel, Nicolás D’Ippolito, Diego Garbervetsky, Alfredo Olivero and Jeff Kramer and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025