Marco Benedetti

769 total citations
28 papers, 219 citations indexed

About

Marco Benedetti is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Marco Benedetti has authored 28 papers receiving a total of 219 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 5 papers in Information Systems. Recurrent topics in Marco Benedetti's work include Formal Methods in Verification (5 papers), Blockchain Technology Applications and Security (4 papers) and Neural dynamics and brain function (3 papers). Marco Benedetti is often cited by papers focused on Formal Methods in Verification (5 papers), Blockchain Technology Applications and Security (4 papers) and Neural dynamics and brain function (3 papers). Marco Benedetti collaborates with scholars based in Italy, France and Canada. Marco Benedetti's co-authors include Hratch Mangassarian, Andreas Veneris, Sean Safarpour, Enzo Marinari, Marco Mori, Uberto Bortolotti, Giancarlo Ruocco, Francesco Zamponi, Alberto Balbarini and Aldo Milano and has published in prestigious journals such as The Journal of Chemical Physics, International Journal of Environmental Research and Public Health and Journal of Antimicrobial Chemotherapy.

In The Last Decade

Marco Benedetti

27 papers receiving 209 citations

Peers

Marco Benedetti

CTM

SOFTW

EEE

Jason Thong Canada

Matthew Lewis Germany

Aude Maignan France

Johan Nordlander Sweden

Jakob Nordström Sweden

Deepak D’Souza India

A. Colin United Kingdom

Panagiotis Kouvaros United Kingdom

Sylvie Putot France

Iain Phillips United Kingdom

Jason Thong Canada

Marco Benedetti

75 ×0.7

CTM

136 ×1.9

16 ×0.3

SOFTW

25 ×0.6

48 ×1.5

EEE

Citations per year, relative to Marco Benedetti Marco Benedetti (= 1×) peers Jason Thong

Countries citing papers authored by Marco Benedetti

Since Specialization

Citations

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

Fields of papers citing papers by Marco Benedetti

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Marco Benedetti

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

Benedetti, Marco, et al.. (2025). An analysis of pervasive payment channel networks for Central Bank Digital Currencies. Computer Communications. 240. 108199–108199. 1 indexed citations

Benedetti, Marco, et al.. (2024). Training neural networks with structured noise improves classification and generalization. Journal of Physics A Mathematical and Theoretical. 57(41). 415001–415001. 7 indexed citations

Benedetti, Marco, et al.. (2023). Integrating DLTs with Market Infrastructures: Analysis and Proof-of-Concept for Secure DvP between TIPS and DLT Platforms. SSRN Electronic Journal.

Benedetti, Marco, et al.. (2023). PoW-less Bitcoin with Confidential Byzantine PoA. 1–3. 2 indexed citations

Stamatiadis, Nikiforos, et al.. (2022). Socioeconomic and Demographic Factors Effect in Association with Driver’s Medical Services after Crashes. International Journal of Environmental Research and Public Health. 19(15). 9087–9087. 1 indexed citations

Benedetti, Marco & Marco Mori. (2019). On the use of Max-SAT and PDDL in RBAC maintenance. Cybersecurity. 2(1). 4 indexed citations

Cecere, Jacopo G., et al.. (2014). The role of the red fox as a predator of species of human concern in a mediterranean rural habitat: A case Study. Russian Journal of Ecology. 45(6). 555–558. 3 indexed citations

Benedetti, Marco, Leonida Fusani, Roberto Bonanni, Massimiliano Cardinale, & Claudio Carere. (2014). Condition-Dependent Nocturnal Hypothermia in Garden WarblersSylvia borinat a Spring Stopover Site. Ardea. 101(2). 113–119. 5 indexed citations

Mangassarian, Hratch, Andreas Veneris, & Marco Benedetti. (2010). Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test. IEEE Transactions on Computers. 59(7). 981–994. 26 indexed citations

10.

Benedetti, Marco & Hratch Mangassarian. (2008). QBF-Based Formal Verification: Experience and Perspectives. 5(1-4). 133–191. 41 indexed citations

11.

Mangassarian, Hratch, et al.. (2007). A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. International Conference on Computer Aided Design. 240–245. 29 indexed citations

12.

Mangassarian, Hratch, et al.. (2007). A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 240–245. 21 indexed citations

13.

Benedetti, Marco. (2005). Extracting certificates from quantified boolean formulas. International Joint Conference on Artificial Intelligence. 47–53. 10 indexed citations

14.

Ferrario, Maurizio, Carla Fornari, Marco Benedetti, et al.. (2003). Recenti andamenti temporali dei tassi di infarto miocardico in nord Italia. Risultati dei registri IM MONICA e CAMUNI in Brianza: 1993-1994 versus 1997-1998. 4(8). 651–657. 2 indexed citations

15.

Bortolotti, Uberto, et al.. (1997). Post-traumatic tricuspid valve insufficiency. 2 cases of delayed clinical manifestation.. PubMed Central. 24(3). 223–5. 11 indexed citations

16.

Benedetti, Marco, et al.. (1996). Entrapment of a Coronary Stent in the Left Main Trunk: An Easy Method for Surgical Removal. Journal of Cardiac Surgery. 11(1). 79–82. 5 indexed citations

17.

Munno, I, et al.. (1990). The effect of ofloxacin on the immune system of elderly patients. Journal of Antimicrobial Chemotherapy. 25(3). 455–458. 3 indexed citations

18.

Benedetti, Marco, et al.. (1990). Evaluation of in vivo morphological results of balloon mitral valvotomy. European Journal of Cardio-Thoracic Surgery. 4(6). 337–341. 2 indexed citations

19.

Girelli, M. E., et al.. (1988). Safety profile of ofloxacin in elderly patients.. PubMed. 14(6). 393–5. 7 indexed citations

20.

Benedetti, Marco, et al.. (1987). [Pseudoaneurysm of a branch of the internal mammary artery in a case operated on for aortic coarctation].. PubMed. 17(9). 807–9. 4 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