Federico Olmedo
About
Federico Olmedo has authored 13 papers that have received a total of 195 indexed citations.
This includes 13 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Sociology and Political Science. The topics of these papers are Cryptography and Data Security (7 papers), Privacy-Preserving Technologies in Data (5 papers) and Formal Methods in Verification (5 papers). Federico Olmedo is often cited by papers focused on Cryptography and Data Security (7 papers), Privacy-Preserving Technologies in Data (5 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Spain, Chile and Germany. Federico Olmedo's co-authors include Santiago Zanella-Béguelin, Gilles Barthe, Joost-Pieter Katoen, Benjamin Lucien Kaminski and Boris Köpf and has published in prestigious journals such as Journal of the ACM, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Pavel Anselmo Álvarez Carrillo are co-authored with Top journals papers by C. J. Mottram are published in Top authors papers by Robert R. Henry are co-authored with Top authors papers by John E. Pfeiffer are co-authored with Top journals papers by Sarah E. Swinford-Jackson are published in Top fields papers by Diego Cusicanqui are about Top fields papers by John Baldock are about Top countries impacted by papers by Uma Maheshwari