Luca Bortolussi

2.6k citations
91 papers · 622 indexed · h-index 13
Topics
Gene Regulatory Network Analysis (28 papers)Formal Methods in Verification (22 papers)Microbial Metabolic Engineering and Bioproduction (9 papers)

In The Last Decade

Luca Bortolussi

82 papers receiving 596 citations

Peers

Luca Bortolussi
Comparison fields: 5 of 96
  • Computational Theory and Mathematics 252
  • Molecular Biology 207
  • Artificial Intelligence 157
  • Computer Networks and Communications 138
  • Software 60
Replace Mirco Tribastone with:
Mirco Tribastone Italy
Ralph P. Grimaldi United States
Dinghua Shi China
Dina Goldin United States
Paulo Fernandes Brazil
Marios Mavronicolas Cyprus
Ronald Morrison United Kingdom
Jon T. Butler United States
Louise E. Moser United States
Gerardo Rubino France
Luca Bortolussi relative to Mirco Tribastone Italy Mirco Tribastone's profile →
Citations per field
00.5×1.5×
Mirco Tribastone · 1×
Citations per year

Countries citing papers authored by Luca Bortolussi

Since Specialization
Citations

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

Fields of papers citing papers by Luca Bortolussi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Luca Bortolussi

This figure shows the co-authorship network connecting the top 25 collaborators of Luca Bortolussi. A scholar is included among the top collaborators of Luca Bortolussi 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 Luca Bortolussi. Luca Bortolussi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
#WorkIndexed citations
1 0
2 0
3 1
4 6
5 2
6 10
7 2
8
Global Adversarial Robustness Guarantees for Neural Networks
1
9 16
10 3
11 7
12 19
13
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
1
14 2
15 40
16
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
1
17 2
18
Hybrid systems and biology: continuous and discrete modeling for systems biology
6
19 23
20 5

About Luca Bortolussi

Luca Bortolussi is a scholar working on Computational Theory and Mathematics, Management Science and Operations Research and Artificial Intelligence, having authored 91 papers that have together received 622 indexed citations. Recurring topics across this work include Gene Regulatory Network Analysis (28 papers), Formal Methods in Verification (22 papers) and Microbial Metabolic Engineering and Bioproduction (9 papers). The work is most often cited by research in Computational Theory and Mathematics (252 citations), Software (60 citations) and Hardware and Architecture (42 citations). Luca Bortolussi has collaborated with scholars based in Italy, United Kingdom and Germany. Frequent co-authors include Alberto Policriti, Jane Hillston, Guido Sanguinetti, Laura Nenzi, Mieke Massink, Ezio Bartocci, Diego Latella, Vashti Galpin, Michele Loreti and Mirco Tribastone. Their work appears in journals such as SHILAP Revista de lepidopterología, PLoS ONE and Philosophical Transactions of the Royal Society B Biological Sciences.

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

Rankless by CCL
2026