Fausto Giunchiglia

Citat de

	Toate	Din 2020
Referințe bibliografice	24536	4903
h-index	67	32
i10-index	229	108

1400

700

350

1050

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202566 90 91 143 214 158 218 220 289 345 488 655 816 982 1082 1158 1345 1361 1240 1170 1150 978 973 969 745 735 760 702 654 878 935 987 1211 233

Acces public

Afișați-le pe toate

88 de articole

9 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Alessandro CimattiFondazione Bruno KesslerAdresă de e-mail confirmată pe fbk.eu
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyAdresă de e-mail confirmată pe fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaAdresă de e-mail confirmată pe unige.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoAdresă de e-mail confirmată pe fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyAdresă de e-mail confirmată pe unitn.it
Paolo GiorginiProfessor of Computer Science, University of TrentoAdresă de e-mail confirmată pe unitn.it
John MylopoulosUniversity of OttawaAdresă de e-mail confirmată pe cs.toronto.edu
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Adresă de e-mail confirmată pe fbk.eu
Ilya ZaihrayeuUniversity of TrentoAdresă de e-mail confirmată pe disi.unitn.it
Vincenzo (Enzo) MalteseUniversity of TrentoAdresă de e-mail confirmată pe disi.unitn.it
Toby WalshProfessor, UNSW and CSIRO Data61Adresă de e-mail confirmată pe cse.unsw.edu.au
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceAdresă de e-mail confirmată pe unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
Chiara GhidiniFree University of Bozen-BolzanoAdresă de e-mail confirmată pe unibz.it
Heiner StuckenschmidtUniversity of MannheimAdresă de e-mail confirmată pe informatik.uni-mannheim.de
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-netAdresă de e-mail confirmată pe databricks.com
Fiona McNeillReader in Computing Education, University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
Armando TacchellaProfessor, Information Processing Systems, University of GenoaAdresă de e-mail confirmată pe unige.it
Biswanath DuttaAssociate Professor, Indian Statistical Institute BangaloreAdresă de e-mail confirmată pe drtc.isibang.ac.in
Paolo BrescianiFondazione Bruno Kessler, Trento, ItalyAdresă de e-mail confirmată pe fbk.eu

Urmăriți

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

Adresă de e-mail confirmată pe unitn.it - Pagina de pornire

Computational theories of the mind


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	2628	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	2601	2004
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	1003	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	979	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	761	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	633	2001
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	565	1992
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	564	2003
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	559	2002
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	536	2003
Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993	522	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	486	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	451	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	368	2018
Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000	338	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	317	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	286	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	229*	1996
A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia	223*	2009

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori