Nicolás D’Ippolito

18 papers and 136 indexed citations i.

About

Nicolás D’Ippolito has authored 18 papers that have received a total of 136 indexed citations. This includes 16 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 7 papers in Software. The topics of these papers are Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (9 papers) and Model-Driven Software Engineering Techniques (7 papers). Nicolás D’Ippolito is often cited by papers focused on Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (9 papers) and Model-Driven Software Engineering Techniques (7 papers) and collaborates with scholars based in Argentina, United Kingdom and Australia. Nicolás D’Ippolito's co-authors include Sebastián Uchitel, Vı́ctor Braberman, Sebastian Sardiña, Jeff Kramer and Nir Piterman 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