Fausto Giunchiglia - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	18875	4008
h-index	60	27
i10-index	156	63

1300

650

325

975

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202076 93 95 132 226 136 228 213 261 335 454 603 785 916 1053 1105 1264 1217 1200 1133 1097 934 943 936 725 696 705 639 302

Medeauteurs

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyGeverifieerd e-mailadres voor fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaGeverifieerd e-mailadres voor unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoGeverifieerd e-mailadres voor fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyGeverifieerd e-mailadres voor unitn.it
John MylopoulosUniversity of OttawaGeverifieerd e-mailadres voor cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoGeverifieerd e-mailadres voor unitn.it
Ilya ZaihrayeuUniversity of TrentoGeverifieerd e-mailadres voor disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Geverifieerd e-mailadres voor fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceGeverifieerd e-mailadres voor unitn.it
Toby WalshProfessor, UNSW and Data61Geverifieerd e-mailadres voor cse.unsw.edu.au
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyGeverifieerd e-mailadres voor unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor vu.nl
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaGeverifieerd e-mailadres voor unige.it
Maurizio MarcheseUniversity of TrentoGeverifieerd e-mailadres voor unitn.it
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyGeverifieerd e-mailadres voor fbk.eu
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
Fiona McNeillReader in Computing Education, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
Heiner StuckenschmidtUniversity of MannheimGeverifieerd e-mailadres voor informatik.uni-mannheim.de

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Geverifieerd e-mailadres voor disi.unitn.it - Homepage

Computational theories of meaning


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	2223	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	2028	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	828	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	764	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	667	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	566	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	531	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	515	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	482	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	476	1992
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	475	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	455	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	402	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	330	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	286	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	280	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	250	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	209*	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	189	1997
A knowledge level software engineering methodology for agent oriented programming P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos Proceedings of the fifth international conference on Autonomous agents, 648-655, 2001	182	2001

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

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs