Roberto Barbuti

1.8k total citations
83 papers, 828 citations indexed

About

Roberto Barbuti is a scholar working on Molecular Biology, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Roberto Barbuti has authored 83 papers receiving a total of 828 indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Molecular Biology, 41 papers in Computational Theory and Mathematics and 33 papers in Artificial Intelligence. Recurrent topics in Roberto Barbuti's work include DNA and Biological Computing (27 papers), Formal Methods in Verification (26 papers) and Logic, programming, and type systems (22 papers). Roberto Barbuti is often cited by papers focused on DNA and Biological Computing (27 papers), Formal Methods in Verification (26 papers) and Logic, programming, and type systems (22 papers). Roberto Barbuti collaborates with scholars based in Italy, Slovakia and Austria. Roberto Barbuti's co-authors include Paolo Milazzo, Andrea Maggiolo–Schettini, Roberta Gori, Nicoletta De Francesco, Giorgio Levi, Roberto Giacobazzi, Angelo Troina, Luca Tesei, Giulio Caravagna and Antonella Santone and has published in prestigious journals such as SHILAP Revista de lepidopterología, PLoS ONE and BMC Bioinformatics.

In The Last Decade

Roberto Barbuti

77 papers receiving 769 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Roberto Barbuti Italy	17	375	339	286	112	68	83	828
Paolo Milazzo Italy	16	424 1.1×	194 0.6×	101 0.4×	40 0.4×	53 0.8×	86	697
François Fages France	18	679 1.8×	309 0.9×	386 1.3×	51 0.5×	62 0.9×	73	1.2k
Robert B. Heckendorn United States	13	226 0.6×	120 0.4×	325 1.1×	8 0.1×	258 3.8×	39	742
Paolo Zuliani United Kingdom	16	258 0.7×	266 0.8×	324 1.1×	153 1.4×	30 0.4×	59	984
Verena Wolf Germany	14	573 1.5×	170 0.5×	90 0.3×	51 0.5×	158 2.3×	56	859
Jérôme Ferêt France	13	261 0.7×	450 1.3×	395 1.4×	336 3.0×	21 0.3×	39	972
Sylvain Soliman France	13	421 1.1×	127 0.4×	82 0.3×	26 0.2×	22 0.3×	44	589
Federica Ciocchetta United Kingdom	9	259 0.7×	141 0.4×	42 0.1×	20 0.2×	31 0.5×	21	379
Boyan Yordanov United Kingdom	15	727 1.9×	382 1.1×	138 0.5×	90 0.8×	67 1.0×	26	1.2k

Countries citing papers authored by Roberto Barbuti

Since Specialization

Citations

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

Fields of papers citing papers by Roberto Barbuti

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Roberto Barbuti

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

Barbuti, Roberto, et al.. (2014). Compositional semantics and behavioural equivalences for reaction systems with restriction. Theoretical Computer Science. 551. 1–21. 9 indexed citations

Caravagna, Giulio, Roberto Barbuti, & Alberto d’Onofrio. (2012). Fine-tuning anti-tumor immunotherapies via stochastic simulations. BMC Bioinformatics. 13(S4). S8–S8. 13 indexed citations

Barbuti, Roberto, et al.. (2010). A Formalism for the Description of Protein Interaction. Fundamenta Informaticae. 1–29. 1 indexed citations

Barbuti, Roberto, Andrea Maggiolo–Schettini, Paolo Milazzo, & Simone Tini. (2008). A P Systems Flat Form Preserving Step-by-step Behaviour. Fundamenta Informaticae. 87(1). 1–34. 10 indexed citations

Barbuti, Roberto & Stefano Cataudella. (2005). Abstract Interpretation of an Object Calculus for Synchronization Optimizations. Fundamenta Informaticae. 67(1). 1–12. 1 indexed citations

Barbuti, Roberto, Andrea Maggiolo–Schettini, Paolo Milazzo, & Angelo Troina. (2005). A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae. 72(1). 21–35. 39 indexed citations

Barbuti, Roberto, et al.. (2005). An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions. CINECA IRIS Institutial research information system (University of Pisa). 167–178. 11 indexed citations

Barbuti, Roberto, Stefano Cataudella, Andrea Maggiolo–Schettini, Paolo Milazzo, & Angelo Troina. (2005). A Probabilistic Model for Molecular Systems. Fundamenta Informaticae. 67(1). 13–27. 14 indexed citations

Barbuti, Roberto, Stefano Cataudella, & Luca Tesei. (2003). Abstract Interpretation Against Races. Fundamenta Informaticae. 60(1). 67–79. 1 indexed citations

10.

Barbuti, Roberto & Luca Tesei. (2002). A decidable notion of timed non-interference. Fundamenta Informaticae. 54(2). 137–150. 9 indexed citations

11.

Barbuti, Roberto, Nicoletta De Francesco, Antonella Santone, & Luca Tesei. (2001). A Notion of Non-Interference for Timed Automata. Fundamenta Informaticae. 1(1). 1–11. 8 indexed citations

12.

Barbuti, Roberto, Nicoletta De Francesco, & Luca Tesei. (2001). Timed Automata with non-Instantaneous Actions. Fundamenta Informaticae. 47(3). 189–200. 4 indexed citations

13.

Barbuti, Roberto & Roberto Giacobazzi. (1992). A bottom-up polymorphic type inference in logic programming. Science of Computer Programming. 19(3). 281–313. 16 indexed citations

14.

Barbuti, Roberto, Paolo Mancarella, Dino Pedreschi, & Franco Turini. (1990). A transformational approach to negation in logic programming. The Journal of Logic Programming. 8(3). 201–228. 26 indexed citations

15.

Barbuti, Roberto, et al.. (1984). On the Integration of Logic Programming and Functional Programming. CINECA IRIS Institutial research information system (University of Pisa). 57(8). 160–166. 16 indexed citations

16.

Barbuti, Roberto & Alberto Martelli. (1983). A constructive approach to static verification of program properties. CINECA IRIS Institutial research information system (University of Pisa). 457–462. 1 indexed citations

17.

Barbuti, Roberto & Alberto Martelli. (1983). A structured approach to static semantics correctness. Science of Computer Programming. 3(3). 279–311. 8 indexed citations

18.

Barbuti, Roberto, et al.. (1982). Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications. CINECA IRIS Institutial research information system (University of Pisa). 1 indexed citations

19.

Barbuti, Roberto, Pierpaolo Degano, & Giorgio Levi. (1982). Toward an Inductionless Technique for Proving Properties of Logic Programs.. CINECA IRIS Institutial research information system (University of Pisa). 175–181. 1 indexed citations

20.

Barbuti, Roberto & Alberto Martelli. (1980). Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Lecture notes in computer science. 83. 1–16.

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