Enrico Giunchiglia

Geciteerd door

	Alles	Sinds 2019
Citaties	8197	1277
h-index	43	15
i10-index	80	24

500

250

125

375

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 45 53 67 84 106 148 177 245 303 420 429 401 500 463 434 393 449 386 368 347 355 252 285 268 196 247 210 213 143

Openbare toegang

Alles bekijken

5 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Armando TacchellaProfessor, Information Processing Systems, University of GenoaGeverifieerd e-mailadres voor unige.it
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoGeverifieerd e-mailadres voor unitn.it
Massimo NarizzanoUnige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)Geverifieerd e-mailadres voor unige.it
Marco MarateaUniversity of GenovaGeverifieerd e-mailadres voor dibris.unige.it
Alessandro CimattiFondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyGeverifieerd e-mailadres voor unitn.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoGeverifieerd e-mailadres voor fbk.eu
Alessandro ArmandoUniversity of GenovaGeverifieerd e-mailadres voor unige.it
Vladimir LifschitzUniversity of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyGeverifieerd e-mailadres voor fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceGeverifieerd e-mailadres voor unitn.it
Claudio CastelliniProfessor of Medical Robotics at FAU Erlangen and senior researcher at the German Aerospace CenterGeverifieerd e-mailadres voor fau.de
Paolo MarinGeverifieerd e-mailadres voor bankmedia.de

Volgen

Enrico Giunchiglia

DIBRIS - Università di Genova

Geverifieerd e-mailadres voor unige.it


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	2592	2002
Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004	577	2004
An action language based on causal explanation: Preliminary report E Giunchiglia, V Lifschitz AAAI/IAAI, 623-630, 1998	290	1998
Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	278	2001
Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006	210	2006
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso Proceedings of the 4th European Conference on Planning (ECP’97), 130-142, 0	208*
QUBE: A system for deciding quantified boolean formulas satisfiability E Giunchiglia, M Narizzano, A Tacchella Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	180	2001
SAT-based procedures for temporal reasoning A Armando, C Castellini, E Giunchiglia European Conference on Planning, 97-108, 1999	173	1999
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas E Giunchiglia, M Narizzano, A Tacchella arXiv e-prints, arXiv: 1111.0860, 2011	142*	2011
Representing action: Indeterminacy and ramifications E Giunchiglia, GN Kartha, V Lifschitz Artificial Intelligence 95 (2), 409-438, 1997	140	1997
Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003	139	2003
Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002	127	2002
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism C Castellini, E Giunchiglia, A Tacchella Artificial Intelligence 147 (1-2), 85-117, 2003	117	2003
SAT-based decision procedures for classical modal logics E Giunchiglia, A Tacchella, F Giunchiglia Journal of automated reasoning 28, 143-171, 2002	106	2002
Non-omniscient belief as context-based reasoning F Giunchiglia, L Serafini, E Giunchiglia, M Frixione IJCAI 93, 548-554, 1993	100	1993
Efficient semantic matching F Giunchiglia, M Yatskevich, E Giunchiglia European Semantic Web Conference, 272-289, 2005	94	2005
Constraints and AI planning A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ... IEEE Intelligent Systems 20 (2), 62-72, 2005	92	2005
SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI 4, 61-66, 2004	90	2004
Act, and the rest will follow: Exploiting determinism in planning as satisfiability E Giunchiglia, A Massarotto, R Sebastiani AAAI/IAAI, 948-953, 1998	89	1998
Solving satisfiability problems with preferences E Di Rosa, E Giunchiglia, M Maratea Constraints 15, 485-515, 2010	79	2010

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs