O rapto das flores cantantes /

Por Papescu, Monika., Finger, Marcelo.
Publicado em 1997

Controle de concorrência e distribuição de dados : a teoria clássica, suas limitações e extensões modernas /

Por Ferreira, João Eduardo., Finger, Marcelo., Escola de Computação
Publicado em 2000

Tableaux for approximate reasoning /

Por Finger, Marcelo., Wassermann, Renata., Universidade de São Paulo.
Publicado em 2001

Notes on measuring inconsistency in probabilistic logic /

Por De Bona, Glauber., Finger, Marcelo., Universidade de São Paulo.
Publicado em 2014

Towards polynomial approximations of full propositional logic /

Por Finger, Marcelo., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 2004

Notes on the logical reconstruction of temporal databases /

Por Finger, Marcelo., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 1997

Notes on complex combinators and structurally-free theorem proving /

Por Finger, Marcelo., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 1996

Computing list combinator solutions for structural equations /

Por Finger, Marcelo., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 1997

Lógica para computação /

Por Silva, Flávio Soares Corrêa da, Finger, Marcelo., Melo, Ana Cristina Vieira de
Publicado em 2006

O significado de "AQUI" em sistemas transacionais móveis /

Por Nassu, Eugênio Akihiro., Finger, Marcelo., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 2001

Uma conjectura refutada sobre satisfazibilidade probabilística /

Por Finger, Marcelo., Bona, Glauber de., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 2009

Sharing resource-sensitive knowledge using combinators logics /

Por Finger, Marcelo., Vasconcelos, Wamberto Weber., Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 2000

Advances in artificial intelligence - SBIA 2012 21st brazilian symposium on artificial intelligence, Curitiba, Brazil, October 20-25, 2012, proceedings /

Por Barros, Leliane N., Finger, Marcelo., Pozo, Aurora T.R., Lugo, Gustavo Alberto Giménez., Castilho, Marcos.
Publicado em 2012

Banco de dados obsolescentes e uma proposta de implementação /

Por Cezar, Fernando Antonio MacCracken., Finger, Marcelo, Instituto de Matemática e Estatística., Departamento de Ciência da Computação.
Publicado em 2001