Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Finger, Marcelo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantics and proof-theory of depth bounded Boolean logics
Marcello D'Agostino
,
Marcelo Finger
,
Dov Gabbay
Theoretical Computer Science
480
, 2013, pp. 43-68
Application execution management on the InteGrade opportunistic grid middleware
Francisco José da Silva e Silva
,
Fabio Kon
,
Alfredo Goldman
,
Marcelo Finger
,
Raphael Y. de Camargo
,
Fernando Castor Filho
,
Fábio M. Costa
Journal Parallel Distributed Computing
70
(5), 2010, pp. 573-583
The universe of propositional approximations
Marcelo Finger
,
Renata Wassermann
Theoretical Computer Science
355
(2), 2006, pp. 153-166
The decidability of a fragment of BB'IW-logic
Sabine Broda
,
Luís Damas
,
Marcelo Finger
,
Paulo Silva e Silva
Theoretical Computer Science
318
(3), 2004, pp. 373-408