Fausto Giunchiglia

Citée par

	Toutes	Depuis 2016
Citations	19306	3446
indice h	61	26
indice i10	164	59

1300

650

325

975

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202172 83 94 131 216 132 226 217 266 331 445 592 788 929 1066 1109 1250 1223 1198 1118 1120 942 935 946 724 711 712 663 607 26

Coauteurs

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerAdresse e-mail validée de fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyAdresse e-mail validée de fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaAdresse e-mail validée de unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoAdresse e-mail validée de fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyAdresse e-mail validée de unitn.it
Paolo GiorginiProfessor of Computer Science, University of TrentoAdresse e-mail validée de unitn.it
John MylopoulosUniversity of OttawaAdresse e-mail validée de cs.toronto.edu
Ilya ZaihrayeuUniversity of TrentoAdresse e-mail validée de disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Adresse e-mail validée de fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceAdresse e-mail validée de unitn.it
Toby WalshProfessor, UNSW and Data61Adresse e-mail validée de cse.unsw.edu.au
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyAdresse e-mail validée de unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaAdresse e-mail validée de unige.it
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerAdresse e-mail validée de fbk.eu
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamAdresse e-mail validée de vu.nl
Maurizio MarcheseUniversity of TrentoAdresse e-mail validée de unitn.it
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyAdresse e-mail validée de fbk.eu
Heiner StuckenschmidtUniversity of MannheimAdresse e-mail validée de informatik.uni-mannheim.de
Fiona McNeillReader in Computing Education, University of EdinburghAdresse e-mail validée de ed.ac.uk

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Adresse e-mail validée de disi.unitn.it - Page d'accueil

Computational theories of meaning


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	2258	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	2131	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	851	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	802	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	689	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	567	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	545	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	526	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	488	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	479	1992
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	469	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	447	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	409	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	335	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	294	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	281	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	259	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	214*	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	188	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	184	2001

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs