- Currículo Lattes
- Endereço profissional:
Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. rua do matao, 1010 Butantan 05508-090 - Sao Paulo, SP - Brasil
Telefone: (011) 30916135
| |
|
| 1. | D'Agostino, M. ; FINGER, M. ; GABBAY, D. . Cut-Based Abduction. Logic Journal of the IGPL, v. 16, p. 537-560, 2008. |
| 2. | FINGER, M ; RABELLO, G. . Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic, v. 152, p. 161-173, 2008. |
| 3. | FINGER, M. ; WASSERMANN, R. . Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation, v. 17, p. 53-82, 2007. |
| 4. | FINGER, M. ; GABBAY, D. . Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL, v. 15, p. 553-575, 2007. |
| 5. | FINGER, M ; WASSERMANN, R . The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006. |
| 6. | Finger, Marcelo ; Gabbay, Dov . Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006. |
| 7. | FINGER, M. ; WASSERMANN, R. . Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation, Londres, v. 14, n. 2, p. 179-204, 2004. |
| 8. | Goldchleger, Andrei ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; Bezerra, Germano Capistrano . InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurrency and Computation. Practice & Experience, v. 16, p. 449-459, 2004. |
| 9. | BRODA, S ; DAMAS, L. ; FINGER, M. ; SILVA, P. J. S. E. . The decidability of a fragment of -logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004. |
| 10. | FINGER, M. ; SILVA, F. C. ; VASCONCELOS, W. ; ROBERTSON, D. ; BRILHANTE, V. ; MELO, A. C. V. . On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems, v. 15, n. 3, p. 147-167, 2002. |
| 11. | FINGER, M. ; WEISS, M. A. . The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL, v. 10, n. 1, p. 165-189, 2002. |
| 12. | FINGER, M . A logical reconstruction of temporal databases. Journal of Logic and Computation, v. 10, n. 6, p. 847-876, 2000. |
| 13. | Broda, K ; FINGER, M ; RUSSO, A. . Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999. |
| 14. | FINGER, M . Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998. |
| 15. | FINGER, M. ; GABBAY, D. ; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using LDS: A Prototype. LOGIC JOURNAL OF THE IGPL -- The INTEREST GROUP IN PURE AND APPLIED LOGICS, v. 5, n. 5, p. 647-671, 1997. |
| 16. | FINGER, M. ; GABBAY, D. . Combining Temporal Logic Systems. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 37, n. 2, p. 204-232, 1996. |
| 17. | FINGER, M. ; Gabbay, Dov M. . Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, v. 1, p. 203-233, 1992. |
| 18. | FINGER, M. . Handling Database Updates In Two-Dimensional Temporal Logic. JOURNAL OF APPLIED NON-CLASSICAL LOGIC, v. 2, n. 2, p. 201-224, 1992. |
| 1. | SILVA, F. C. ; FINGER, M. ; MELO, A. C. V. . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 232 p. |
| 2. | FINGER, M. (Org.) ; REYNOLDS, M. (Org.) ; DIXON, C. (Org.) ; FISHER, M. (Org.) . AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer, 2001. v. 1. |
| 3. | GABBAY, D. ; FINGER, M. ; REYNOLDS, M. . Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press, 2000. |
| 4. | FINGER, M. ; FERREIRA, J. E. . Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. Sao Paulo: Escola de Computaçao 2000, 2000. 180 p. |
| 1. | FINGER, M. . DAG Sequent Proofs with a Substitution Rule. In: S. Artemov; H. Barringer; A. S. d'Avila Garcez; L.C. Lamb; and J. Woods. (Org.). We will show Them -- Essays in honour of Dov Gabbay's 60th birthday. London: Kings College Publications, 2005, v. 1, p. 671-686. |
| 2. | FINGER, M. . When is a substructural logic paraconsistent?. Paraconsistency, the Logical way to Inconsistency -- Essays in hobour of Newton da Costa's 70th birthday. : Marcel Dekker, 2002, v. , p. 353-368. |
| 3. | FINGER, M. ; REYNOLDS, M. ; GABBAY, D. . Advanced Tense Logic. In: Dov Gabbay. (Org.). Handbook of Philosophical Logic. : , 2001, v. , p. -. |
| 4. | FINGER, M. ; REYNOLDS, M. . Imperative History: Two-Dimensional Executable Temporal Logic. LOGIC, LANGUAGE AND REASONING ESSAYS IN HONOUR OF DOV GABBAY. LONDON: OXFORD UNIVERSITY PRESS, 1998, v. , p. 79-106. |
| 1. | FINGER, M. ; WASSERMANN, R. . Revising Specifications with CTL Properties using Bounded Model Checking. In: SBIA - Simpósio Brasileiro de Inteligência Artificial, 2008, Salvador. Brazilian Symposium on Artificial Intelligence (SBIA 2008), 2008. |
| 2. | FINGER, M. ; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource Use Pattern Analysis for Opportunistic Grids. In: 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008, Leuven. 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008. |
| 3. | RABELLO, G. ; Finger, Marcelo . Approximations of Modal Logic K. In: 12th Workshop on Logic, Language, Information and Computation, 2006, Florianópolis. Electronic Notes in Theoretical Computer Science. v. 143. p. 23-32. |
| 4. | SECA NETO, A. G. S. ; FINGER, M. . Effective Prover for Minimal Inconsistency Logic. In: IFIP AI 2006, 2006, Santiago, Chile. IFIP 19th World Computer Congress, TC-12 IFIP AI 2006. Santiago : IFIP International Federation for Information Processing. v. 217. p. 465-477. |
| 5. | KEPLER, F. N. ; FINGER, M. . Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. In: PROPOR 2006, International Workshop on the Computational Processing of Portuguese, 2006, Itatiaia. LNAI: Lecture Notes in Artificial Intelligence. Berlin : Springer, 2006. v. 3960. p. 248-251. |
| 6. | KEPLER, F. N. ; FINGER, M. . Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. In: IBERAMIA-SBIA 2006, 2nd International Joint Conference. 10th Ibero-American Conference on AI. 18th Brazilian AI Symposium, 2006, Ribeirão Preto. LNAI: Lecture Notes in Artificial Intelligence. Berlin : Springer, 2006. v. 4140. p. 482-491. |
| 7. | Braga, Jr, J.R. ; FINGER, M. ; KON, F. ; VIDAL, A. T. C. . Trust in Large-Scale Computational Grids: An SPKI/SDSI extension for representing opinion. In: 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006, Melbourne. 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006. |
| 8. | FINGER, M. ; Fajardo . How Not to Combine Modal Logics. In: 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005. |
| 9. | FINGER, M. ; SECA NETO, A. G. S. . Using Aspect-oriented Programming in the Development of a Multi-strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005, Marília. II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005. |
| 10. | FINGER, M. ; SECA NETO, A. G. S. . Implementing a Multi-Strategy Theorem Prover. In: SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial, 2005, São Leopoldo, RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005. |
| 11. | FINGER, M. ; MELO, A. C. V. ; SILVA, F. C. ; WASSERMANN, R. ; BARROS, L. N. . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: 2nd International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005. |
| 12. | FINGER, M. . Polynomial Approximations of Full Classical Logic via Limited Bivalence. In: Eupean Conference of Logics in Artificial Intelligence (JELIA 2004), 2004, Lisboa. Logics in Artificial Intelligence -- Lecture Notes in Artificial Intelligence, 2004. v. 3229. p. 526-538. |
| 13. | FINGER, M. . Towards Polynomial Approximations of Full Propositional Logic. In: XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), 2004, São Luís. Lecture Notes in Artificial Intellingence (LNAI). Berlin : Springer, 2004. v. 3171. p. 11-20. |
| 14. | FINGER, M. ; ALUIZIO, S. M. ; PINHEIRO, G. M. ; TAGNIN, S. E. O. ; NUNES, M. G. V. . The Lacio-Web Project: overview and issues in Brazilian Portuguese corpora creation.. In: Corpus Linguistics, 2003, Lancaster. Proceedings of the Corpus Linguistics 2003/ UCREL Technical Papers. Lancaster : Lancaster University, 2003. v. 16. p. 14-21. |
| 15. | GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. In: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003, Rio de Janeiro. Proceedings of the ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003. p. 1-10. |
| 16. | FINGER, M ; WASSERMANN, R . The Universe of Approximations. In: workshop of Logic, Language, Information and Computation, 2003, Ouro Preto. Electronic Notes in Theoretical Computer Science. v. 84. p. 1-14. |
| 17. | FINGER, M. ; NASSU, E. A. . Consultas Envolvendo "Aqui" em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. In: Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003, Petrópolis. Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003. p. 1-10. |
| 18. | FINGER, M. ; Fajardo . Non-Normal Modalisation. In: Advances in Modal Logic, 2002, Toulouse. Advances in Modal Logic, 2002. p. 316-325. |
| 19. | FINGER, M. ; WASSERMANN, R. . Logic for Approximate Reasoning:Approximating Classical Logic from. In: 16o Simpósio Brasileiro de Inteligência Artificial, 2002, Recife/Porto de Galinhas. Lecture Notes in Artificial Intelligence, 2002. v. 2507. p. 21-30. |
| 20. | FINGER, M. ; WASSERMANN, R. . Approximate Reasoning. In: 56o Seminário Brasileiro de Análise, 2002, Niterói. Anais do 56o Seminário Brasileiro de Análise, 2002. p. 260-301. |
| 21. | FINGER, M. ; DIAS, W. . Implementações de Tableaux para Raciocínio Aproximado. In: 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002, Porto de Galinhas/Recife. 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002. p. 21-30. |
| 22. | FINGER, M. ; WASSERMANN, R. . Expressivity and Control in Limited Reasoning. In: 15th European Conference on Artificial Intelligence (ECAI02), 2002, Lyon. 15th European Conference on Artificial Intelligence (ECAI02), 2002. p. 72-76. |
| 23. | FINGER, M. ; WASSERMANN, R. . Tableaux for Approximate Reasoning. In: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001, Seattle. IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001. p. 71-79. |
| 24. | FINGER, M. ; WASSERMANN, R. . Approximate Reasoning and Paraconsistency. In: 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001, Brasilia. 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001. p. 76-86. |
| 25. | FINGER, M. . Algorithmic Correspondence Theory for Substructural Categorial Logic. In: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000, Leipzig, Germany. roceedings of the 4th Workshop on Advances in Modal Logic (AiML2000), 2000. |
| 26. | FINGER, M. ; WEISS, M. A. . The Unrestricted Addition of a Temporal Dimension to a Logic System. In: 3rd International Conference on Temporal Logic (ICTL), 2000, Leipzig, Germany. 3rdProceedings of the 3rd International Conference on Temporal Logic (ICTL), 2000. |
| 27. | FINGER, M. . Técnicas de Otimização da Precisão Empregadas no Etiquetador Tycho Brahe. In: V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000, Atibaia, SP. Anais do V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000. |
| 28. | FINGER, M. . Infinite SLaKE-Tableaux. In: 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000, Natal, RN. 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000. |
| 29. | FINGER, M. ; VASCONCELOS, W. . Sharing Resource-Sensitive Knowledge using Combinator Logics. In: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000, Atibaia, SP. Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000. |
| 30. | ALVES, C. D. C. ; FINGER, M. . Etiquetagem do Português Clássico Baseada em Córpora. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999, Evora. IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999. |
| 31. | FINGER, M. ; SILVA, F. C. . Temporal Data Obsolescence: Modelling problems. In: 5th International Workshop of Temporal Representation and Reasoning (TIME98), 1998, Florida. Proceeding of the 5th International Workshop on Temporal Representation and Reasoning (TIME'98), 1998. |
| 32. | FINGER, M. . Tagging a Morphologically Rich Language: The construction of the Tycho Brahe Corpus of Historical Portuguese. In: International Workshop on Text, Speech and Dialog (TSD98), 1998, Brno. International Workshop on Text, Speech and Dialog (TSD98), 1998. p. 39-45. |
| 33. | E. S. Mesquita ; FINGER, M. . Projeto de Dados em Bancos de Dados Distribuídos. In: XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998. XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998. |
| 34. | FINGER, M. ; REYNOLDS, M. . Two-Dimensional Executable Logic For Bitemporal Databases. In: 2nd International Conference on Temporal Logic (ICTL'97), 1997, Manchester, UK. 2nd International Conference on Temporal Logic (ICTL'97), 1997. p. 1-10. |
| 35. | FINGER, M. . Structural Equations And Complex Combinators. In: {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997, Fortaleza, Brazil. {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997. p. 1-10. |
| 36. | FINGER, M. ; MCBRIEN, P. . Concurrency Control For Perceivedly Instantaneous Transactions In Valid-Time Databases. In: Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997, Daytona Beach. Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997. p. 112-119. |
| 37. | FINGER, M. ; MCBRIEN, P. . On The Semantics Of 'Current-Time' In Temporal Databases. In: XI Brazilian Database Symposium (SBBD96), 1996, São Carlos. XI Brazilian Database Symposium (SBBD96), 1996. p. 324-337. |
| 38. | FINGER, M. ; BRODA, K. . Ke-Tableaux And A Fragmento Of Linear Logic. In: Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995, Koblenz. Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995. p. 1-10. |
| 39. | FINGER, M. . Notes On Several Methods For Combining Temporal Logics. In: Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994, Copenhagen. Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994. p. 1-10. |
| 40. | FINGER, M. ; FISHER, M. ; OWENS, R. . Metatem At Work: Modelling Reactive Systems Using Temporal Logics. In: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994, Edimburgo. Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994. p. 1-6. |
| 41. | FINGER, M. ; GABBAY, D. . Updating Atomic Information In Labelled Database Systems. In: 4th International Conference on Database Theory, 1992, Berlin. 4th International Conference on Database Theory, 1992. p. 188-200. |
| 42. | FINGER, M. ; MCBRIEN, P. ; OWENS, R. . Databases And Executable Temporal Logic. In: Annual Esprit Conference, 1991, Londres. Annual Esprit Conference, 1991. p. 288-302. |
| 1. | FINGER, M. . Using Abduction to Compute Efficient Proofs. In: LSFA'08 Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Workshop on Logical and Semantic Frameworks, with Applications, 2008. |
| 2. | SECA NETO, A. G. S. ; FINGER, M. . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX'07, 2007, Marseille. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, 2007. p. 1-10. |
| 3. | FINGER, M. ; RUSSO, A. ; BRODA, K. . Lds-Natural Deduction For Substructural Logics. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, Bahia. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 15-18. |
| 4. | FINGER, M. ; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using Lds: A Prototype. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, BA. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 25-28. |
| 1. | CARNIELLI, W. ; FINGER, M. . Minimal axiomatizations and algebraic rings: a conjectured relationship. In: Encontro Brasileiro de Lógica, 2008, Parati. CLE30-EBL-SLALM, 2008. |
| 2. | FINGER, M. . End the discrimination: Equal rights for the CUT. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006. p. 1-3. |
| 3. | FINGER, M. ; BRITTO, H. ; GALVES, C. . Computational and linguistic aspects of the construction of the tycho brahe parsed corpus of historical portuguese. In: 1st Freiburg Workshop on Romance Corpus Linguistics, 2000, Freiburg, Germany. Proceedings of the 1st Freiburg Workshop on Romance Corpus Linguistics, 2000. |
| 4. | FINGER, M. ; BRITTO, H. . Constructing a Parsed Corpus of Historical Portuguese. In: ACH-ALLC'99 InternationalHumanities Computing Conference, 1999. Proceedings of ACH-ALLC'99 International Humanities Computing Conference, 1999. |
| 5. | FINGER, M. . Structurally-Free Theorem Proving and the Learning of Structural Permissions in Categorial Grammar. In: 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998. 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998. |
| 1. | Finger, Marcelo ; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource use pattern analysis for predicting resource availabilityin opportunistic grids. Concurrency and Computation. Practice & Experience, 2009. |
| 2. | FINGER, M. . Analytic Methods for the Logic of Proofs. Journal of Logic and Computation, 2008. |
| 1. | FINGER, M. ; NASSU, E. A. . O significado de "aqui'' em sistemas transacionais móveis 2001 (Relatório Técnico). |
| 2. | FINGER, M. ; CEZAR, F. A. M. C. . Banco de dados obsolescentes e uma proposta de implementação 2001 (Relatório Técnico). |
| 1. | Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines .. 2008. |
| 2. | SECA NETO, A. G. S. ; FINGER, M. . KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007. |
| 1. | FINGER, M. . Resolvedores SAT. 2006. (Curso de curta duração ministrado/Outra). |
| 1. | Fabio Natanael Kepler. Técnicas de Aprendizado em Análise Sintática. Início: 2005. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger. |
| 1. | Mauricio Simões Camilo Hernandes. Invariantes Algébricos Associados À Conseqüência Lógica. Início: 2008. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 2. | Poliana Magalhães Reis. Provadores de Teoremas. Início: 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 1. | Lucas Cavalcante. Algoritmos para SAT Probabilístico. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 2. | Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger. |
| 3. | Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 4. | Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 5. | Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 6. | Rogério Papetti. Provadores de Teoremas. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 7. | Pedro Matiello. Provadores de Teoremas. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 8. | Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. Início: 2008. Iniciação_científica (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 1. |  Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. 2007. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger. |
| 2. | Eugênio Akihiro Nassu. Consultas envolvendo. 2003. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 1. | Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 2. | Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 3. | Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 4. | Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 5. | Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger. |
| 6. | Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger. |
| 7. | Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 8. | Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 9. | Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 10. | Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 11. | Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 12. | Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 13. | Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 14. | émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 15. | Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger. |
| 16. | Carlos Daniel Chacur Alves. Etiquetagem de Textos em PortuguêsBaseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger. |
| 17. | Mabelly de Oliveira Furtado. Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger. |
| 18. | EDUARDO JOSE SOLER MESQUITA. Projeto de Dados Em Bancos de Dados Distribuidos. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger. |
| 19. | Loreley Zavattiero. Implementação de um Fragmento TSQL2 para Banco de Dados de Tempo de Validade.. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger. |
| 1. | Rodrigo Silva. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 2. | Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 1. | Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. 2007. Iniciação_científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger. |
| 2. | Thiago Coraini. Implementação de um escalonador para grades. 2007. Iniciação_científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger. |
| 3. | Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em álgebras Booleanas.. 2006. Iniciação_científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 4. | Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em álgebras Booleanas.. 2006. Iniciação_científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 5. | Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. 2004. Iniciação_científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 6. | Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. 2003. Iniciação_científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger. |
| 7. | Rogério Fajardo. Lógicas Modais. 2002. Iniciação_científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Marcelo Finger. |
| 8. | Fernando Correa de Lima. Interface para programas de linguistica computacional. 2001. Iniciação_científica. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger. |
(*) Relatório criado com produções desde 1970 até HOJE
Data de processamento: Terça, 01/09/2009 10:59:27
Este arquivo foi gerado automaticamente por scriptLattes V6.12 (desenvolvido no CCSL-IME/USP por J.P. Mena-Chalco e R.M. Cesar-Jr). Os resultados estão sujeitos a falhas devido ao processamento automático dos currículos Lattes. Os erros normalmente devem-se a inconsistências no preenchimento dos currículos. Caso note alguma falha, por favor, contacte o responsável por esta página: taspardo@icmc.usp.br