Roberto Sebastiani

6.6k total citations
53 papers, 896 citations indexed

About

Roberto Sebastiani is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Roberto Sebastiani has authored 53 papers receiving a total of 896 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Artificial Intelligence, 34 papers in Computational Theory and Mathematics and 12 papers in Software. Recurrent topics in Roberto Sebastiani's work include Formal Methods in Verification (29 papers), Logic, Reasoning, and Knowledge (20 papers) and Software Testing and Debugging Techniques (10 papers). Roberto Sebastiani is often cited by papers focused on Formal Methods in Verification (29 papers), Logic, Reasoning, and Knowledge (20 papers) and Software Testing and Debugging Techniques (10 papers). Roberto Sebastiani collaborates with scholars based in Italy, Israel and Canada. Roberto Sebastiani's co-authors include Alessandro Cimatti, John Mylopoulos, Paolo Giorgini, Fausto Giunchiglia, Alberto Griggio, Marco Bozzano, Enrico Giunchiglia, Andrea Passerini, Gilles Audemard and Roberto Bruttomesso and has published in prestigious journals such as Scientific Reports, Frontiers in Psychology and Artificial Intelligence.

In The Last Decade

Roberto Sebastiani

48 papers receiving 772 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Roberto Sebastiani Italy 18 620 491 280 181 158 53 896
Michel Bidoit France 13 495 0.8× 535 1.1× 280 1.0× 141 0.8× 147 0.9× 37 855
Reiner Hähnle Germany 15 642 1.0× 431 0.9× 222 0.8× 158 0.9× 168 1.1× 85 843
Cesare Tinelli United States 17 872 1.4× 784 1.6× 447 1.6× 216 1.2× 218 1.4× 73 1.3k
Robert F. Stärk Switzerland 9 450 0.7× 290 0.6× 152 0.5× 156 0.9× 148 0.9× 31 659
Narciso Martı́-Oliet Spain 14 938 1.5× 682 1.4× 335 1.2× 317 1.8× 304 1.9× 55 1.2k
Christian Schallhart United Kingdom 13 547 0.9× 469 1.0× 393 1.4× 313 1.7× 299 1.9× 38 1.1k
Marjan Sirjani Iran 17 456 0.7× 434 0.9× 281 1.0× 306 1.7× 253 1.6× 102 940
Ilkka Niemelä Finland 19 1.6k 2.6× 543 1.1× 179 0.6× 318 1.8× 107 0.7× 74 1.9k
François Laroussinie France 11 326 0.5× 482 1.0× 260 0.9× 115 0.6× 85 0.5× 27 701
Ph. Schnoebelen France 12 392 0.6× 668 1.4× 286 1.0× 150 0.8× 91 0.6× 26 877

Countries citing papers authored by Roberto Sebastiani

Since Specialization
Citations

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

Fields of papers citing papers by Roberto Sebastiani

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Roberto Sebastiani

This figure shows the co-authorship network connecting the top 25 collaborators of Roberto Sebastiani. A scholar is included among the top collaborators of Roberto Sebastiani 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 Sebastiani. Roberto Sebastiani 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
1.
Sebastiani, Roberto, et al.. (2024). Disjoint Partial Enumeration without Blocking Clauses. Proceedings of the AAAI Conference on Artificial Intelligence. 38(8). 8126–8135. 2 indexed citations
2.
Passerini, Andrea, et al.. (2019). Advanced SMT techniques for weighted model integration. Artificial Intelligence. 275. 1–27. 8 indexed citations
3.
Teso, Stefano, Roberto Sebastiani, & Andrea Passerini. (2015). Structured learning modulo theories. Artificial Intelligence. 244. 166–187. 26 indexed citations
4.
Franzén, Anders, et al.. (2010). Applying SMT in symbolic execution of microcode. 121–128. 8 indexed citations
5.
Beyer, Dirk, et al.. (2009). Software model checking via large-block encoding. Institutional Research Information System (Università degli Studi di Trento). 25–32. 60 indexed citations
6.
Sebastiani, Roberto. (2007). Lazy Satisfiability Modulo Theories. 3(3-4). 141–224. 122 indexed citations
7.
Sebastiani, Roberto, et al.. (2006). Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC. Unitn Eprints Research (Università Degli Studi di Trento). 1 indexed citations
8.
Bruttomesso, Roberto, et al.. (2006). To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ∪ T). 3 indexed citations
9.
Giorgini, Paolo, et al.. (2004). Formal Reasoning Techniques for Goal Models. 1 indexed citations
10.
Bozzano, Marco, et al.. (2004). The MathSAT Solver — a progress report. Frontiers in Psychology. 8. 2121–2121. 2 indexed citations
11.
Audemard, Gilles, Alessandro Cimatti, Artur Korniłowicz, & Roberto Sebastiani. (2002). SAT-Based Bounded Model Checking for Timed Systems. Institutional Research Information System (Università degli Studi di Trento). 5 indexed citations
12.
Audemard, Gilles, Piergiorgio Bertoli, Alessandro Cimatti, Artur Korniłowicz, & Roberto Sebastiani. (2002). A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. Unitn Eprints Research (Università Degli Studi di Trento). 18 indexed citations
13.
Giunchiglia, Fausto & Roberto Sebastiani. (2000). Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Information and Computation. 162(1-2). 158–178. 18 indexed citations
14.
Giunchiglia, Enrico, Fausto Giunchiglia, Roberto Sebastiani, & Armando Tacchella. (1998). More Evaluation of Decision Procedures for Modal Logics.. Institutional Research Information System (Università degli Studi di Trento). 626–635. 21 indexed citations
15.
Giunchiglia, Enrico, et al.. (1998). Act, and the rest will follow: exploiting determinism in planning as satisfiability. Institutional Research Information System (Università degli Studi di Trento). 948–953. 28 indexed citations
16.
Bundy, Alan, Fausto Giunchiglia, Roberto Sebastiani, & Toby Walsh. (1996). Computing abstraction hierarchies by numerical simulation. Edinburgh Research Explorer (University of Edinburgh). 523–529. 3 indexed citations
17.
Giunchiglia, Fausto & Roberto Sebastiani. (1996). A SAT-based decision procedure for ALC. Institutional Research Information System (Università degli Studi di Trento). 304–314. 35 indexed citations
18.
Bundy, Alan, Fausto Giunchiglia, Roberto Sebastiani, & Toby Walsh. (1996). Calculating criticalities. Artificial Intelligence. 88(1-2). 39–67. 10 indexed citations
19.
Giunchiglia, Fausto, Marco Roveri, & Roberto Sebastiani. (1996). A New Method for Testing Decision Procedures in Modal and Terminological Logics.. Institutional Research Information System (Università degli Studi di Trento). 119–123. 4 indexed citations
20.
Villafiorita, Adolfo & Roberto Sebastiani. (1994). Proof Planning By Abstraction. Institutional Research Information System (Università degli Studi di Trento). 1 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

Breakdown of academic impact, for papers by Michel Bidoit Breakdown of academic impact, for papers by Reiner Hähnle Breakdown of academic impact, for papers by Cesare Tinelli Breakdown of academic impact, for papers by Robert F. Stärk Breakdown of academic impact, for papers by Narciso Martı́-Oliet Breakdown of academic impact, for papers by Christian Schallhart Breakdown of academic impact, for papers by Marjan Sirjani Breakdown of academic impact, for papers by Ilkka Niemelä Breakdown of academic impact, for papers by François Laroussinie Breakdown of academic impact, for papers by Ph. Schnoebelen
Rankless by CCL
2026