Giuseppe Perelli

818 total citations
33 papers, 282 citations indexed

About

Giuseppe Perelli is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Management Science and Operations Research. According to data from OpenAlex, Giuseppe Perelli has authored 33 papers receiving a total of 282 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 11 papers in Management Science and Operations Research. Recurrent topics in Giuseppe Perelli's work include Logic, Reasoning, and Knowledge (24 papers), Formal Methods in Verification (21 papers) and Logic, programming, and type systems (15 papers). Giuseppe Perelli is often cited by papers focused on Logic, Reasoning, and Knowledge (24 papers), Formal Methods in Verification (21 papers) and Logic, programming, and type systems (15 papers). Giuseppe Perelli collaborates with scholars based in United Kingdom, Italy and Australia. Giuseppe Perelli's co-authors include Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, Julián Gutiérrez, Michael Wooldridge, Orna Kupferman, Paul Harrenstein, Adriano Peron, Angelo Montanari and Sasha Rubin and has published in prestigious journals such as Artificial Intelligence, Theoretical Computer Science and Applied Intelligence.

In The Last Decade

Giuseppe Perelli

27 papers receiving 274 citations

Peers

Giuseppe Perelli

CTM

MSOR

CNC

SOFTW

Fabio Mogavero Italy

Nils Bulling Germany

Ramón Pino Pérez France

Benjamin Aminof Italy

Véronique Bruyère Belgium

Francesco Belardinelli United Kingdom

Antonino Salibra Italy

Manfred Kerber United Kingdom

Thomas Ströhlein Germany

Václav Brožek Czechia

Fabio Mogavero Italy

Giuseppe Perelli

270 ×1.0

197 ×1.1

CTM

30 ×0.5

MSOR

20 ×1.2

CNC

11 ×0.7

SOFTW

Citations per year, relative to Giuseppe Perelli Giuseppe Perelli (= 1×) peers Fabio Mogavero

Countries citing papers authored by Giuseppe Perelli

Since Specialization

Citations

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

Fields of papers citing papers by Giuseppe Perelli

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Giuseppe Perelli

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

Alechina, Natasha, et al.. (2024). Pure-Past Action Masking. Proceedings of the AAAI Conference on Artificial Intelligence. 38(19). 21646–21655.

Bouyer, Patricia, et al.. (2023). Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Transactions on Computational Logic. 24(3). 1–38. 1 indexed citations

Gutiérrez, Julián, et al.. (2022). On the complexity of rational verification. Annals of Mathematics and Artificial Intelligence. 91(4). 409–430.

Alechina, Natasha, Giuseppe De Giacomo, Brian Logan, & Giuseppe Perelli. (2022). Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. IRIS Research product catalog (Sapienza University of Rome). 12–21.

Giacomo, Giuseppe De, et al.. (2021). Synthesis with Mandatory Stop Actions. IRIS Research product catalog (Sapienza University of Rome). 237–246.

Giacomo, Giuseppe De, Aniello Murano, Fabio Patrizi, & Giuseppe Perelli. (2021). Timed Trace Alignment with Metric Temporal Logic over Finite Traces. IRIS Research product catalog (Sapienza University of Rome). 227–236. 2 indexed citations

Gutiérrez, Julián, et al.. (2020). Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica. 58(6). 585–610. 4 indexed citations

Perelli, Giuseppe, et al.. (2019). A Computational Framework for Adaptive Systems and its Verification.. arXiv (Cornell University). 2 indexed citations

Perelli, Giuseppe. (2019). Enforcing Equilibria in Multi-Agent Systems. Adaptive Agents and Multi-Agents Systems. 188–196. 3 indexed citations

10.

Gutiérrez, Julián, Paul Harrenstein, Giuseppe Perelli, & Michael Wooldridge. (2018). Nash Equilibrium and Bisimulation Invariance. Logical Methods in Computer Science. 15(3). 32. 3 indexed citations

11.

Almagor, Shaull, Orna Kupferman, & Giuseppe Perelli. (2018). Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IRIS Research product catalog (Sapienza University of Rome). 35–41. 8 indexed citations

12.

Gutiérrez, Julián, Giuseppe Perelli, & Michael Wooldridge. (2017). Iterated Games with LDL Goals over Finite Traces. Adaptive Agents and Multi-Agents Systems. 696–704. 6 indexed citations

13.

Mogavero, Fabio, Aniello Murano, Giuseppe Perelli, & Moshe Y. Vardi. (2017). Reasoning about Strategies: on the Satisfiability Problem. Logical Methods in Computer Science. Volume 13, Issue 1. 13 indexed citations

14.

Gutiérrez, Julián, Paul Harrenstein, Giuseppe Perelli, & Michael Wooldridge. (2017). Nash Equilibrium and Bisimulation Invariance. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3 indexed citations

15.

Gutiérrez, Julián, Aniello Murano, Giuseppe Perelli, Sasha Rubin, & Michael Wooldridge. (2017). Nash Equilibria in Concurrent Games with Lexicographic Preferences. IRIS Research product catalog (Sapienza University of Rome). 1067–1073. 16 indexed citations

16.

Gutiérrez, Julián, Paul Harrenstein, Giuseppe Perelli, & Michael Wooldridge. (2016). Expressiveness and Nash Equilibrium in Iterated Boolean Games. Adaptive Agents and Multi-Agents Systems. 707–715. 3 indexed citations

17.

Mogavero, Fabio, Aniello Murano, Giuseppe Perelli, & Moshe Y. Vardi. (2016). Reasoning about Strategies: on the Satisfiability Problem. Oxford University Research Archive (ORA) (University of Oxford). 13(1). 1–37. 12 indexed citations

18.

Murano, Aniello & Giuseppe Perelli. (2015). Pushdown multi-agent system verification. International Conference on Artificial Intelligence. 1090–1096. 6 indexed citations

19.

Mogavero, Fabio & Giuseppe Perelli. (2015). Binding Forms in First-Order Logic. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3 indexed citations

20.

Mogavero, Fabio, Aniello Murano, Giuseppe Perelli, & Moshe Y. Vardi. (2014). Reasoning About Strategies. ACM Transactions on Computational Logic. 15(4). 1–47. 96 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