Countries citing papers authored by Agostino Dovier
Since
Specialization
Citations
This map shows the geographic impact of Agostino Dovier'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 Agostino Dovier with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Agostino Dovier more than expected).
This network shows the impact of papers produced by Agostino Dovier. 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 Agostino Dovier. The network helps show where Agostino Dovier may publish in the future.
Co-authorship network of co-authors of Agostino Dovier
This figure shows the co-authorship network connecting the top 25 collaborators of Agostino Dovier.
A scholar is included among the top collaborators of Agostino Dovier 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 Agostino Dovier. Agostino Dovier is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Dovier, Agostino, Andrea Formisano, Gopal Gupta, et al.. (2022). Parallel Logic Programming: A Sequel. Theory and Practice of Logic Programming. 22(6). 905–973.2 indexed citations
4.
Bortoli, Marco, et al.. (2019). Towards Distributed Computation of Answer Sets.. 316–326.1 indexed citations
5.
Palù, Alessandro Dal, Agostino Dovier, Andrea Formisano, Alberto Policriti, & Enrico Pontelli. (2016). Logic programming applied to genome evolution in cancer. 1645. 148–157.2 indexed citations
6.
Dovier, Agostino, Andrea Formisano, Enrico Pontelli, & Flavio Vella. (2015). Parallel Execution of the ASP Computation - an Investigation on GPUs. View. 1433.2 indexed citations
7.
Dovier, Agostino. (2015). Logic Programming and Bisimulation. International Conference on Lightning Protection.2 indexed citations
8.
Vella, Flavio, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, & Enrico Pontelli. (2013). CUD@ASP: Experimenting with GPGPUs in ASP solving.. 163–177.3 indexed citations
9.
Ancona, Davide & Agostino Dovier. (2013). co-LP: Back to the Roots.. Theory and Practice of Logic Programming. 13.2 indexed citations
10.
Palù, Alessandro Dal, Enrico Pontelli, Agostino Dovier, & Federico Fogolari. (2011). Exploring Protein Fragment Assembly Using CLP. Institutional Research Information System (University of Udine).7 indexed citations
11.
Dovier, Agostino & Enrico Pontelli. (2010). A 25-year perspective on logic programming: achievements of the Italian association for logic programming, GULP. Springer eBooks.2 indexed citations
12.
Avanzini, Federico, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, & Agostino Dovier. (2003). Acqua alta a venezia: Design of a urban scale auditory warning system. SMARTech Repository (Georgia Institute of Technology). 184–187.1 indexed citations
13.
Avanzini, Federico, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, & Davide Rocchesso. (2002). Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). Research Padua Archive (University of Padua). 139–154.1 indexed citations
14.
Dovier, Agostino, et al.. (1999). From Set to Hyperset Unification. 1999.6 indexed citations
15.
Cortesi, Agostino, Agostino Dovier, Elisa Quintarelli, & Letizia Tanca. (1998). Operational and Abstract Semantics of a Query Language for Semi-Structured Information.. 127–140.6 indexed citations
16.
Dovier, Agostino, Carla Piazza, Gianfranco Rossi, & Enrico Pontelli. (1998). On the representation and management of finite sets in CLP languages. International Conference on Logic Programming. 40–54.5 indexed citations
17.
Dovier, Agostino, et al.. (1997). A Minimality Study for Set Unification.. 1997.8 indexed citations
18.
Dovier, Agostino & Gianfranco Rossi. (1993). Embedding extensional finite sets in CLP. International Conference on Logic Programming. 540–556.20 indexed citations
19.
Rossi, Gianfranco, et al.. (1993). Extensional and Intensional Sets in CLP with Intensional Negation.. International Conference on Lightning Protection.1 indexed citations
20.
Dovier, Agostino, Eugenio G. Omodeo, Enrico Pontelli, & Gianfranco Rossi. (1991). {log}: A Logic Programming Language with Finite Sets.. International Conference on Lightning Protection. 64(1). 111–124.23 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.