Chiara Bodei

1.2k total citations
59 papers, 418 citations indexed

About

Chiara Bodei is a scholar working on Computer Networks and Communications, Artificial Intelligence and Information Systems. According to data from OpenAlex, Chiara Bodei has authored 59 papers receiving a total of 418 indexed citations (citations by other indexed papers that have themselves been cited), including 32 papers in Computer Networks and Communications, 23 papers in Artificial Intelligence and 19 papers in Information Systems. Recurrent topics in Chiara Bodei's work include Security and Verification in Computing (16 papers), Advanced Authentication Protocols Security (15 papers) and User Authentication and Security Systems (14 papers). Chiara Bodei is often cited by papers focused on Security and Verification in Computing (16 papers), Advanced Authentication Protocols Security (15 papers) and User Authentication and Security Systems (14 papers). Chiara Bodei collaborates with scholars based in Italy, Denmark and United Kingdom. Chiara Bodei's co-authors include Pierpaolo Degano, Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz, Letterio Galletta, Corrado Priami, Gian-Luigi Ferrari, Roberta Gori, Francesca Levi and Stefano Chessa and has published in prestigious journals such as SHILAP Revista de lepidopterología, BMC Bioinformatics and IEEE Transactions on Vehicular Technology.

In The Last Decade

Chiara Bodei

55 papers receiving 375 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Chiara Bodei Italy	11	251	205	186	88	74	59	418
Jeremy Jacob United Kingdom	12	170 0.7×	321 1.6×	219 1.2×	58 0.7×	22 0.3×	25	484
Ullrich Hustadt United Kingdom	14	215 0.9×	645 3.1×	152 0.8×	168 1.9×	43 0.6×	51	685
Stéphanie Delaune France	14	367 1.5×	467 2.3×	338 1.8×	75 0.9×	12 0.2×	48	602
Stephen Harris United Kingdom	9	184 0.7×	260 1.3×	179 1.0×	17 0.2×	43 0.6×	17	386
Evgeny Dantsin United States	9	249 1.0×	505 2.5×	57 0.3×	219 2.5×	15 0.2×	21	641
Pascal Fradet France	14	233 0.9×	480 2.3×	327 1.8×	148 1.7×	44 0.6×	44	662
Gianluigi Zavattaro Italy	13	271 1.1×	263 1.3×	137 0.7×	141 1.6×	27 0.4×	61	443
Jérôme Vouillon France	13	223 0.9×	379 1.8×	139 0.7×	161 1.8×	11 0.1×	21	506
Ivan Lanese Italy	12	223 0.9×	355 1.7×	135 0.7×	228 2.6×	20 0.3×	52	488

Countries citing papers authored by Chiara Bodei

Since Specialization

Citations

This map shows the geographic impact of Chiara Bodei'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 Chiara Bodei with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Chiara Bodei more than expected).

Fields of papers citing papers by Chiara Bodei

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Chiara Bodei. 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 Chiara Bodei. The network helps show where Chiara Bodei may publish in the future.

Co-authorship network of co-authors of Chiara Bodei

This figure shows the co-authorship network connecting the top 25 collaborators of Chiara Bodei. A scholar is included among the top collaborators of Chiara Bodei 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 Chiara Bodei. Chiara Bodei 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

Sun, Shuyang, Chen Zhang, Manuel Garcia, et al.. (2025). Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. IEEE Transactions on Vehicular Technology. 75(2). 1779–1792.

Bodei, Chiara, et al.. (2024). Formal analysis of an AUTOSAR-based basic software module. International Journal on Software Tools for Technology Transfer. 26(4). 495–508. 2 indexed citations

Bodei, Chiara, et al.. (2019). A formal approach to open multiparty interactions. Theoretical Computer Science. 763. 38–65. 6 indexed citations

Bodei, Chiara, Pierpaolo Degano, Gian-Luigi Ferrari, & Letterio Galletta. (2017). Tracing where IoT data are collected and aggregated. SHILAP Revista de lepidopterología. 10 indexed citations

Bodei, Chiara, et al.. (2017). A static analysis for Brane Calculi providing global occurrence counting information. Theoretical Computer Science. 696. 11–51. 8 indexed citations

Bodei, Chiara & Letterio Galletta. (2016). The cost of securing IoT communications. CINECA IRIS Institutial research information system (University of Pisa). 1720. 163–176. 2 indexed citations

Bodei, Chiara, Roberta Gori, & Francesca Levi. (2015). Causal static analysis for Brane Calculi. Theoretical Computer Science. 587. 73–103. 10 indexed citations

Bodei, Chiara, et al.. (2013). Security in Pervasive Applications: A Survey. CINECA IRIS Institutial research information system (University of Pisa). 4(2). 2 indexed citations

Bodei, Chiara, Roberta Gori, & Francesca Levi. (2013). An Analysis for Causal Properties of Membrane Interactions. Electronic Notes in Theoretical Computer Science. 299. 15–31. 10 indexed citations

10.

Bodei, Chiara, et al.. (2008). Statically Detecting Message Confusions in a Multi-Protocol Setting. UnissResearch (Università degli Studi di Sassari). 1 indexed citations

11.

Bodei, Chiara. (2008). A Control Flow Analysis for Beta-binders with and without static compartments. Theoretical Computer Science. 410(33-34). 3110–3127. 10 indexed citations

12.

Bodei, Chiara, Andrea Bracciali, & Davide Chiarugi. (2008). On deducing causality in metabolic networks. BMC Bioinformatics. 9(S4). S8–S8. 6 indexed citations

13.

Bernasconi, Anna, Chiara Bodei, & Linda Pagli. (2007). Knitting for Fun: A Recursive Sweater. Lecture notes in computer science. 53–65. 2 indexed citations

14.

Bodei, Chiara, et al.. (2007). Detecting Replay Attacks by Freshness Annotations. CINECA IRIS Institutial research information system (University of Pisa). 85–100. 3 indexed citations

15.

Bodei, Chiara, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, & Hanne Riis Nielson. (2004). Control Flow Analysis Can Find New Flaws Too. CINECA IRIS Institutial research information system (University of Pisa). 43–53. 11 indexed citations

16.

Bodei, Chiara, Pierpaolo Degano, Corrado Priami, & Nicola Zannone. (2003). An enhanced CFA for security policies. Institutional Research Information System (Università degli Studi di Trento). 131–145. 3 indexed citations

17.

Bodei, Chiara, Pierpaolo Degano, Riccardo Focardi, & Corrado Priami. (2002). Primitives for authentication in process algebras. Theoretical Computer Science. 283(2). 271–304. 8 indexed citations

18.

Bodei, Chiara, Pierpaolo Degano, Flemming Nielson, & Hanne Riis Nielson. (2001). Static Analysis for the π-Calculus with Applications to Security. Information and Computation. 168(1). 68–92. 50 indexed citations

19.

Bodei, Chiara, Pierpaolo Degano, Flemming Nielson, & Hanne Riis Nielson. (2000). Security Analysis using Flow Logics.. CINECA IRIS Institutial research information system (University of Pisa). 70. 112–130. 2 indexed citations

20.

Bodei, Chiara, et al.. (2000). Security Analysis for Mobile Ambients. 5 indexed citations

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