Fausto Giunchiglia - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	18200	4410
Índice h	59	29
Índice i10	152	67

1300

650

325

975

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201972 92 104 135 226 135 234 212 272 334 461 587 784 899 1048 1077 1257 1219 1177 1093 1074 918 928 923 713 669 666 503

Coautores

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyDirección de correo verificada de fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaDirección de correo verificada de unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoDirección de correo verificada de fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyDirección de correo verificada de unitn.it
John MylopoulosUniversity of OttawaDirección de correo verificada de cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoDirección de correo verificada de unitn.it
Ilya ZaihrayeuUniversity of TrentoDirección de correo verificada de disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Dirección de correo verificada de fbk.eu
Toby WalshProfessor, TU Berlin, UNSW, and Data61Dirección de correo verificada de cse.unsw.edu.au
Marco RoveriResearcher at Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyDirección de correo verificada de unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyDirección de correo verificada de fbk.eu
Maurizio MarcheseUniversity of TrentoDirección de correo verificada de unitn.it
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaDirección de correo verificada de unige.it
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Fiona McNeillAssociate Professor in Computer Science, Heriot-Watt UniversityDirección de correo verificada de hw.ac.uk
Heiner StuckenschmidtUniversity of MannheimDirección de correo verificada de informatik.uni-mannheim.de

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Dirección de correo verificada de disi.unitn.it - Página principal

Computational theories of meaning


Título	Citado por	Año
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	2123	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	1942	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	782	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	722	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	649	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	550	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	498	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	478*	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	467	1993
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	462	1992
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	450	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	390	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	319	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	280	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	263	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	245	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	205*	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	184	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores