Ugo Buy

21 papers and 698 indexed citations i.

About

Ugo Buy has authored 21 papers that have received a total of 698 indexed citations. This includes 12 papers in Computational Theory and Mathematics, 8 papers in Hardware and Architecture and 4 papers in Sociology and Political Science. The topics of these papers are Formal Methods in Verification (12 papers), Petri Nets in System Modeling (10 papers) and Real-Time Systems Scheduling (8 papers). Ugo Buy is often cited by papers focused on Formal Methods in Verification (12 papers), Petri Nets in System Modeling (10 papers) and Real-Time Systems Scheduling (8 papers) and collaborates with scholars based in United States, Italy and Saudi Arabia. Ugo Buy's co-authors include Robert H. Sloan, Houshang Darabi, Ramesh Devarapalli, Robert V. Kenyon and Sastry Duri and has published in prestigious journals such as The Journal of Urology, IEEE Access and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025