Fausto Giunchiglia

引用次数

	总计	2019 年至今
引用	24185	5305
h 指数	67	33
i10 指数	221	109

1400

700

350

1050

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202468 95 90 143 212 158 215 219 282 348 492 644 820 980 1096 1146 1334 1353 1215 1167 1148 965 969 981 752 735 757 708 652 869 954 984 1124

开放获取的出版物数量

查看全部

86 篇文章

9 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Alessandro CimattiFondazione Bruno Kessler在 fbk.eu 的电子邮件经过验证
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, Italy在 fbk.eu 的电子邮件经过验证
Enrico GiunchigliaDIBRIS - Università di Genova在 unige.it 的电子邮件经过验证
Paolo TraversoDirector of Research, FBK ICT IRST, Trento在 fbk.eu 的电子邮件经过验证
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, Italy在 unitn.it 的电子邮件经过验证
John MylopoulosUniversity of Ottawa在 cs.toronto.edu 的电子邮件经过验证
Paolo GiorginiProfessor of Computer Science, University of Trento在 unitn.it 的电子邮件经过验证
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)在 fbk.eu 的电子邮件经过验证
Ilya ZaihrayeuUniversity of Trento在 disi.unitn.it 的电子邮件经过验证
Vincenzo (Enzo) MalteseUniversity of Trento在 disi.unitn.it 的电子邮件经过验证
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer Science在 unitn.it 的电子邮件经过验证
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Toby WalshProfessor, UNSW and CSIRO Data61在 cse.unsw.edu.au 的电子邮件经过验证
Heiner StuckenschmidtUniversity of Mannheim在 informatik.uni-mannheim.de 的电子邮件经过验证
Chiara GhidiniFree University of Bozen-Bolzano在 unibz.it 的电子邮件经过验证
Fiona McNeillReader in Computing Education, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-net在 databricks.com 的电子邮件经过验证
Armando TacchellaProfessor, Information Processing Systems, University of Genoa在 unige.it 的电子邮件经过验证
Biswanath DuttaAssociate Professor, Indian Statistical Institute Bangalore在 drtc.isibang.ac.in 的电子邮件经过验证
Paolo BrescianiFondazione Bruno Kessler, Trento, Italy在 fbk.eu 的电子邮件经过验证

关注

Fausto Giunchiglia

Professor of Computer Science, Università di Trento

在 unitn.it 的电子邮件经过验证 - 首页

Computational theories of the mind


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	2615	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	2596	2004
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999	998	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	973	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	763	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, ...	570	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	518	1993
Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994	484	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	449	2002
Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007	393	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	357	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	317	2004
Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999	278	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	213*	2009

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者