Seguir
Marcelo Finger
Marcelo Finger
Professor of Computer Science, Universidade de São Paulo
Dirección de correo verificada de ime.usp.br - Página principal
Título
Citado por
Citado por
Año
Combined measurement of the higgs boson mass in pp collisions at root s= 7 and 8 TeV with the ATLAS and CMS experiments
S Pospisil, K Potamianos, IN Potrap, CJ Potter, CT Potter, G Poulard, ...
Physical review letters, 2015
1111*2015
Temporal logic: mathematical foundations and computational aspects
DM Gabbay, I Hodkinson, M Reynolds, M Finger
Clarendon Press 1, 653, 1994
9281994
Adding a temporal dimension to a logic system
M Finger, DM Gabbay
Journal of Logic, Language and Information 1, 203-233, 1992
2851992
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
2302004
Combining temporal logic systems
M Finger, D Gabbay
Notre Dame Journal of Formal Logic 37 (2), 204-232, 1996
971996
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
852002
Lógica para computação
FSC da Silva, M Finger, ACV de Melo
Cengage Learning Edições Ltda., 2017
66*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
602003
Probabilistic satisfiability: Logic-based algorithms and phase transition
M Finger, G De Bona
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
542011
Semantics and proof-theory of depth bounded Boolean logics
M D’Agostino, M Finger, D Gabbay
Theoretical Computer Science 480, 43-68, 2013
462013
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
421993
Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation
G De Bona, M Finger
Artificial Intelligence 227, 140-164, 2015
362015
Approximate and limited reasoning: Semantics, proof theory, expressivity and control
M Finger, R Wasserman
Journal of Logic and Computation 14 (2), 179-204, 2004
292004
Handling database updates in two-dimensional temporal logic
M Finger
Journal of Applied Non-Classical Logics 2 (2), 201-224, 1992
291992
Labelled natural deduction for substructural logics
K Broda, M Finger, A Russo
Logic Journal of the IGPL 7 (3), 283-318, 1999
271999
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
262010
Non-normal Modalisation.
R Fajardo, M Finger
Advances in Modal Logic 4, 83-95, 2002
262002
Cut and pay
M Finger, D Gabbay
Journal of Logic, Language and Information 15 (3), 195-218, 2006
252006
The unrestricted combination of temporal logic systems
M Finger, MA Weiss
Logic Journal of IGPL 10 (2), 165-189, 2002
252002
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
242000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20