Juan Bicarregui

28 papers and 401 indexed citations i.

About

Juan Bicarregui has authored 28 papers that have received a total of 401 indexed citations. This includes 10 papers in Software, 9 papers in Computer Networks and Communications and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (7 papers), Scientific Computing and Data Management (7 papers) and Model-Driven Software Engineering Techniques (5 papers). Juan Bicarregui is often cited by papers focused on Formal Methods in Verification (7 papers), Scientific Computing and Data Management (7 papers) and Model-Driven Software Engineering Techniques (5 papers) and collaborates with scholars based in United Kingdom, Denmark and Germany. Juan Bicarregui's co-authors include Brian Matthews, Kevin Lano, John Fitzgerald, Jim Woodcock and Brian Ritchie and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Software Engineering and Control Engineering Practice

In The Last Decade

Rankless by CCL
2025