Fausto Giunchiglia - Citazioni di Google Scholar

Citata da

	Tutte	Dal 2015
Citazioni	18599	3851
Indice H	60	27
i10-index	152	61

1300

650

325

975

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202078 97 100 134 225 135 229 215 261 337 462 592 781 911 1052 1094 1232 1216 1195 1106 1074 918 936 928 722 703 689 622 183

Coautori

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerEmail verificata su fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyEmail verificata su fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaEmail verificata su unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoEmail verificata su fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyEmail verificata su unitn.it
John MylopoulosUniversity of OttawaEmail verificata su cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoEmail verificata su unitn.it
Ilya ZaihrayeuUniversity of TrentoEmail verificata su disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Email verificata su fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceEmail verificata su unitn.it
Toby WalshProfessor, UNSW and Data61Email verificata su cse.unsw.edu.au
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyEmail verificata su unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamEmail verificata su vu.nl
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaEmail verificata su unige.it
Maurizio MarcheseUniversity of TrentoEmail verificata su unitn.it
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerEmail verificata su fbk.eu
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyEmail verificata su fbk.eu
Heiner StuckenschmidtUniversity of MannheimEmail verificata su informatik.uni-mannheim.de
Fiona McNeillAssociate Professor in Computer Science, Heriot-Watt UniversityEmail verificata su hw.ac.uk

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Email verificata su disi.unitn.it - Home page

Computational theories of meaning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	2189	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	1993	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	812	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	754	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	664	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	561	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	523	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	508	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	481	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	474	1993
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	470	1992
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	454	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	399	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	327	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	282	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	271	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	240	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	185	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	183	2001

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori