Fausto Giunchiglia

引用次数

	总计	2020 年至今
引用	24418	4823
h 指数	67	32
i10 指数	226	108

1400

700

350

1050

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202568 95 90 143 212 158 216 218 281 349 491 647 821 983 1090 1145 1334 1355 1219 1168 1150 963 971 980 754 734 758 709 652 869 952 983 1220 143

开放获取的出版物数量

查看全部

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 的电子邮件经过验证
Mattia ZeniDatabricks, TomTom, IBM Research, University of Trento, Create-net在 databricks.com 的电子邮件经过验证
Chiara GhidiniFree University of Bozen-Bolzano在 unibz.it 的电子邮件经过验证
Fiona McNeillReader in Computing Education, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Armando TacchellaProfessor, Information Processing Systems, University of Genoa在 unige.it 的电子邮件经过验证
Biswanath DuttaAssociate Professor, Indian Statistical Institute Bangalore在 drtc.isibang.ac.in 的电子邮件经过验证
Heiner StuckenschmidtUniversity of Mannheim在 informatik.uni-mannheim.de 的电子邮件经过验证
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	2627	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	1001	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	978	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	766	2004
Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001	631	2001
Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ...	570	2002
A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992	567	1992
C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003	566	2003
Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003	541	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	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	367	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
A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia	224*	2009
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

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者