Marcelo Finger

Cited by

	All	Since 2016
Citations	2847	484
h-index	20	8
i10-index	45	8

180

135

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020217 19 31 22 54 72 53 72 62 65 100 80 128 127 126 142 166 151 158 128 131 138 121 132 103 100 94 85 91 11

Co-authors

Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Glauber De BonaUniversity of São PauloVerified email at usp.br
Renata WassermannComputer Science, Universidade de São PauloVerified email at ime.usp.br
Fabio KonFull Professor of Computer ScienceVerified email at ime.usp.br
Flavio Soares Correa da SilvaProfessor of Computer Science, University of Sao PauloVerified email at ime.usp.br
Alfredo GoldmanAssociate Professor of Computer Science, University of São PauloVerified email at ime.usp.br
Ana C V de MeloProfessor de Ciência da Computação, Universidade de São PauloVerified email at ime.usp.br
Adolfo Gustavo Serra Seca Neto (Adol...Federal University of Technology - ParanáVerified email at utfpr.edu.br
Fabio Gagliardi CozmanUniversidade de Sao PauloVerified email at usp.br
Wamberto VasconcelosProfessor in Computing Science, University of Aberdeen, UKVerified email at abdn.ac.uk
Marcello D'AgostinoDepartment of Philosophy, University of MilanVerified email at unimi.it
Peter McBrienSenior LecturerVerified email at imperial.ac.uk
Rogério FajardoProfessor de Matemática, Instituto de Matemática e Estatística, Universidade de São PauloVerified email at ime.usp.br
Diogo FC PatrãoBig Data - Hospital Israelita Albert EinsteinVerified email at einstein.br
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Fabio N. KeplerSenior Researcher, Unbabel; Professor of Computer Science, University of PampaVerified email at kepler.pro.br
Fabiano LuzPesquisador na AlabiaVerified email at mutantbr.com
Graça NunesUniversidade de São PauloVerified email at icmc.usp.br
Sandra Maria AluísioSenior Professor of Computer Science at University of São Paulo (ICMC-USP)Verified email at icmc.usp.br

Marcelo Finger

Professor of Computer Science, Universidade de São Paulo

Verified email at ime.usp.br - Homepage

Artificial Intelligence Computational Logic Natural Language Processing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Temporal logic: mathematical foundations and computational aspects DM Gabbay, I Hodkinson, M Reynolds, M Finger Clarendon Press 1, 653, 1994	860	1994
Adding a temporal dimension to a logic system M Finger, DM Gabbay Journal of Logic, Language and Information 1 (3), 203-233, 1992	278	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	224	2004
Combining temporal logic systems M Finger, D Gabbay Notre Dame Journal of Formal Logic 37 (2), 204-232, 1996	93	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	84	2002
The LacioWeb Project: Overview and Issues in Brazilian Portuguese Corpora Creation RM Aluísio, GM Pinheiro, M Finger, M Graças, V Nunes, SEO Tagnin In: Proceedings of Corpus Linguistics, 2003	56	2003
Probabilistic satisfiability: Logic-based algorithms and phase transition M Finger, G De Bona Twenty-Second International Joint Conference on Artificial Intelligence, 2011	49	2011
Lógica para computação FSC da Silva, M Finger, ACV de Melo Thomson Learning, 2006	49	2006
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	40	1993
Semantics and proof-theory of depth bounded Boolean logics M D’Agostino, M Finger, D Gabbay Theoretical Computer Science 480, 43-68, 2013	33	2013
Handling database updates in two-dimensional temporal logic M Finger Journal of Applied Non-Classical Logics 2 (2), 201-224, 1992	28	1992
Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation G De Bona, M Finger Artificial Intelligence 227, 140-164, 2015	27	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	26	2004
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	25	2010
Non-normal Modalisation. R Fajardo, M Finger Advances in Modal Logic 4, 83-95, 2002	25	2002
The unrestricted combination of temporal logic systems M Finger, MA Weiss Logic Journal of IGPL 10 (2), 165-189, 2002	24	2002
Labelled natural deduction for substructural logics K Broda, M Finger, A Russo Logic Journal of the IGPL 7 (3), 283-318, 1999	24	1999
Cut and pay M Finger, D Gabbay Journal of Logic, Language and Information 15 (3), 195-218, 2006	22	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	21	2000
On the semantics ofcurrent-time'in temporal databases M Finger, PM Brien Proceedings of the 11th Brazilian Symposium on Databases, 324-337, 1996	21	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors