Fausto Giunchiglia

Cited by

	All	Since 2020
Citations	24617	4978
h-index	67	33
i10-index	232	111

1400

700

350

1050

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202566 90 91 143 214 158 218 224 286 345 496 651 818 979 1083 1161 1344 1358 1242 1171 1148 979 974 967 744 737 759 700 659 876 936 982 1233 286

Public access

View all

89 articles

9 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Verified email at fbk.eu
Ilya ZaihrayeuUniversity of TrentoVerified email at disi.unitn.it
Vincenzo (Enzo) MalteseUniversity of TrentoVerified email at disi.unitn.it
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Chiara GhidiniFree University of Bozen-BolzanoVerified email at unibz.it
Heiner StuckenschmidtUniversity of MannheimVerified email at informatik.uni-mannheim.de
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-netVerified email at databricks.com
Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Biswanath DuttaAssociate Professor, Indian Statistical Institute BangaloreVerified email at drtc.isibang.ac.in
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Verified email at unitn.it - Homepage

Computational theories of the mind


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification, 241-268, 2002	2633	2002
Tropos: An agent-oriented software development methodology P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos Autonomous Agents and Multi-Agent Systems 8 (3), 203-236, 2004	2603	2004
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	1008	1999
NuSMV: a new symbolic model checker A Cimatti, E Clarke, F Giunchiglia, M Roveri International Journal on Software Tools for Technology Transfer (STTT) 2 (4 …, 2000	981	2000
S-Match: an algorithm and an implementation of semantic matching F Giunchiglia, P Shvaiko, M Yatskevich The semantic web: research and applications, 61-75, 2004	761	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	634	2001
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	567	1992
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	565	2003
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	559	2002
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	536	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	523	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	486	1994
The tropos software development methodology: processes, models and diagrams F Giunchiglia, J Mylopoulos, A Perini Proceedings of the 3rd international conference on Agent-oriented software …, 2002	451	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	393	2007
Mobile social media usage and academic performance F Giunchiglia, M Zeni, E Gobbi, E Bignotti, I Bison Computers in Human Behavior 82, 177-185, 2018	373	2018
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	339	2000
Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt Web Semantics: Science, Services and Agents on the World Wide Web 1 (4), 325-343, 2004	318	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	286	1999
Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani Automated Deduction—Cade-13, 583-597, 1996	230*	1996
A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia	225*	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors