Fausto Giunchiglia

Citata da

	Tutte	Dal 2018
Citazioni	21542	3809
Indice H	63	27
i10-index	188	74

1400

700

350

1050

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202363 85 80 141 207 140 214 214 274 334 429 595 817 978 1096 1137 1274 1306 1204 1152 1155 956 951 1003 752 730 733 689 655 811 870 44

Accesso pubblico

Visualizza tutto

50 articoli

5 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

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 SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyEmail verificata su unitn.it
Paolo GiorginiProfessor of Computer Science, University of TrentoEmail verificata su unitn.it
John MylopoulosUniversity of OttawaEmail verificata su cs.toronto.edu
Ilya ZaihrayeuUniversity of TrentoEmail verificata su disi.unitn.it
Anna PeriniFondazione Bruno Kessler (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 CSIRO Data61Email verificata su cse.unsw.edu.au
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Armando TacchellaProfessor, Information Processing Systems, University of GenoaEmail verificata su unige.it
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerEmail verificata su fbk.eu
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamEmail verificata su vu.nl
Heiner StuckenschmidtUniversity of MannheimEmail verificata su informatik.uni-mannheim.de
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-netEmail verificata su databricks.com
Fiona McNeillReader in Computing Education, University of EdinburghEmail verificata su ed.ac.uk
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyEmail verificata su fbk.eu
Biswanath DuttaAssociate Professor, Indian Statistical Institute BangaloreEmail verificata su drtc.isibang.ac.in

Segui

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Nessuna email verificata - Home page

Computational theories of meaning applied ontology


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	2474	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	2354	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	929	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	894	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	738	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	604	2001
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt The Semantic Web-ISWC 2003: Second International Semantic Web Conference …, 2003	557	2003
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	556	2002
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	514	1992
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	513	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	492	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	470	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	434	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	355	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	318	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	311	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	268	1999
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	230	2018
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	218*	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	203	1997

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

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori