Fausto Giunchiglia

Cytowane przez

	Wszystkie	Od 2016
Cytowania	19924	3950
h-indeks	61	27
i10-indeks	169	70

1300

650

325

975

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202174 84 93 132 211 129 235 223 266 326 442 593 784 935 1068 1120 1241 1259 1208 1120 1137 949 954 954 732 726 714 677 633 464

Dostęp publiczny

Wyświetl wszystko

28 artykułów

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerZweryfikowany adres z fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyZweryfikowany adres z fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaZweryfikowany adres z unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoZweryfikowany adres z fbk.eu
Roberto SebastianiProfessor in Computer Science, DISI, University of Trento, ItalyZweryfikowany adres z unitn.it
John MylopoulosUniversity of OttawaZweryfikowany adres z cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoZweryfikowany adres z unitn.it
Ilya ZaihrayeuUniversity of TrentoZweryfikowany adres z disi.unitn.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Zweryfikowany adres z fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceZweryfikowany adres z unitn.it
Toby WalshProfessor, UNSW and Data61Zweryfikowany adres z cse.unsw.edu.au
Vincenzo MalteseHead of the Information Assets Management Division, University of Trento, ItalyZweryfikowany adres z unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Armando TacchellaProfessor, Information Processing Systems, University of GenoaZweryfikowany adres z unige.it
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamZweryfikowany adres z vu.nl
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerZweryfikowany adres z fbk.eu
Maurizio MarcheseUniversity of TrentoZweryfikowany adres z unitn.it
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyZweryfikowany adres z fbk.eu
Heiner StuckenschmidtUniversity of MannheimZweryfikowany adres z informatik.uni-mannheim.de
Fiona McNeillReader in Computing Education, University of EdinburghZweryfikowany adres z ed.ac.uk

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Zweryfikowany adres z disi.unitn.it - Strona główna

Computational theories of meaning applied ontology


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	2371	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	2197	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	878	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	830	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	704	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	577	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	541	2002
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	535	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	494	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	485	1992
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	479	1993
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	414	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	340	2007
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	299	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	284	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	255	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	215*	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	197	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	190	2001

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj tego autora

Cytowane przez

Współautorzy