Fausto Giunchiglia

Citée par

	Toutes	Depuis 2019
Citations	24122	5245
indice h	67	33
indice i10	221	109

1400

700

350

1050

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202468 95 90 143 213 158 215 219 282 348 492 644 817 980 1096 1146 1337 1354 1214 1167 1148 963 969 979 754 734 755 705 653 870 952 986 1063

Accès public

Tout afficher

86 articles

9 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Alessandro CimattiFondazione 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 SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyAdresse e-mail validée de unitn.it
John MylopoulosUniversity of OttawaAdresse e-mail validée de cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoAdresse e-mail validée de unitn.it
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Adresse e-mail validée de fbk.eu
Ilya ZaihrayeuUniversity of TrentoAdresse e-mail validée de disi.unitn.it
Vincenzo (Enzo) MalteseUniversity of TrentoAdresse e-mail validée de disi.unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceAdresse e-mail validée de unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61Adresse e-mail validée de cse.unsw.edu.au
Heiner StuckenschmidtUniversity of MannheimAdresse e-mail validée de informatik.uni-mannheim.de
Chiara GhidiniFree University of Bozen-BolzanoAdresse e-mail validée de unibz.it
Fiona McNeillReader in Computing Education, University of EdinburghAdresse e-mail validée de ed.ac.uk
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-netAdresse e-mail validée de databricks.com
Armando TacchellaProfessor, Information Processing Systems, University of GenoaAdresse e-mail validée de unige.it
Biswanath DuttaAssociate Professor, Indian Statistical Institute BangaloreAdresse e-mail validée de drtc.isibang.ac.in
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyAdresse e-mail validée de fbk.eu

Suivre

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

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

Computational theories of the mind


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	2608	2002
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	2593	2004
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	996	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	968	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	765	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	630	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	569	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	564	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	564	1992
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	539	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	519	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	485	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	447	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	392	2007
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	352	2018
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	340	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	318	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	277	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	223*	1996
A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia	211*	2009

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

Suivre

Citée par

Coauteurs