Author

Gennaro Parlato

Observed names: G. Parlato, PARLATO G, PARLATO, GENNARO, Parlato G, Parlato G., Parlato Gennaro, Parlato, Gennaro, gennaro parlato
ORCID: 0000-0002-8697-2980
Observed ORCID: 0000-0002-8697-2980
OpenAlex ID: A5048623277
2007 · Salvatore La Torre, Parthasarathy Madhusudan, et al. · Proceedings - Symposium on Logic in Computer Science · 133
2013 · Anna-Lisa Ferrara, P. Madhusudan, et al. · Springer US · 129
2009 · Salvatore La Torre, P. Madhusudan, et al. · Lecture notes in computer science · 113
2008 · Salvatore La Torre, P. Madhusudan, et al. · Lecture notes in computer science · 106
2010 · LA TORRE, Salvatore, P. Madhusudan, et al. · Lecture notes in computer science · 96
2014 · Omar Inverso, Ermenegildo Tomasco, et al. · Lecture notes in computer science · 83
2011 · P. Madhusudan, Gennaro Parlato · ACM SIGPLAN Notices · 80
2010 · Salvatore La Torre, P. Madhusudan, et al. · Lecture notes in computer science · 78
2011 · P. Madhusudan, Gennaro Parlato, et al. · ACM SIGPLAN Notices · 66
2011 · Mohamed Faouzi Atig, Ahmed Bouajjani, et al. · Lecture notes in computer science · 59
2009 · Salvatore La Torre, Madhusudan Parthasarathy, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 50
2015 · Omar Inverso, Truc L. Nguyen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 49
2011 · P. Madhusudan, Gennaro Parlato · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 46
2012 · Emre Uzun, Vijayalakshmi Atluri, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 38
2013 · Bernd Fischer, Omar Inverso, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 35
2012 · Anna Lisa Ferrara, P. Madhusudan, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 35
2011 · P. Madhusudan, Gennaro Parlato, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 35
2015 · Ermenegildo Tomasco, Omar Inverso, et al. · Lecture notes in computer science · 32
2012 · La Torre, Salvatore, Parlato, Gennaro · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 32
2011 · Ahmed Bouajjani, Michael Emmi, et al. · Lecture notes in computer science · 31
2014 · Omar Inverso, Ermenegildo Tomasco, et al. · Lecture notes in computer science · 29
2016 · Ermenegildo Tomasco, Truc L. Nguyen, et al. · Formal Methods in Computer-Aided Design · 28
2017 · Truc L. Nguyen, Peter Schrammel, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 26
2014 · Anna Lisa Ferrara, P. Madhusudan, et al. · Lecture notes in computer science · 26
2012 · Salvatore La Torre, P. Madhusudan, et al. · Electronic Proceedings in Theoretical Computer Science · 26
Works count: 128
Citation count: 1,932
H-index: 25
I10-index: 45
Year
Topic
Type