Marcelo Finger 个人学术档案

引用次数

	总计	2019 年至今
引用	4022	892
h 指数	23	13
i10 指数	61	16

240

120

180

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 23 31 23 58 72 56 77 60 77 108 88 131 141 123 148 177 148 161 135 171 223 163 169 131 144 202 154 142 142 151 196 107

开放获取的出版物数量

查看全部

13 篇文章

4 篇文章

可查看的文章

无法查看的文章

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

合著作者

Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourg在 ext.uni.lu 的电子邮件经过验证
Mark ReynoldsProfessor of Computer Science, University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Glauber De BonaUniversity of São Paulo在 usp.br 的电子邮件经过验证
Alfredo GoldmanAssociate Professor of Computer Science, University of São Paulo在 ime.usp.br 的电子邮件经过验证
Fabio KonFull Professor of Computer Science在 ime.usp.br 的电子邮件经过验证
Renata WassermannComputer Science, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
Flavio Soares Correa da SilvaProfessor of Computer Science, University of Sao Paulo在 ime.usp.br 的电子邮件经过验证
Sandra Maria AluísioSenior Professor of Computer Science at University of São Paulo (ICMC-USP)在 icmc.usp.br 的电子邮件经过验证
Adolfo NetoFederal University of Technology - Paraná在 utfpr.edu.br 的电子邮件经过验证
Ana C V de MeloProfessor de Ciência da Computação, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
Fabio Gagliardi CozmanUniversidade de Sao Paulo在 usp.br 的电子邮件经过验证
Marcello D'AgostinoDepartment of Philosophy, University of Milan在 unimi.it 的电子邮件经过验证
Diogo FC PatrãoBig Data - Hospital Israelita Albert Einstein在 einstein.br 的电子邮件经过验证
Wamberto VasconcelosProfessor in Computing Science, University of Aberdeen, UK在 abdn.ac.uk 的电子邮件经过验证
Rogério FajardoProfessor de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
Peter McBrienSenior Lecturer在 imperial.ac.uk 的电子邮件经过验证
alessandra russoProfessor in Applied Computational Logic在 imperial.ac.uk 的电子邮件经过验证
Raphael Y. de CamargoUniversidade Federal do ABC在 ufabc.edu.br 的电子邮件经过验证
Fabio N. KeplerUnbabel在 kepler.pro.br 的电子邮件经过验证
Graça NunesUniversidade de São Paulo在 icmc.usp.br 的电子邮件经过验证

关注

Marcelo Finger

Professor of Computer Science, Universidade de São Paulo

在 ime.usp.br 的电子邮件经过验证 - 首页

Artificial Intelligence Computational Logic Natural Language Processing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Temporal logic: mathematical foundations and computational aspects DM Gabbay, I Hodkinson, M Reynolds, M Finger Clarendon Press 1, 653, 1994	960*	1994
Erratum: Search for anomalous production in the highly-boosted all-hadronic final state S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ... Journal of High Energy Physics 2014 (3), 132, 2014	306*	2014
Charged-particle nuclear modification factors in PbPb and pPb collisions at sqrt (s_NN)= 5.02 TeV S Belforte, V Candelise, M Casarsa, A Zanetti Journal of High Energy Physics 2017 (4), 1-44, 2017	302*	2017
Adding a temporal dimension to a logic system M Finger, DM Gabbay Journal of Logic, Language and Information 1, 203-233, 1992	298	1992
InteGrade: object‐oriented Grid middleware leveraging the idle computing power of desktop machines A Goldchleger, F Kon, A Goldman, M Finger, GC Bezerra Concurrency and Computation: Practice and Experience 16 (5), 449-459, 2004	235	2004
Combining temporal logic systems M Finger, D Gabbay Notre Dame Journal of Formal Logic 37 (2), 204-232, 1996	101	1996
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions FSC Da Silva, WW Vasconcelos, DS Robertson, V Brilhante, ... Knowledge-Based Systems 15 (3), 147-167, 2002	82	2002
Lógica para computação FSC da Silva, M Finger, ACV de Melo Cengage Learning Edições Ltda., 2017	72*	2017
The lacio-web project: overview and issues in brazilian protuguese corpora creation SM Aluísio, GM Pinheiro, M Finger, MGV Nunes, SEO Tagnin Proceedings, 2003	63	2003
Semantics and proof-theory of depth bounded Boolean logics M D’Agostino, M Finger, D Gabbay Theoretical Computer Science 480, 43-68, 2013	56	2013
Probabilistic satisfiability: Logic-based algorithms and phase transition M Finger, G De Bona Twenty-Second International Joint Conference on Artificial Intelligence, 2011	56	2011
Metatem at work: Modelling reactive systems using executable temporal logic M Finger, M Fisher, R Owens Sixth International Conference on Industrial and Engineering Applications of …, 1993	45	1993
Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation G De Bona, M Finger Artificial Intelligence 227, 140-164, 2015	41	2015
Approximate and limited reasoning: Semantics, proof theory, expressivity and control M Finger, R Wasserman Journal of Logic and Computation 14 (2), 179-204, 2004	30	2004
Cut and pay M Finger, D Gabbay Journal of Logic, Language and Information 15 (3), 195-218, 2006	29	2006
Controle de concorrência e distribuição de dados: a teoria clássica, suas limitações e extensões modernas JE Ferreira, M Finger IME-USP, 2000	29	2000
Handling database updates in two-dimensional temporal logic M Finger Journal of Applied Non-Classical Logics 2 (2), 201-224, 1992	29	1992
The unrestricted combination of temporal logic systems M Finger, MA Weiss Logic Journal of IGPL 10 (2), 165-189, 2002	27	2002
Labelled natural deduction for substructural logics K Broda, M Finger, A Russo Logic Journal of the IGPL 7 (3), 283-318, 1999	27	1999
Resource use pattern analysis for predicting resource availability in opportunistic grids M Finger, GC Bezerra, DR Conde Concurrency and Computation: Practice and Experience 22 (3), 295-313, 2010	26	2010

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用