Fausto Giunchiglia

Cited by

	All	Since 2017
Citations	20696	3909
h-index	62	27
i10-index	177	72

1300

650

325

975

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202274 92 102 133 213 132 224 229 273 321 448 584 778 945 1071 1126 1250 1268 1225 1129 1129 946 960 959 737 720 723 675 652 836 297

Public access

View all

53 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiHead of Unit, Fondazione 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
Ilya ZaihrayeuUniversity of TrentoVerified email at disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Verified email at fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyVerified email at unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Heiner StuckenschmidtUniversity of MannheimVerified email at informatik.uni-mannheim.de
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
Maurizio MarcheseUniversity of TrentoVerified email at unitn.it
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Verified email at disi.unitn.it - Homepage

Computational theories of meaning applied ontology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	2429	2004
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	2286	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	904	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	861	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	723	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	584	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	548	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	542	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	505	1992
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	480	1993
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	470	2003
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	456	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	420	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	353	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	309	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	288	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	262	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	216*	1996
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso Recent Advances in AI planning, 130-142, 1997	202	1997
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	190	2018

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 this author

Cited by

Co-authors