Gennaro Parlato

1.8k total citations
39 papers, 397 citations indexed

About

Gennaro Parlato is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Gennaro Parlato has authored 39 papers receiving a total of 397 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 11 papers in Software. Recurrent topics in Gennaro Parlato's work include Formal Methods in Verification (26 papers), Logic, programming, and type systems (13 papers) and Software Testing and Debugging Techniques (9 papers). Gennaro Parlato is often cited by papers focused on Formal Methods in Verification (26 papers), Logic, programming, and type systems (13 papers) and Software Testing and Debugging Techniques (9 papers). Gennaro Parlato collaborates with scholars based in Italy, United Kingdom and United States. Gennaro Parlato's co-authors include P. Madhusudan, Salvatore La Torre, Xiaokang Qiu, Bernd Fischer, Omar Inverso, Anna Lisa Ferrara, Margherita Napoli, Vijayalakshmi Atluri, Shamik Sural and Jaideep Vaidya and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Gennaro Parlato

37 papers receiving 382 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Gennaro Parlato Italy	12	260	213	127	90	82	39	397
Amy Felty Canada	14	212 0.8×	413 1.9×	44 0.3×	107 1.2×	60 0.7×	43	487
Philippe Schnoebelen France	7	267 1.0×	233 1.1×	108 0.9×	50 0.6×	45 0.5×	20	385
Lenore D. Zuck United States	16	366 1.4×	389 1.8×	169 1.3×	212 2.4×	121 1.5×	53	641
Stefan Schwoon Germany	9	231 0.9×	228 1.1×	124 1.0×	68 0.8×	43 0.5×	20	359
Thomas Wiben Jensen France	13	170 0.7×	309 1.5×	66 0.5×	81 0.9×	52 0.6×	48	386
Judicaël Courant France	3	263 1.0×	369 1.7×	45 0.4×	87 1.0×	58 0.7×	5	447
Roger Villemaire Canada	9	197 0.8×	210 1.0×	47 0.4×	88 1.0×	28 0.3×	33	362
Kedar S. Namjoshi United States	11	233 0.9×	191 0.9×	121 1.0×	104 1.2×	72 0.9×	24	350
Jérôme Vouillon France	13	161 0.6×	379 1.8×	61 0.5×	223 2.5×	89 1.1×	21	506
C. R. Murthy United States	5	339 1.3×	441 2.1×	45 0.4×	82 0.9×	62 0.8×	6	525

Countries citing papers authored by Gennaro Parlato

Since Specialization

Citations

This map shows the geographic impact of Gennaro Parlato's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Gennaro Parlato with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gennaro Parlato more than expected).

Fields of papers citing papers by Gennaro Parlato

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Gennaro Parlato. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Gennaro Parlato. The network helps show where Gennaro Parlato may publish in the future.

Co-authorship network of co-authors of Gennaro Parlato

This figure shows the co-authorship network connecting the top 25 collaborators of Gennaro Parlato. A scholar is included among the top collaborators of Gennaro Parlato based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Gennaro Parlato. Gennaro Parlato is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Inverso, Omar, et al.. (2021). Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Transactions on Programming Languages and Systems. 44(1). 1–50. 2 indexed citations

Torre, Salvatore La & Gennaro Parlato. (2020). On the Model-Checking of Branching-time Temporal Logic with BDI Modalities. Adaptive Agents and Multi-Agents Systems. 681–689. 1 indexed citations

Torre, Salvatore La, Margherita Napoli, & Gennaro Parlato. (2020). Reachability of scope-bounded multistack pushdown systems. Information and Computation. 275. 104588–104588. 2 indexed citations

Inverso, Omar, et al.. (2016). Lazy sequentialization for TSO and PSO via shared memory abstractions. 193–200. 5 indexed citations

Inverso, Omar, et al.. (2016). Lazy sequentialization for TSO and PSO via shared memory abstractions. 193–200. 8 indexed citations

Inverso, Omar, et al.. (2015). Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. 807–812. 27 indexed citations

Inverso, Omar, et al.. (2014). MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution). ePrints Soton (University of Southampton). 402–404. 3 indexed citations

Atluri, Vijayalakshmi, Jaideep Vaidya, Shamik Sural, et al.. (2014). Security analysis for temporal role based access control. Journal of Computer Security. 22(6). 961–996. 14 indexed citations

Madhusudan, P., et al.. (2013). Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013. Springer US. 51 indexed citations

10.

Torre, Salvatore La, Margherita Napoli, & Gennaro Parlato. (2013). On Multi-stack Visibly Pushdown Languages. ePrints Soton (University of Southampton). 1 indexed citations

11.

Torre, Salvatore La & Gennaro Parlato. (2012). Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 18. 173–184. 11 indexed citations

12.

Atluri, Vijayalakshmi, Shamik Sural, Jaideep Vaidya, et al.. (2012). Analyzing temporal role based access control models. ePrints Soton (University of Southampton). 177–186. 22 indexed citations

13.

Ferrara, Anna Lisa, P. Madhusudan, & Gennaro Parlato. (2012). Security Analysis of Role-Based Access Control through Program Verification. 113–125. 16 indexed citations

14.

Madhusudan, P., Gennaro Parlato, & Xiaokang Qiu. (2011). Decidable logics combining heap structures and data. 611–622. 22 indexed citations

15.

Madhusudan, P. & Gennaro Parlato. (2011). The tree width of auxiliary storage. ACM SIGPLAN Notices. 46(1). 283–294. 28 indexed citations

16.

Torre, Salvatore La, P. Madhusudan, & Gennaro Parlato. (2009). Analyzing recursive programs using a fixed-point calculus. 211–222. 18 indexed citations

17.

Parlato, Gennaro, et al.. (2008). Fast payment schemes for truthful mechanisms with verification. Theoretical Computer Science. 410(8-10). 886–899. 4 indexed citations

18.

Torre, Salvatore La, Margherita Napoli, Mimmo Parente, & Gennaro Parlato. (2008). Verification of scope-dependent hierarchical state machines. Information and Computation. 206(9-10). 1161–1177. 13 indexed citations

19.

Torre, Salvatore La, P. Madhusudan, & Gennaro Parlato. (2008). Context-Bounded Analysis of Concurrent Queue Systems. 4963. 299–314. 1 indexed citations

20.

Torre, Salvatore La, Margherita Napoli, Mimmo Parente, & Gennaro Parlato. (2007). Verification of Succinct Hierarchical State Machines. ePrints Soton (University of Southampton). 485–496.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact