Marco Faella

1.4k total citations
33 papers, 441 citations indexed

About

Marco Faella is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Marco Faella has authored 33 papers receiving a total of 441 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 6 papers in Software. Recurrent topics in Marco Faella's work include Formal Methods in Verification (18 papers), Logic, Reasoning, and Knowledge (11 papers) and Logic, programming, and type systems (10 papers). Marco Faella is often cited by papers focused on Formal Methods in Verification (18 papers), Logic, Reasoning, and Knowledge (11 papers) and Logic, programming, and type systems (10 papers). Marco Faella collaborates with scholars based in Italy, United States and Netherlands. Marco Faella's co-authors include Luca de Alfaro, Mariëlle Stoelinga, Luigi Sauro, Piero A. Bonatti, Vishwanath Raman, Krishnendu Chatterjee, B. Thomas Adler, Ian Pye, Rupak Majumdar and Thomas A. Henzinger and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Software Engineering and Artificial Intelligence.

In The Last Decade

Marco Faella

31 papers receiving 405 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Marco Faella Italy	11	250	187	112	90	45	33	441
Stefano Zacchiroli France	15	188 0.8×	51 0.3×	39 0.3×	309 3.4×	170 3.8×	59	505
Zhenyu Qian Germany	5	205 0.8×	38 0.2×	20 0.2×	54 0.6×	32 0.7×	10	282
Amiram Yehudai Israel	12	174 0.7×	61 0.3×	8 0.1×	204 2.3×	57 1.3×	39	344
Norbert E. Fuchs Switzerland	10	292 1.2×	51 0.3×	4 0.0×	151 1.7×	31 0.7×	41	372
Uta Priss Germany	8	260 1.0×	208 1.1×	9 0.1×	127 1.4×	15 0.3×	33	418
Vincent Quint France	11	129 0.5×	38 0.2×	6 0.1×	125 1.4×	107 2.4×	31	299
Lars Pareto Sweden	8	220 0.9×	160 0.9×	5 0.0×	118 1.3×	60 1.3×	14	361
Dawid Weiss Poland	8	325 1.3×	14 0.1×	24 0.2×	326 3.6×	48 1.1×	14	551
T. Dinh-Trong United States	9	127 0.5×	21 0.1×	37 0.3×	289 3.2×	98 2.2×	10	445
Moritz Schubotz Germany	11	168 0.7×	117 0.6×	12 0.1×	117 1.3×	69 1.5×	52	362

Countries citing papers authored by Marco Faella

Since Specialization

Citations

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

Fields of papers citing papers by Marco Faella

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Marco Faella

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

Faella, Marco & Gennaro Parlato. (2023). Reachability Games Modulo Theories with a Bounded Safety Player. Proceedings of the AAAI Conference on Artificial Intelligence. 37(5). 6330–6337. 2 indexed citations

Faella, Marco & Luigi Sauro. (2020). Irrelevant matches in round-robin tournaments. Autonomous Agents and Multi-Agent Systems. 35(1). 6 indexed citations

Faella, Marco & Luigi Sauro. (2018). Do all Tournaments Admit Irrelevant Matches?. Adaptive Agents and Multi-Agents Systems. 982–989. 1 indexed citations

Benerecetti, Massimo & Marco Faella. (2017). Automatic Synthesis of Switching Controllers for Linear Hybrid Systems. ACM Transactions on Embedded Computing Systems. 16(4). 1–27. 1 indexed citations

Bonatti, Piero A., Marco Faella, Clemente Galdi, & Luigi Sauro. (2016). Generalized Agent-mediated Procurement Auctions. Adaptive Agents and Multi-Agents Systems. 77–85. 1 indexed citations

Bonatti, Piero A., et al.. (2015). A new semantics for overriding in description logics. Artificial Intelligence. 222. 1–48. 27 indexed citations

Anisetti, Marco, Claudio A. Ardagna, Piero A. Bonatti, et al.. (2014). E-Auctions for Multi-Cloud Service Provisioning. 35–42. 19 indexed citations

Faella, Marco, Salvatore La Torre, & Aniello Murano. (2013). Automata-theoretic decision of timed games. Theoretical Computer Science. 515. 46–63. 5 indexed citations

Chatterjee, Krishnendu, Luca de Alfaro, Marco Faella, Rupak Majumdar, & Vishwanath Raman. (2012). Code aware resource management. Formal Methods in System Design. 42(2). 146–174. 4 indexed citations

10.

Benerecetti, Massimo, et al.. (2012). Automatic synthesis of switching controllers for linear hybrid systems: Safety control. Theoretical Computer Science. 493. 116–138. 8 indexed citations

11.

Bonatti, Piero A., Marco Faella, & Luigi Sauro. (2011). On the complexity of EL with defeasible inclusions. International Joint Conference on Artificial Intelligence. 762–767. 4 indexed citations

12.

Faella, Marco, et al.. (2011). Exploring the boundary of half-positionality. Annals of Mathematics and Artificial Intelligence. 62(1-2). 55–77. 6 indexed citations

13.

Benerecetti, Massimo, et al.. (2011). Towards Efficient Exact Synthesis for Linear Hybrid Systems. SHILAP Revista de lepidopterología. 54. 263–277. 4 indexed citations

14.

Bonatti, Piero A., Marco Faella, & Luigi Sauro. (2010). EL with default attributes and overriding. International Semantic Web Conference. 64–79. 14 indexed citations

15.

Bonatti, Piero A., Marco Faella, & Luigi Sauro. (2009). Defeasible inclusions in low-complexity DLs: preliminary notes. International Joint Conference on Artificial Intelligence. 696–701. 12 indexed citations

16.

Chatterjee, Krishnendu, Luca de Alfaro, Marco Faella, & Axel Legay. (2009). Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science. Volume 5, Issue 2. 1 indexed citations

17.

Faella, Marco, Axel Legay, & Mariëlle Stoelinga. (2008). Model Checking Quantitative Linear Time Logic. Electronic Notes in Theoretical Computer Science. 220(3). 61–77. 10 indexed citations

18.

Legay, Axel, Luca de Alfaro, & Marco Faella. (2006). An Introduction to the Tool Ticc. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 0. 1 indexed citations

19.

Alfaro, Luca de, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, & Mariëlle Stoelinga. (2005). Model checking discounted temporal properties. Theoretical Computer Science. 345(1). 139–170. 54 indexed citations

20.

Alfaro, Luca de, Marco Faella, Rupak Majumdar, & Vishwanath Raman. (2005). Code aware resource management. 191–202. 13 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