2026 Enrico Giunchiglia: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	40	9195	8928	258	256	132	8017

Enrico Giunchiglia publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Enrico Giunchiglia sits on this spectrum.

32 publications 991+

This scientist: 132 publications — 19th percentile

19% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

Enrico Giunchiglia D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Enrico Giunchiglia sits on this spectrum.

30 D-Index 131+

This scientist: 40 D-Index — 37th percentile

37% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

Overview

Enrico Giunchiglia is affiliated with the University of Genoa in Italy and works primarily in the field of Computer Science. Their research focuses substantially on Artificial Intelligence, with related interests spanning Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Computer Science Applications, and Software.

The main topics addressed in Enrico Giunchiglia's work include:

Logic, programming, and type systems
AI-based Problem Solving and Planning
Logic, Reasoning, and Knowledge
Formal Methods in Verification
Semantic Web and Ontologies
Context-Aware Activity Recognition Systems
Privacy-Preserving Technologies in Data

The scientist has collaborated frequently with several coauthors, notably:

Matteo Cardellini
Marco Maratea
Qiang Shen
Haotian Feng
Rui Song

Enrico Giunchiglia's publications are distributed across several venues, including:

arXiv (Cornell University)
Proceedings of the AAAI Conference on Artificial Intelligence
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Artificial Intelligence

Recent papers authored or coauthored by Enrico Giunchiglia include:

"Causal Laws and Multi-Valued Fluents," 2023, arXiv (Cornell University)
"Symbolic Numeric Planning with Patterns," 2023, arXiv (Cornell University)
"Symbolic Numeric Planning with Patterns," 2024, Proceedings of the AAAI Conference on Artificial Intelligence
"Temporal Numeric Planning with Patterns," 2025, Proceedings of the AAAI Conference on Artificial Intelligence
"Federated Multi-Task Attention for Cross-Individual Human Activity Recognition," 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence

Best Publications

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

2476
Citations
Nonmonotonic causal theories

Enrico Giunchiglia;Joohyung Lee;Vladimir Lifschitz;Norman McCain

581
Citations
Nusmv version 2: an opensource tool for symbolic model checking

Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

527
Citations
An action language based on causal explanation: preliminary report

Enrico Giunchiglia;Vladimir Lifschitz

292
Citations
Benefits of Bounded Model Checking at an Industrial Setting

Fady Copty;Limor Fix;Ranan Fraer;Enrico Giunchiglia

285
Citations
Answer Set Programming Based on Propositional Satisfiability

Enrico Giunchiglia;Yuliya Lierler;Marco Maratea

213
Citations
Planning via Model Checking: A Decision Procedure for AR

Alessandro Cimatti;Fausto Giunchiglia;Enrico Giunchiglia;Paolo Traverso

211
Citations
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability

Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

175
Citations
SAT-Based Procedures for Temporal Reasoning

Alessandro Armando;Alessandro Armando;Claudio Castellini;Enrico Giunchiglia

168
Citations
Clause/term resolution and learning in the evaluation of quantified Boolean formulas

Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

145
Citations
Representing action: indeterminacy and ramifications

Enrico Giunchiglia;G. Neelakantan Kartha;Vladimir Lifschitz

142
Citations
Backjumping for quantified Boolean logic satisfiability

Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

135
Citations
Learning for quantified boolean logic satisfiability

Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

120
Citations
SAT-based planning in complex domains: concurrency, constraints and nondeterminism

Claudio Castellini;Enrico Giunchiglia;Armando Tacchella

116
Citations
SAT-Based Decision Procedures for Classical Modal Logics

Enrico Giunchiglia;Armando Tacchella;Fausto Giunchiglia

108
Citations
Non-omniscient belief as context-based reasoning

Fausto Giunchiglia;Luciano Serafini;Enrico Giunchiglia;Marcello Frixione

95
Citations
SAT-based answer set programming

Enrico Giunchiglia;Yuliya Lierler;Marco Maratea

91
Citations
Constraints and AI planning

A. Nareyek;E.C. Freuder;R. Fourer;E. Giunchiglia

89
Citations
Act, and the rest will follow: exploiting determinism in planning as satisfiability

Enrico Giunchiglia;Alessandro Massarotto;Roberto Sebastiani

89
Citations
Efficient semantic matching

Fausto Giunchiglia;Mikalai Yatskevich;Enrico Giunchiglia

84
Citations
Theory and Applications of Satisfiability Testing

Enrico Giunchiglia;Armando Tacchella

2
Citations

Frequent Co-Authors

Armando Tacchella University of Genoa

Fausto Giunchiglia University of Trento

Alessandro Cimatti Fondazione Bruno Kessler

Paolo Traverso Fondazione Bruno Kessler

Roberto Sebastiani University of Trento

Claudio Castellini University of Erlangen-Nuremberg

Luciano Serafini Fondazione Bruno Kessler

Vladimir Lifschitz The University of Texas at Austin

Bernd Becker University of Freiburg

Marco Pistore Fondazione Bruno Kessler

External Links

Personal website of Enrico Giunchiglia Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Considering a future in Computer Science goes beyond just earning a bachelor’s degree. Many students explore online associate's degree programs as a flexible and affordable way to get started. These two-year degrees can help you learn key tech skills and provide entry into the workforce or a stepping stone toward further education.

If you’re looking to specialize or advance your career quickly, there are options for the quickest cheapest masters degree programs. These accelerated paths help you earn a respected qualification without putting your career on hold.

For those interested in long-term value, it’s useful to focus on the most worthwhile masters degrees in growing fields, such as artificial intelligence, cybersecurity, and data science. These areas are highly valued by employers and can open doors to lucrative positions.

In addition to degrees, professionals often boost their earnings and job prospects through certifications that pay well. Many can be earned online in just a few months, adding valuable credentials to your resume.