Departamento de Ciência da Computação

Marcelo Finger

Possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology - Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing - Imperial College of Science and Technology, University of London (1994). Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier - Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo, Pesquisador Principal do USP-Fapesp-IBM Centro de Inteligência Artificial (C4AI), onde coordena o grupo NLP2 de processamento de lingauge natural em português. É editor das revistas: South American Journal of Logic, São Paulo Journal of Mathematical Sciences e editor convidado da Theoretical Computer Science e da Anals of Mathematics in Artificial Intelligence. Tem experiência na área de Ciência da Computação, com ênfase em Lógica, Raciocínio Lógico-Probabilístico, Linguística Computacional, e tem atuado como pesquisador principal nos seguintes temas: logica, inteligência artificial, Humanidades Digitais e linguistica computacional. (Texto informado pelo autor)

http://lattes.cnpq.br/0620986273710878 (30/10/2023)

Rótulo/Grupo:

Bolsa CNPq: Nível 1D

Período de análise:

Endereço: Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. Rua do Matão, 1010 Butantã 05508090 - São Paulo, SP - Brasil Telefone: (011) 30916135 URL da Homepage: http://www.ime.usp.br/~mfinger

Grande área: Ciências Exatas e da Terra

Área: Ciência da Computação

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (40)
1. BERTI, LARISSA CRISTINA ; SPAZZAPAN, EVELYN ALVES ; QUEIROZ, MARCELO ; PEREIRA, PEDRO LEYTON ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, BEATRIZ RAPOSO DE ; MARTINS, MARCUS VINÍCIUS MOREIRA ; FERREIRA, LETÍCIA SANTIAGO ; SILVA, INGRID GANDOLFI GOMES DA ; SABINO, ESTER CERDEIRA ; LEVIN, ANNA SARA ; Finger, Marcelo. Fundamental frequency related parameters in Brazilians with COVID-19. JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA. v. 153, p. 576-585, issn: 0001-4966, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
2. SALVATORE, FELIPE DE SOUZA ; Finger, Marcelo ; HIRATA, ROBERTO ; PATRIOTA, ALEXANDRE G.. A resampling-based method to evaluate NLI models. Natural Language Engineering. v. 1, p. 1-28, issn: 1351-3249, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
3. de Souza, Jackson José ; Finger, Marcelo ; DE ARAÚJO, JORGE ALBERTO A. ; MARANHÃO, JULIANO. Selecting and ranking leading cases in Brazilian Supreme Court decisions. KNOWLEDGE ENGINEERING REVIEW. v. 38, p. e7, issn: 0269-8889, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
4. Preto, Sandro ; Finger, Marcelo. Proving properties of binary classification neural networks via -ukasiewicz logic. LOGIC JOURNAL OF THE IGPL. v. 31, p. 805-821, issn: 1367-0751, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
5. Finger, Marcelo; Preto, Sandro. Polyhedral semantics and the tractable approximation of -ukasiewicz infinitely-valued logic. JOURNAL OF LOGIC AND COMPUTATION. v. 33, p. 1-18, issn: 0955-792X, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
6. Preto, Sandro ; Finger, Marcelo. Efficient representation of piecewise linear functions into -ukasiewicz logic modulo satisfiability. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. v. 32, p. 1-26, issn: 0960-1295, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
7. Preto, Sandro ; FERMÉ, EDUARDO ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE). v. 28, p. 38-51, issn: 1678-4804, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1 (JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO))
8. Finger, Marcelo. Inteligência Artificial e os rumos do processamento do português brasileiro. ESTUDOS AVANÇADOS (ONLINE). v. 35, p. 51-72, issn: 1806-9592, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
9. Finger, Marcelo; Preto, Sandro. Probably Partially True: Satisfiability for -ukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. JOURNAL OF AUTOMATED REASONING. v. 1, p. 1-20, issn: 0168-7433, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
10. Preto, Sandro ; Finger, Marcelo. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. v. 351, p. 167-186, issn: 1571-0661, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
11. Finger, Marcelo. Quantitative Logic Reasoning. arXiv e-prints. v. 1905.05665, p. 1-40, issn: 1905-0566, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: NP (ARXIV E-PRINT)
12. OLEYNIK, M. ; PATRAO, D. F. C. ; Finger, M.. Automated Classification of Semi-structured Pathology Reports into {ICD-O} using {SVM} in Portuguese. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 1, p. 1, issn: 0926-9630, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
13. Finger, Marcelo; GODO, LLUIS ; PRADE, HENRI ; QI, GUILIN. Advances in Weighted Logics for Artificial Intelligence. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. v. 88, p. 385-386, issn: 0888-613X, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
14. OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M.. Automated Classification of Semi-Structured Pathology Reports into ICD-O Using SVM in Portuguese. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 235, p. 256-260, issn: 0926-9630, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
15. Finger, Marcelo; De Bona, Glauber. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence. v. 1, p. 1-30, issn: 1012-2443, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
16. De Bona, Glauber ; Finger, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence (General Ed.). v. 227, p. 140-164, issn: 0004-3702, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
17. BONA, GLAUBER DE ; COZMAN, FABIO G. ; Finger, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society (Impresso). v. 21, p. 11, issn: 0104-6500, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
18. Finger, Marcelo; KESNER, DELIA. Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Theoretical Computer Science. v. 606, p. 1, issn: 0304-3975, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
19. OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M.. Automated Classification of Pathology Reports. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 216, p. 1040, issn: 0926-9630, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
20. De Bona, Glauber ; COZMAN, FABIO GAGLIARDI ; Finger, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic. v. 12, p. 349-368, issn: 1570-8683, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
21. ARRUDA, A. ; Finger, M. Completeness for cut-based abduction. Logic Journal of the IGPL (Print). v. 21, p. 1, issn: 1367-0751, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
22. Finger, Marcelo; REIS, POLIANA. On the Predictability of Classical Propositional Logic. Information. v. 4, p. 60-74, issn: 2078-2489, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
23. D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science. v. 480, p. 43-68, issn: 0304-3975, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
24. Finger, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print). v. 20, p. 370-387, issn: 1367-0751, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
25. Araújo, Anderson de ; Finger, Marcelo. Classical and quantum satisfiability. Electronic Proceedings in Theoretical Computer Science. v. 81, p. 79-84, issn: 2075-2180, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
26. Finger, M. Analytic Methods for the Logic of Proofs. Journal of Logic and Computation (Print). v. 20, p. 167-188, issn: 0955-792X, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION (PRINT))
27. Finger, Marcelo; BEZERRA, G. C. ; Danilo Mateus Rubio Conde. Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience. v. 22, p. 295-313, issn: 1532-0626, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4 (CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE)
28. da Silva e Silva, Francisco José ; KON, F. ; Kon, Fabio ; A. Goldman ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M.. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print). v. 70, p. 573-583, issn: 0743-7315, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2 (JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING)
29. D'Agostino, M. ; Finger, M. ; GABBAY, D.. Cut-Based Abduction. Logic Journal of the IGPL. v. 16, p. 537-560, issn: 1367-0751, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
30. Finger, M; RABELLO, G.. Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic. v. 152, p. 161-173, issn: 0168-0072, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
31. FINGER, M.; WASSERMANN, R.. Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation. v. 17, p. 53-82, issn: 0955-792X, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
32. 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, issn: 1367-0751, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
33. Finger, M; WASSERMANN, R. The universe of propositional approximations. Theoretical Computer Science. v. 355, n. 2, p. 153-166, issn: 0304-3975, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
34. Finger, Marcelo; Gabbay, Dov. Cut and Pay. Journal of Logic, Language and Information. v. 15, p. 195-218, issn: 0925-8531, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF LOGIC, LANGUAGE AND INFORMATION)
35. Finger, M.; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print). v. 14, n. 2, p. 179-204, issn: 0955-792X, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION (PRINT))
36. 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, issn: 1532-0626, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4 (CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE)
37. 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, issn: 0304-3975, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
38. CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, issn: 0950-7051, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
39. Finger, M.; WEISS, M. A.. The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL (Print). v. 10, n. 1, p. 165-189, issn: 1367-0751, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
40. Finger, M. A logical reconstruction of temporal databases. Journal of Logic and Computation (Print). v. 10, n. 6, p. 847-876, issn: 0955-792X, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION (PRINT))
Livros publicados/organizados ou edições (5)
1. Finger, Marcelo; DIXON, C. (Org.). Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 1 ed. Springer, 2017. v. 1, .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. CORREA DA SILVA, F. S.; FINGER, Marcelo ; MELO, Ana Cristina Vieira de. Lógica para Computação. 1 ed. São Paulo: Thomson Learning, 2006. v. 1, p. 232.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. FINGER, M.; REYNOLDS, M. (Org.) ; DIXON, C. (Org.) ; FISHER, M. (Org.). AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer. AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer, 2001. v. 1, .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. GABBAY, D. ; FINGER, M. ; REYNOLDS, M.. Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press. Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press, 2000. .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. FERREIRA, J. E. ; FINGER, M.. Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. 1a ed. Sao Paulo: Escola de Computaçao 2000, 2000. p. 180.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Capítulos de livros publicados (14)
1. GAUY, MARCELO MATHEUS ; BERTI, L. C. ; CANDIDO JR, A. ; CAMARGO NETO, A. C. ; GOLDMAN, A. ; LEVIN, A. S. ; MARTINS, M. ; MEDEIROS, B. R. ; QUEIROZ, M. G. ; SABINO, E. C. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo. Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Lecture Notes in Computer Science. 1ed. Em: . 2023.v. 13897, p. 271.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Preto, Sandro ; Finger, Marcelo. Effective Reasoning over Neural Networks Using ?ukasiewicz Logic. Em: Pascal Hitzler, Md Kamruzzaman Sarker, Aaron Eberhart. (Org.). Compendium of Neurosymbolic Artificial Intelligence. 1ed. : IOS Press. 2023.v. 369, p. 609-630.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Finger, Marcelo. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do ?oba-oba?. Em: Fabio G. Cozman GuilhermeAry Plonski Hugo Neri. (Org.). Inteligência Artificial: Avanços e Tendências. 1ed.São Paulo. : Universidade de São Paulo/INSTITUTO DE ESTUDOS AVANÇADOS. 2021.p. 95-109.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Finger, Marcelo; ALUISIO, S. M. ; SPAZZAPAN, E. A. ; BERTI, L. C. ; CAMARGO NETO, A. C. ; CANDIDO JR, A. ; CASANOVA, E. ; FERNANDES-SVARTMAN, F. ; FERREIRA, R. ; FERNANDES JR, R. ; GOLDMAN, A. ; GRIS, L. R. ; LEYTON, P. ; LEVIN, A. S. ; MARTINS, M. ; QUEIROZ, M. G. ; QUIRINO, J. H. ; MEDEIROS, B. R. ; SABINO, E. C. ; SILVA, D.. Detecting Respiratory Insufficiency by Voice Analysis: The SPIRA Project. Em: Emma Otta; Patrícia Ferreira Monticelli. (Org.). Acoustic communication: an interdisciplinary approach. 1ed.São Paulo. : Instituto de Psicologia. Universidade de São Paulo. 2021.p. 164.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Finger, Marcelo. Logic in Times of Big Data. Em: J. Acacio de Barros and Décio Kraus. (Org.). A True Polymath -- A Tribute to Francisco Antonio Doria. 1ed.Rickmansworth. : College Publications. 2020.p. 184-198.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. de Souza, Jackson José ; Finger, Marcelo. Robust Ranking of Brazilian Supreme Court Decisions. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2020.p. 581-594.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. Finger, Marcelo. Extending ??++ with Linear Constraints on the Probability of Axioms. In: Lutz C., Sattler U., Tinelli C., Turhan AY., Wolter F. (Org.). Description Logic, Theory Combination, and All That. Lecture Notes in Computer Science, vol 11560.. 1ed. Em: . : Springer. 2019.v. 11560, p. 286-300.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. Finger, M.; De Bona, Glauber ; THIMM, M. ; POTYKA, N.. Inconsistency Measurement in Probabilistic Logic. Em: John Grant; Maria Vanina Martinez. (Org.). Measuring Inconsistency in Information. Studies in Logic Volume 73. 1ed. : College Publicatioins. 2018.p. 235-269.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. Finger, Marcelo; Preto, Sandro. Probably Half True: Probabilistic Satisfiability over ¿ukasiewicz Infinitely-Valued Logic. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2018.p. 194-210.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. Finger, Marcelo. Quantitative Logic Reasoning. Trends in Logic. 1ed. Em: . : Springer International Publishing. 2018.p. 241-271.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Araujo, A ; Finger, Marcelo. On the logical relativity of quantum computability. Em: Jean-Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday.. London. : College Publications. 2011.p. 65-72.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. FINGER, M. DAG Sequent Proofs with a Substitution Rule. Em: 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. FINGER, M. When is a substructural logic paraconsistent?. Paraconsistency, the Logical way to Inconsistency -- Essays in hobour of Newton da Costa's 70th birthday. Em: . : Marcel Dekker. 2002.p. 353-368.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14. FINGER, M.; REYNOLDS, M. ; GABBAY, D.. Advanced Tense Logic. Em: Dov Gabbay. (Org.). Handbook of Philosophical Logic. 2001..
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Textos em jornais de notícias/revistas (3)
1. Finger, Marcelo. Ciência da Computação e Sociedade:Imensidão, Precisão e Humanização. Revista de Sistemas de Informação da FSMA, 19 dez. 2911, .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Finger, Marcelo. Não Vai Set Tão Fácil. Exame CEO (Inteligência Artificial), São Paulo, p. 16-19, 01 maio 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. FERRAZ JUNIOR, T. S. ; MARANHAO, J. ; Finger, Marcelo. O desafio do WhatsApp ao Leviatã. Folha de São Paulo, Folha de São Paulo -- Opinião, 16 ago. 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Trabalhos completos publicados em anais de congressos (76)
1. GAUY, MARCELO MATHEUS ; CAMARGO NETO, A. C. ; Finger, Marcelo. Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Em: 21st International Conference on Artificial Intelligence in Medicine, v. 13897, p. 271-275, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (21st International Conference on Artificial Intelligence in Medicine)
2. Preto, Sandro ; MANYÀ, FELIP ; Finger, Marcelo. Benchmarking ¿ukasiewicz Logic Solvers with Properties of Neural Networks. Em: 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL), p. 158, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
3. Preto, Sandro ; MANYÀ, FELIP ; Finger, Marcelo. Linking ¿ukasiewicz Logic and Boolean Maximum Satisfiability. Em: 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL), p. 164, 2023.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
4. Finger, Marcelo; SOUSA, M. C. P. ; STURZENEKER, M. ; CRESPO, M. C. ; ROCHA, M. L. ; MONTE, V. M. ; NAMIUTI, C.. Carolina?s Methodology: building a large corpus with provenance and typology information. Em: Second Workshop on Digital Humanities and Natural Language Processing, v. 3128, p. 53-58, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Second Workshop on Digital Humanities and Natural Language Processing)
5. Finger, Marcelo; GAUY, M. M.. Pretrained audio neural networks for Speech emotion recognition in Portuguese. Em: Speech Emotion Recognition in Portuguese, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Speech Emotion Recognition in Portuguese)
6. ALUISIO, S. M. ; CAMARGO NETO, A. C. ; CASANOVA, E. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo ; GOLDMAN, A. ; LEYTON, P. ; LEVIN, A. S. ; GAUY, M. M. ; MARTINS, M. ; QUEIROZ, M. G. ; MEDEIROS, B. R. ; SABINO, E. C. ; CANDIDO JR, A. ; FERNANDES JR, R. ; GRIS, L. R. ; SILVA, D. ; SPAZZAPAN, E. A. ; BERTI, L. C. ; QUIRINO, J. H.. Detecting Respiratory Insufficiency Via Voice Analysis: The Spira Project. Em: Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations, v. 1, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations)
7. LIRA, T. ; Finger, Marcelo. Bayesian Neural Models for Time-Series Prediction of CS28 Compressive Strength in Cement Manufacturing. Em: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), p. 660-669, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC))
8. IOSTE, A. ; Finger, Marcelo. Establishing the Parameters of a Decentralized Neural Machine Learning Model. Em: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), p. 401-412, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC))
9. CAMARGO, AUGUSTO ; CARVALHO, WESLEY ; PERESSIM, FELIPE ; BARZILAY, ALAN ; Finger, Marcelo. Text-to-hashtag Generation using Seq2Seq Learning. Em: Brazilian eScience Workshop, p. 121, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Brazilian eScience Workshop)
10. CASANOVA, EDRESSON ; CANDIDO JR., ARNALDO ; FERNANDES JR., RICARDO CORSO ; Finger, Marcelo ; GRIS, LUCAS RAFAEL STEFANEL ; PONTI, MOACIR ANTONELLI ; PINTO DA SILVA, DANIEL PEIXOTO. Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. Em: Interspeech 2021, p. 446, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Interspeech 2021)
11. CASANOVA, EDRESSON ; GRIS, LUCAS ; CAMARGO, AUGUSTO ; DA SILVA, DANIEL ; GAZZOLA, MURILO ; SABINO, ESTER ; LEVIN, ANNA ; CANDIDO JR, ARNALDO ; ALUISIO, SANDRA ; Finger, Marcelo. Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech. Em: Findings of the Association for Computational Linguistics: ACLIJCNLP 2021, p. 625, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Findings of the Association for Computational Linguistics: ACLIJCNLP 2021)
12. GAUY, MARCELO MATHEUS ; Finger, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. Em: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, p. 143, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana)
13. SERRAS, FELIPE R. ; Finger, Marcelo. verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. Em: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, p. 237, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana)
14. BERTI, L. C. ; SPAZZAPAN, E. A. ; LEYTON, P. ; QUEIROZ, M. G. ; FERNANDES-SVARTMAN, F. ; MEDEIROS, B. R. ; MARTINS, M. ; FERREIRA, L. S. ; SILVA, I. G. G. ; Finger, Marcelo. Mudanças nos parâmetros acústicos da voz em brasileiros com COVID-19. Em: XXIX CONGRESSO BRASILEIRO E XI CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (XXIX CONGRESSO BRASILEIRO E XI CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA)
15. Preto, Sandro ; Finger, Marcelo. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. Em: 15th International Workshop on Logical and Semantic Frameworks, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (15th International Workshop on Logical and Semantic Frameworks)
16. Finger, Marcelo. Detecting Respiratory Insufficiency by Voice Analysis. Em: Acoustic Communication: An Interdisciplinary Approach, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Acoustic Communication: An Interdisciplinary Approach)
17. SOUZA, J. J. ; Finger, Marcelo. Robust Ranking of Brazilian Supreme Court Decisions. Em: BRACIS 2020 -- Brazilian Conference on Intelligent Systems, p. 581-594, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (BRACIS 2020 -- Brazilian Conference on Intelligent Systems)
18. SALVATORE, F. ; PRETO, S. ; Finger, Marcelo ; HIRATA JR, R.. Using neural models to perform inference. Em: Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19)
19. SALVATORE, FELIPE ; Finger, Marcelo ; HIRATA JR, ROBERTO. A logical-based corpus for cross-lingual evaluation. Em: Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019), p. 22, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019))
20. Finger, Marcelo; PRETO, S.. Probably Half True: Probabilistic Satisfiability over ?ukasiewicz Infinitely-Valued Logic. Em: International Joint Conference on Automated Reasoning IJCAR 2018, v. 10900, p. 194-210, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Joint Conference on Automated Reasoning IJCAR 2018)
21. Finger, Marcelo; De Bona, Glauber. Algorithms for Deciding Counting Quantifiers over Unary Predicates. Em: Thirty-First AAAI Conference on Artificial Intelligence, p. 3878-3884, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Thirty-First AAAI Conference on Artificial Intelligence)
22. Finger, Marcelo; LUZ, F. F.. Semantic Parsing Natural Language into SPARQL: an LSTM Enconder-Decoder Neural Net Approach. Em: ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional, p. 1-12, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional)
23. De Bona, Glauber ; Finger, Marcelo ; RIBEIRO, M. M. ; SANTOS, Y. D. ; WASSERMANN, R.. Consolidating Probabilistic Knowledge Bases via Belief Contraction. Em: KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning)
24. SERRAS, F. ; Finger, Marcelo. Previsão da Temática de Notícias Futuras: Implementação do Algoritmo PROPHET aos dados de um Jornal de Grande Circulação. Em: ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional)
25. MORAIS, E. M. ; De Bona, Glauber ; Finger, Marcelo. Non-Markovian Logic-Probabilistic Modeling and Inference. Em: IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015, p. 48-55, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015)
26. OLEYNIK, M. ; Finger, Marcelo ; PATRAO, D. F. C.. Automated Classification of Pathology Reports. Em: MEDINFO 2015, v. 216, p. 1040-1040, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (MEDINFO 2015)
27. ARRUDA, A. ; Finger, Marcelo. Abdução para a Lógica Probabilística (PSAT). Em: Encontro Brasileiro de Lógica, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Encontro Brasileiro de Lógica)
28. Finger, Marcelo; GOMES, C. ; LE BRAS, R. ; SELMAN, B.. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. Em: SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, p. 1-16, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing)
29. PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud?a Clinical Information Ontology Based Data Integration System. Em: Ontobras, p. 118-129, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Ontobras)
30. MORAIS, E. M. ; Finger, Marcelo. Probabilistic Answer Set Programming. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems)
31. De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G.. Generalized Probabilistic Satisfiability. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems)
32. Colen, William ; Finger, Marcelo. Improving CoGrOO: the Brazilian Portuguese Grammar Checker. Em: STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology)
33. OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C.. Information Retrieval from Clinical Reports. Em: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop on Knowledge Extraction from Text at NIPS 2013)
34. Finger, M; De Bona, Glauber. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. Em: IJCAI 2011, p. 528-533, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IJCAI 2011)
35. Finger, M; Cozman, F ; WASSERMANN, R.. Satisfiability in EL with Sets of Probabilistic ABoxes. Em: 24th International Workshop on Description Logics (DL 2011), p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (24th International Workshop on Description Logics (DL 2011))
36. Finger, M; Araujo, A. Classical and quantum satisfiability. Em: LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks)
37. Finger, M; PATRAO, D. F. C. ; Filocomo, Fabio. Resolução da Heterogeneidade na Identificação de Pacientes. Em: STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology)
38. Finger, Marcelo; Araujo, A. A formal system for quantum communication environments. Em: ENIA 2011, p. 1-11, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENIA 2011)
39. Finger, Marcelo; Firmo, Fabio. Previsão de Utilização de Recursos por Aplicações no InterGrade. Em: VIII Workshop em Clouds, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (VIII Workshop em Clouds)
40. Finger, Marcelo; Mauricio S. C. Hernandes. Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. Em: WoLLIC 2010 -- Workshop Logic, v. 6188, p. 1-18, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (WoLLIC 2010 -- Workshop Logic)
41. De Bona, Glauber ; Finger, Marcelo. A Refuted Conjecture on Probabilistic Satisfiability. Em: SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (SBIA2010 -- Brazilian Symposium on Artificial Intelligence)
42. Finger, Marcelo; KEPLER, F. N.. Variable-Length Markov Models and Ambiguous Words in Portuguese. Em: NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, p. 15-23, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas)
43. J. M. Nicoladelli ; JOÃO LUIZ LUGUESI ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo. ASA-CALCPRO: MÉTODOS DE INFERÊNCIA ATRAVÉS DE AMBIENTES DE SUPORTE AO ALUNO. Em: V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA)
44. Finger, Marcelo; De Bona, Glauber. A Logic Based Algorithm for Solving Probabilistic Satisfiability. Em: IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence, v. 6433, p. 453-462, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence)
45. Finger, Marcelo. Using Abduction to Compute Efficient Proofs. Em: Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008), v. 247, p. 39-49, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008))
46. SECA NETO, A. G. S. ; Celso A. A. Kaestner ; Finger, Marcelo. Towards an efficient prover for the C_1-paraconsistent logic. Em: LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LSFA'09: Fourth Workshop on Logical and Semantic Frameworks)
47. J. M. Nicoladelli ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo. Asa-Calcpro: Métodos de inferência. Em: 1rst International Congress of Mathematics, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (1rst International Congress of Mathematics)
48. FINGER, M.; WASSERMANN, R.. Revising Specifications with CTL Properties using Bounded Model Checking. Em: SBIA - Simpósio Brasileiro de Inteligência Artificial, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (SBIA - Simpósio Brasileiro de Inteligência Artificial)
49. FINGER, M.; BEZERRA, G. C. ; Danilo Mateus Rubio Conde. Resource Use Pattern Analysis for Opportunistic Grids. Em: 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (6th International Workshop on Middleware for Grid Computing - MGC 2008)
50. RABELLO, G. ; Finger, Marcelo. Approximations of Modal Logic K. Em: 12th Workshop on Logic, v. 143, p. 23-32, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (12th Workshop on Logic)
51. SECA NETO, A. G. S. ; FINGER, M.. Effective Prover for Minimal Inconsistency Logic. Em: IFIP AI 2006, v. 217, p. 465-477, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IFIP AI 2006)
52. KEPLER, F. N. ; FINGER, M.. Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. Em: PROPOR 2006, v. 3960, p. 248-251, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (PROPOR 2006)
53. KEPLER, F. N. ; FINGER, M.. Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. Em: IBERAMIA-SBIA 2006, v. 4140, p. 482-491, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IBERAMIA-SBIA 2006)
54. PINHEIRO JUNIOR, J. R. B. ; KON, F. ; VIDAL, A. ; FINGER, M.. Trust in Large-Scale Computational Grids: An SPKI/SDSI extension for representing opinion. Em: ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006), v. 1, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006))
55. FINGER, M.; Fajardo. How Not to Combine Modal Logics. Em: 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2nd Indian International Conference on Artificial Intelligence (IICAI-05))
56. FINGER, M.; SECA NETO, A. G. S.. Using Aspect-oriented Programming in the Development of a Multi-strategy Theorem Prover. Em: II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (II Jornada do Conhecimento e da Tecnologia do UNIVEM)
57. FINGER, M.; SECA NETO, A. G. S.. Implementing a Multi-Strategy Theorem Prover. Em: SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial)
58. CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2nd International Conference on Informatics in Control)
59. FINGER, M. Polynomial Approximations of Full Classical Logic via Limited Bivalence. Em: Eupean Conference of Logics in Artificial Intelligence (JELIA 2004), v. 3229, p. 526-538, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Eupean Conference of Logics in Artificial Intelligence (JELIA 2004))
60. FINGER, M. Towards Polynomial Approximations of Full Propositional Logic. Em: XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), v. 3171, p. 11-20, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004))
61. 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. Em: Corpus Linguistics, v. 16, p. 14-21, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Corpus Linguistics)
62. GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. Em: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, p. 232-234, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid)
63. Finger, M; WASSERMANN, R. The Universe of Approximations. Em: workshop of Logic, v. 84, p. 1-14, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (workshop of Logic)
64. FINGER, M.; NASSU, E. A.. Consultas Envolvendo "Aqui" em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. Em: Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), p. 1-10, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003))
65. FINGER, M.; Fajardo. Non-Normal Modalisation. Em: Advances in Modal Logic, p. 316-325, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Advances in Modal Logic)
66. FINGER, M.; WASSERMANN, R.. Logic for Approximate Reasoning:Approximating Classical Logic from. Em: 16o Simpósio Brasileiro de Inteligência Artificial, v. 2507, p. 21-30, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (16o Simpósio Brasileiro de Inteligência Artificial)
67. FINGER, M.; WASSERMANN, R.. Approximate Reasoning. Em: 56o Seminário Brasileiro de Análise, p. 260-301, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (56o Seminário Brasileiro de Análise)
68. FINGER, M.; DIAS, W.. Implementações de Tableaux para Raciocínio Aproximado. Em: 1o Workshop de Teses e Dissertações em Inteligência Artificial, p. 21-30, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (1o Workshop de Teses e Dissertações em Inteligência Artificial)
69. FINGER, M.; WASSERMANN, R.. Expressivity and Control in Limited Reasoning. Em: 15th European Conference on Artificial Intelligence (ECAI02), p. 72-76, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (15th European Conference on Artificial Intelligence (ECAI02))
70. FINGER, M.; WASSERMANN, R.. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)
71. FINGER, M.; WASSERMANN, R.. Approximate Reasoning and Paraconsistency. Em: 8th Workshop on Logic, p. 76-86, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (8th Workshop on Logic)
72. FINGER, M. Algorithmic Correspondence Theory for Substructural Categorial Logic. Em: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Algorithmic Correspondence Theory for Substructural Categorial Logic)
73. FINGER, M.; WEISS, M. A.. The Unrestricted Addition of a Temporal Dimension to a Logic System. Em: 3rd International Conference on Temporal Logic (ICTL), 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (3rd International Conference on Temporal Logic (ICTL))
74. FINGER, M. Técnicas de Otimização da Precisão Empregadas no Etiquetador Tycho Brahe. Em: V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000))
75. FINGER, M. Infinite SLaKE-Tableaux. Em: 7th Workshop on Logic, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (7th Workshop on Logic)
76. FINGER, M.; VASCONCELOS, W.. Sharing Resource-Sensitive Knowledge using Combinator Logics. Em: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial (SBIA2000))
Resumos expandidos publicados em anais de congressos (7)
1. BERTI, L. C. ; MARTINS, M. ; FERNANDES-SVARTMAN, F. ; QUEIROZ, M. G. ; MEDEIROS, B. R. ; FERREIRA, L. S. ; SILVA, I. G. G. ; LEYTON, P. ; SPAZZAPAN, E. A. ; Finger, M. A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19. Em: XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021, On line. XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (XXIX CONGRESSO BRASILEIRO E O IX CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA 2021, 2021, ON LINE. XXIX CONGRESSO BRASILEIRO E O IX CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA 2021)
2. BERTI, L. C. ; SPAZZAPAN, E. A. ; LEYTON, P. ; QUEIROZ, M. G. ; FERNANDES-SVARTMAN, F. ; MEDEIROS, B. R. ; MARTINS, M. ; FERREIRA, L. S. ; SILVA, I. G. G. ; Finger, M. MUDANÇAS NOS PARÂMETROS ACÚSTICOS DA VOZ EM BRASILEIROS COM COVID-19. Em: XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021, Online. XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (XXIX CONGRESSO BRASILEIRO E O IX CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA 2021, 2021, ONLINE. XXIX CONGRESSO BRASILEIRO E O IX CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA 2021)
3. PRETO, S. ; Finger, Marcelo. Representing Rational McNaughton Functions via MODSAT Relativisation. Em: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, p. 1-5, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (EBL 2019 -- BRAZILIAN LOGIC CONFERENCE, 2019, JOÃO PESSOA. EBL 2019 -- BRAZILIAN LOGIC CONFERENCE)
4. Finger, Marcelo. Sparse Models: a tractable fragment for SAT, MAXSAT and PSAT. Em: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, p. 1-5, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (EBL 2019 -- BRAZILIAN LOGIC CONFERENCE, 2019, JOÃO PESSOA. EBL 2019 -- BRAZILIAN LOGIC CONFERENCE)
5. De Bona, Glauber ; COZMAN, F. G. ; Finger, M. Towards classifying propositional probabilistic logics. Em: progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013, Munich. progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (PROGIC 2013: THE SIXTH WORKSHOP ON COMBINING PROBABILITY AND LOGIC, 2013, MUNICH. PROGIC 2013: THE SIXTH WORKSHOP ON COMBINING PROBABILITY AND LOGIC)
6. FINGER, M. Using Abduction to Compute Efficient Proofs. Em: LSFA'08 Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Workshop on Logical and Semantic Frameworks, with Applications, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LSFA'08 THIRD WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS, WITH APPLICATIONS, 2008, SALVADOR. THIRD WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS, WITH APPLICATIONS)
7. SECA NETO, A. G. S. ; FINGER, M.. A KE Tableau for a Logic of Formal Inconsistency. Em: TABLEAUX'07, 2007, Marseille. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, p. 1-10, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (TABLEAUX'07, 2007, MARSEILLE. PROCEEDINGS OF TABLEAUX'07 POSITION PAPERS AND WORKSHOP ON AGENTS, LOGIC AND THEOREM PROVING)
Resumos publicados em anais de congressos (8)
1. Finger, Marcelo. A System for Precocious Detection of Respiratory Insufficiency via Audio. Em: First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020, Cambridge. UK. First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Arruda, A. M. ; Finger, Marcelo. Completude para a Abdução Baseada em Corte. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 61-62, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Mauricio Hernandes ; Finger, Marcelo. A characterization for quantum logic semantic consequence as algebraic multipliers. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 46-47, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Juliana Bueno ; Finger, Marcelo. Probabilistic modal logic. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 8-9, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Finger, Marcelo; Colen, William ; Menezes, Carlos. Using Apache UIMA annotators for Brazilian Portuguese. Em: PROPOR 2010: International Conference on Computational Processing of the Portuguese Language, 2010, Porto Alegre. PROPOR 2010 Demos: International Conference on Computational Processing of the Portuguese Language. Porto Alegre: PUCRS, p. 1-2, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. CARNIELLI, W. ; FINGER, M.. Minimal axiomatizations and algebraic rings: a conjectured relationship. Em: Encontro Brasileiro de Lógica, 2008, Parati. CLE30-EBL-SLALM, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. FINGER, M. End the discrimination: Equal rights for the CUT. Em: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, p. 1-3, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. FINGER, M.; BRITTO, H. ; GALVES, C.. Computational and linguistic aspects of the construction of the tycho brahe parsed corpus of historical portuguese. Em: 1st Freiburg Workshop on Romance Corpus Linguistics, 2000, Freiburg, Germany. Proceedings of the 1st Freiburg Workshop on Romance Corpus Linguistics, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Artigos aceitos para publicação (0)
Apresentações de trabalho (2)
1. Finger, Marcelo. Artificial intelligence symposium: where do we stand in the substitution of physicians by machines. 2019. Apresentação de Trabalho/Conferência ou palestra
2. Finger, Marcelo; De Bona, Glauber. A Defeated Conjecture on Probabilistic Satisfiability. 2010. Apresentação de Trabalho/Conferência ou palestra
Demais tipos de produção bibliográfica (13)
1. GAUY, M. M. ; Finger, Marcelo. Pretrained audio neural networks for Speech emotion recognition in Portuguese. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. GAUY, M. M. ; Finger, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. IOSTE, A. R. ; DURHAM, A. M. ; Finger, Marcelo. Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. SERRAS, F. ; Finger, Marcelo. verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. PRETO, S. ; FERME, E. ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. SILVA, D. ; CASANOVA, E. ; GRIS, LUCAS RAFAEL STEFANEL ; CANDIDO JR., ARNALDO ; Finger, Marcelo ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, B. R. ; MARTINS, M. ; ALUISIO, SANDRA ; BERTI, LARISSA CRISTINA. Interpretability Analysis of Deep Models for COVID-19 Detection. arXiv. 2022. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. CAMARGO NETO, A. C. ; CARVALHO, W. S. ; PERESSIM, F. ; Finger, Marcelo. Text-to-hashtag Generation using Seq2seq Learning. arXiv. 2021. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. Finger, Marcelo. Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv. 2019. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. LUZ, F. F. ; Finger, Marcelo. Semantic Parsing Natural Language into {SPARQL:} Improving Target Language Representation with Neural Attention. Computing Research Repository -- ArXiv. 2018. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. LUZ, F. F. ; Finger, Marcelo. Semantic Parsing: Syntactic assurance to target sentence using {LSTM} Encoder CFG-Decoder. Computing Research Repository -- ArXiv. 2018. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Finger, Marcelo; FERNANDEZ, M.. Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. LSFA), 2014. (Prefácio, Pósfacio/Prefácio
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. FINGER, M.; NASSU, E. A.. O significado de "aqui'' em sistemas transacionais móveis. 2001. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. FINGER, M.; CEZAR, F. A. M. C.. Banco de dados obsolescentes e uma proposta de implementação. 2001. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (4)
1. Finger, Marcelo; SOUSA, M. C. P. ; NAMIUTI, C. ; MONTE, V. M.. Corpus Carolina v1.0 Ada. 2022. Corpus
  [ busca Google | busca Bing ]
2. Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
3. FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais
  [ busca Google | busca Bing ]
4. FINGER, M. Resolvedores SAT. 2006. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]

Produção artística

Total de produção artística (1)
1. Finger, Marcelo. BandPro 2010 - Apresentação sobre Graduação em Ciência da Computação. 2010.
  [ busca Google | busca Bing ]

Orientações em andamento

Supervisão de pós-doutorado (1)
1. Marcelo Matheus Gauy. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo.. Início: 2020.
  Supervisor: Marcelo Finger.
Tese de doutorado (1)
1. Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Marcelo Finger.
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (3)
1. Anderson de Araújo. Satisfatibilidade Quantica. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2012.
  Supervisor: Marcelo Finger.
2. Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010.
  Supervisor: Marcelo Finger.
3. Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
  Supervisor: Marcelo Finger.
Tese de doutorado (9)

Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Marcelo Finger.
Felipe Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcelo Finger.
Fabiano Ferreira Luz. Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Marcelo Finger.
Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Marcelo Finger.
Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Finger.
Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Marcelo Finger.
Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Marcelo Finger.
Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
Dissertação de mestrado (28)

Bruno Leme. Classificação automática de documentos de características econômicas de defesa jurídica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Marcelo Finger.
Felipe Ribas Serras. Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos. 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. 2021.
Orientador: Marcelo Finger.
Thiago Ildeu Albuquerque Lira. Modelos Neurais para Regressão em Séries Temporais. 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. 2020.
Orientador: Marcelo Finger.
Rayssa Küllian Martins. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Finger.
Bruno Vercelino da Hora. Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Finger.
William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
Michel Oleynik. Extração de Informações de Narrativas Clínicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Eduardo Menezes de Morais. Answer Set Programming probabilístico. 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. 2012.
Orientador: Marcelo Finger.
Rodrigo Zaccara. Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Glauber de Bona. Satisfatibilidade Probabilística. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Marcelo Finger.
Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Marcelo Finger.
Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007.
Orientador: Marcelo Finger.
Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 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. 2005.
Orientador: Marcelo Finger.
Guilherme de Souza Rabello. Aproximações de Lógicas Modais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Marcelo Finger.
Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2004.
Orientador: Marcelo Finger.
Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Marcelo Finger.
Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Marcelo Finger.
Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.
Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (5)

Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Finger.
Alessandro Calò. Extração de informações jurídicas públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Steven Tsukamoto. Algoritmo Multin ??vel de Deteção de Comunidades em Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Rodrigo Silva. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Marcelo Finger.
Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007.
Orientador: Marcelo Finger.
Iniciação científica (17)

Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2009.
Orientador: Marcelo Finger.
Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Orientador: Marcelo Finger.
Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009.
Orientador: Marcelo Finger.
Lucas Cavalcante. Algoritmos para SAT Probabilístico. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Marcelo Finger.
Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008.
Orientador: Marcelo Finger.
Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2007.
Orientador: Marcelo Finger.
Thiago Coraini. Implementação de um escalonador para grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Marcelo Finger.
Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006.
Orientador: Marcelo Finger.
Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2004.
Orientador: Marcelo Finger.
Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
Rogério Fajardo. Lógicas Modais. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Marcelo Finger.
Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Orientador: Marcelo Finger.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (6)

2023-Atual. SPIRA-BM: Biomarcadores para Condicoes Respiratorias em Dispositivos Moveis por Analise de Audio via Inteligencia Artificial
Descrição: O objetivo deste estudo é investigar biomarcadores de áudio para condições respiratórias como insuficiência respiratória, asma tabagismo, e desenvolver detectores baratos para estes biomarcadores, utilizando de coleta e processamento de áudio em dispositivos de computação móvel e lançando mão de técnicas de aprendizado automático, inteligência artificial e análise de sinais.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (6) / Doutorado: (6) . Integrantes: Marcelo Finger - Coordenador / Alfredo Goldman - Integrante / Larissa C. Berti - Integrante / Flaviane Fernandes-Svartman - Integrante / Elisa Yumi Nakagawa - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.
2020-Atual. Corpus Carolina - Laboratorio Virtual de Humanidades Digitais (LaViHD), Centro de Inteligencia Artificial (C4AI)
Descrição: Projeto apoiado pela empresa IBM Research Brazil em 18/05/2022. Descrição: Tem como objetivo geral desenvolver sistemas que avancem o estado da arte do Processamento de Linguagem Natural para o português brasileiro, atingindo um novo patamar em qualidade de geração e desempenho em relação ao que existe hoje. Para isso, a primeira etapa da pesquisa prevê a construção de um corpus multigênero com um volume de textos robusto e inédito na língua portuguesa. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) .. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) . Integrantes: Marcelo Finger - Coordenador / Maria Clara Paixão de Sousa - Integrante / Vanessa Martins do Monte - Integrante / Cristiane Namiuti - Integrante. Financiador(es): Universidade de São Paulo - Bolsa.
Membro: Marcelo Finger.
2020-Atual. Projeto SPIRA: Sistema de deteccao Precoce de Insuficiencia Respiratoria por meio de analise de Audio
Descrição: O objetivo deste estudo é desenvolver uma ferramenta que possa detectar precocemente as pessoas com insuficiência respiratória devido a COVID-19 usando dados de fala. Para tanto iremos coletar registros em áudio de pessoas infectadas bem como de pessoas normais, a fim de explorar diferenças associadas à saturação de O$_2$ e à frequência respiratória que permitam distinguir os dois grupos. A ferramenta de classificação automática proposta será baseada em técnicas de inteligência artificial, processamento de sinais e aprendizado de máquina, e servirá inicialmente para facilitar a triagem de pacientes que precisam procurar auxílio médico-hospitalar. Numa segunda etapa, a ferramenta poderá ajudar sistemas de telemedicina a monitorar pacientes de forma contínua, permitindo o acompanhamento da evolução de pacientes internados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (4) . Integrantes: Marcelo Finger - Coordenador / Alfredo Goldman - Integrante / Sandra Maria Aluísio - Integrante / Marcelo Gomes de Queiroz - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.
2020-Atual. C4AI -- Centro de Inteligencia Artificial/Center for Artificial Intelligence
Descrição: Centro de Engenharia IBM-Fapesp proc 2019/07665-4 (Pesquisador Principal e coordenador da área de processamento de linguagem natural). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (20) . Integrantes: Marcelo Finger - Integrante / Fabio Gagliardi Cozman - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.
2011-2011. Professor visitante na Universidade de Toulouse (IRIT), Franca
Descrição: DEZEMBRO DE 2011. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Finger - Coordenador.
Membro: Marcelo Finger.
2009-2012. Projeto Tematico Fapesp LOGPROB: Logica Probabilistica --- Fundamentos e Aplicacoes Computacionais
Descrição: LOGPROB: Probabilistic Logic --- Foundations and Computational Applications Principal Investigator: Marcelo Finger, FAPESP (Brazilian Funding Agency) Thematic Project 2008/03995-5, 2009-2012.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (15) / Mestrado profissional: (0) / Doutorado: (4) . Integrantes: Marcelo Finger - Coordenador / Renata Wassermann - Integrante / Leliane Nunes de Barros - Integrante / Fabio Gagliardi Cozman - Integrante / Paulo Eduardo Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.

Prêmios e títulos

Total de prêmios e títulos (15)

1st place in Speech Emotion Recognition in Portuguese, Propor2022 Shared Task in Speech Emotion Recognition in Portuguese.. 2022.
Membro: Marcelo Finger.
Stefan Steidl Computational Paralinguistics Award, COVID-19 Cough Sub-Challenge Prize, INTERSPEECH.. 2021.
Membro: Marcelo Finger.
Excelência em Fonoaudiologia 2021 pelo trabalho A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19, Excelência em Fonoaudiologia 2021 pelo trabalho A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM.. 2021.
Membro: Marcelo Finger.
Best Paper Award, 2nd Place, Eniac 2017, Brazilian Computer Society.. 2017.
Membro: Marcelo Finger.
Menção Honrosa no Prêmio melhor artigo ENIAC 2016, Sociedade Brasileira de Computação.. 2016.
Membro: Marcelo Finger.
Melhor Dissertação de Mestrado em Inteligência Artificial -- aluno: Glauber De Bona, CTDIA / CEIA/ SBC.. 2012.
Membro: Marcelo Finger.
Prêmio Voo Livre, categoria Desenvolvimento, Encontro Nacional do BrOffice.org ver:http://ccsl.ime.usp.br/pt-br/news/10/04/27/membro-do-ccsl-rece.. 2010.
Membro: Marcelo Finger.
Prêmio da Delegação Européia pela participação no Sétimo Programa Quadro, Delegação da União Européia no Brasil.. 2010.
Membro: Marcelo Finger.
1o lugar no Prêmio Jaboti 2007, categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA com o livro LÓGICA PARA COMPUTAÇÃO - FLÁVIO S. C. DA SILVA, MARCELO FINGER E ANA C. V. DE MELO, CBL - Câmara Brasileira do Livro.. 2007.
Membro: Marcelo Finger.
Finalista como orientador de Eugênio Akihiru Nassu, Prêmio Santander de Empreendedorismo, Ciência e Inovação.. 2007.
Membro: Marcelo Finger.
Prêmio de Desempenho Didático, primeiro semestre de 2006, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.. 2006.
Membro: Marcelo Finger.
Prêmio de Desempenho Didático (prêmio duplo), primeiro semestre de 2005, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.. 2005.
Membro: Marcelo Finger.
Prêmio Desempenho Didático -- 1o semestre de 2004, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.. 2004.
Membro: Marcelo Finger.
Prêmio de Desempenho Didático do Curso de Graduação em Administração, Faculdade de Administração, Economia e Contabilidade FEA-USP, pelo curso de MAC-113.. 2002.
Membro: Marcelo Finger.
Paraninfo da turma de Formandos de 2001, Departamento de Ciência da Computação, IME/USP.. 2002.
Membro: Marcelo Finger.

Participação em eventos

Total de participação em eventos (44)

AAAI. Counting Quantifiers. 2017. (Congresso).
FroCoS 2017.Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Simpósio).
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE. Quantitative Logic Reasoning. 2016. (Congresso).
XLV Escola de Verão MAT-UnB.Raciocínio Probabilístico sobre Inconsistência. 2016. (Seminário).
XLIII Escola de Verão do MAT-UnB.Lógica Probabilística: Fundamentos e Aplicações à Inteligência Artificial.. 2014. (Encontro).
I Seminário Internaciona, em Humanidades Digitais.Interface entre Ciêntistas da Computação e Linguistas. 2013. (Seminário).
SAT 2013. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. 2013. (Congresso).
X Workshop de Verão em Matemática.Quantitative Logic Reasoning. 2012. (Oficina).
EBL - Brazilian Logic Symposium.Completude para a Abdução Baseada em Corte. 2011. (Simpósio).
IJCAI - International Joint Copnference of Artificial Intelligence. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.. 2011. (Congresso).
LSFA 2011.Classical and Quantum Satisfiability. 2011. (Oficina).
M4M - Methods for Modalities. A modal view of probabilistic logic. 2011. (Congresso).
IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. 2010. (Congresso).
SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence.SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence. 2010. (Simpósio).
Wollic 2010. Wollic 2010 -- 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).
CLE/AIPS --- Science, Truth and Consistency. Polynomial Time Cut Elimination for Classical Logic. 2009. (Congresso).
LSFA 2009 --- Fourth Workshop on Logical and Semantic Frameworks, with Applications. Towards an efficient prover for the C_1-paraconsistent logic. 2009. (Congresso).
MBR'09 -- Model-Based Reasoning in Science and Technology (Abduction, Logic, and Computational Discovery). Towards First-Order Cut-Based Abduction. 2009. (Congresso).
LSFA -- Third Workshop on Logical and Semantic Frameworks, with Applications.Using Abduction to Compute Efficient Proofs. 2008. (Oficina).
XV Encontro Brasileiro de Lógica/ XIV Simpósio Latino Americado de Lógica Matemática. Minimality in Axiomatizations: an Algebraic Approach. 2008. (Congresso).
King's College Seminars on Computing..Computing Non-Analytic Cuts Using Algebraic Methods. 2007. (Seminário).
Seminário Brasileiro de Análise SBA.Teoria da Prova -- Provas não Analíticas. 2007. (Simpósio).
Escola de Verão 2006.Palestrante Convidado -- Raciocínio Aproximado. 2006. (Outra).
Propor 2006 - Computational Processing of Portuguese. Applications of Machine Learning to Computational Linguistics. 2006. (Congresso).
XIV Encontro Brasileiro de Lógica.Encontro Brasileiro de Lógica. 2006. (Encontro).
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Comitê de Programa -- LPAR2005. 2005. (Congresso).
20o Simpósio Brasileiro de Bancos de Dados.Comitê de Programa -- SBBD2005. 2005. (Simpósio).
GRACO 2005 2nd Brazilian Symposium on Graphs, Algorithms, and Combinatorics.Avaliador -- GRACO 2005. 2005. (Simpósio).
Workshop on Semantics and Meaning (SeMe 2005).Comitê Organizador e de Programa -- Workshop on Semantics and Meaning. 2005. (Oficina).
Workshop on Text Mining and Applications 2005.Comitê de Programa -- TeMA2005. 2005. (Oficina).
Workshops do SBBD e SBES 2005.Comitê de Programa -- Workshops do SBBD/SBES2005. 2005. (Oficina).
CTD2004: Concurso de Teses e Dissertações de Computação.Chair -- CTD2004: Concurso de Teses e Dissertações de Computação. 2004. (Outra).
10th International Symposium on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC. Comitê de Programa -- TIME/ICTL 2003. 2003. (Congresso).
1º Workshop em Tecnologia da Informação e da Linguagem Humana.Comitê de Programa -- TIL 2003. 2003. (Oficina).
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA). Comitê de Programa -- CAEPIA2003. 2003. (Congresso).
Encontro Brasileiro de Lógica (EBL2003).Encontro Brasileiro de Lógica (EBL2003). 2003. (Simpósio).
IV Workshop de Comunicação sem Fio e Computação Móvel 2003.Comitê de Programa -- WCSF 2003. 2003. (Oficina).
MIddleware 2003. Comitê de Programa -- MIddleware 2003. 2003. (Congresso).
Simpósio Brasileiro de Bancos de Dados SBBD2003.Comitê de Programa -- SBBD2003. 2003. (Simpósio).
VI Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada. Comitê de programa -- PROPOR 2003. 2003. (Congresso).
56o Seminário Brasileiro de Análise.SBA -- Seminário Brasileiro de Análise. 2002. (Simpósio).
Advances in Modal Logic. AiML -- Advances in Modal Logic. 2002. (Congresso).
Visita ao Grupo do Prof Sernadas.Instituto Superior Técnico de Lisboa. 2002. (Encontro).
XVI Simpósio Brasileiro de Inteligencia Artificial.SBIA -- Simpósio Brasileiro de Inteligência Artificial. 2002. (Simpósio).

Organização de eventos

Total de organização de eventos (8)

Finger, Marcelo. Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Congresso).. . 0.
GODO, L. ; Finger, Marcelo ; PRADE, H. ; QI, G.. IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015. 2015. Congresso
Finger, Marcelo; SOUSA, M. C. P.. DHandES2014: 1st Workshop on Digital Humanities and e-Science. 2014. Congresso
FERNANDEZ, M. ; Finger, Marcelo. LSFA 2013 - 7th Workshop on Logical and Semantic Frameworks, with Applications -- Chair of Programme Committee. 2013. Congresso
Finger, Marcelo; BARROS, L. N.. SBIA2012 - 21st Brazilian Symposium on Artificial Intelligence - Chair of the Programme Committee. 2012. Congresso
Finger, Marcelo; Marcos Lopes ; KINOSHITA, J.. Workshop de Linguística Computacional. 2009. Congresso
FINGER, M.. CLE 30 anos/ XV EBL (Encontro Brasileiro de Lógica)/ XIV SLALM (Simpósio Latino Americano de Lógica Matemática). 2008. (Congresso).. . 0.
FINGER, M.. Workshop "Semantics and Meaning" SeMe-2005. 2005. (Congresso).. . 0.

Lista de colaborações

Colaborações endôgenas (9)

Marcelo Finger ⇔ Renata Wassermann (9.0)
Marcelo Finger ; WASSERMANN, R.. The universe of propositional approximations. THEORETICAL COMPUTER SCIENCE. v. 355, n. 2, p. 153-166, issn: 0304-3975, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A4
Marcelo Finger ; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print). v. 14, n. 2, p. 179-204, issn: 0955-792X, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION (PRINT))
De Bona, Glauber ; Finger, Marcelo ; RIBEIRO, M. M. ; SANTOS, Y. D. ; WASSERMANN, R.. Consolidating Probabilistic Knowledge Bases via Belief Contraction. Em: KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning, p. 125-134, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning)
PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud ? a clinical information ontology based data integration system. Em: Ontobras, p. 118-129, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (Ontobras)
Marcelo Finger ; WASSERMANN, R.. Revising Specifications with CTL Properties Using Bounded Model Checking. Em: Sinpósio Brasileiro de Inteligência Artificial (SBIA), v. 5249, p. 157-166, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (Sinpósio Brasileiro de Inteligência Artificial (SBIA))
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (2nd International Conference on Informatics in Control)
Marcelo Finger ; WASSERMANN, R.. The Universe of Approximations. Em: Workshop on Logic, v. 84, p. 1-14, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (Workshop on Logic)
WASSERMANN, R.; Marcelo Finger. Expressivity and Control in Limited Reasoning. Em: 15th European Conference on Artificial Intelligence (ECAI02), p. 72-76, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (15th European Conference on Artificial Intelligence (ECAI02))
WASSERMANN, R.; Marcelo Finger. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)

Marcelo Finger ⇔ Fabio Kon (4.0)
da Silva e Silva, Francisco José ; KON, F. ; Kon, Fabio ; A. Goldman ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M.. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print). v. 70, p. 573-583, issn: 0743-7315, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A2 (JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING)
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, issn: 1532-0626, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A4 (CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE)
PINHEIRO JUNIOR, J. R. B. ; KON, F. ; VIDAL, A. ; FINGER, M.. Trust in Large-Scale Computational Grids: An SPKI/SDSI extension for representing opinion. Em: ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006), v. 1, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006))
GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. Em: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, p. 232-234, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid)

Marcelo Finger ⇔ Alfredo Goldman vel Lejbman (3.0)
da Silva e Silva, Francisco José ; KON, F. ; Kon, Fabio ; A. Goldman ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M.. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print). v. 70, p. 573-583, issn: 0743-7315, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A2 (JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING)
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, issn: 1532-0626, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A4 (CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE)
GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. Em: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, p. 232-234, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid)

Marcelo Finger ⇔ Flavio Soares Correa da Silva (3.0)
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, issn: 0950-7051, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A1
CORREA DA SILVA, F. S.; FINGER, Marcelo ; MELO, Ana Cristina Vieira de. Lógica para Computação. 1 ed. São Paulo: Thomson Learning, 2006. v. 1, p. 232.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (2nd International Conference on Informatics in Control)

Marcelo Finger ⇔ Marcelo Gomes de Queiroz (2.0)
BERTI, LARISSA CRISTINA ; SPAZZAPAN, EVELYN ALVES ; Queiroz, Marcelo ; PEREIRA, PEDRO LEYTON ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, BEATRIZ RAPOSO DE ; MARTINS, MARCUS VINÍCIUS MOREIRA ; FERREIRA, LETÍCIA SANTIAGO ; SILVA, INGRID GANDOLFI GOMES DA ; SABINO, ESTER CERDEIRA ; LEVIN, ANNA SARA ; FINGER, MARCELO. Fundamental frequency related parameters in Brazilians with COVID-19. JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA. v. 153, p. 576-585, issn: 0001-4966, 2023.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A3
FINGER, M. ; ALUISIO, S. M. ; SPAZZAPAN, E. A. ; BERTI, L. C ; CANDIDO JUNIOR, A ; SVARTMAN, F.R.F. ; CAMARGO NETO, A. C. ; CASANOVA, E. ; FERREIRA, R. C. ; FERNANDES JR., R. ; GOLDMAN, A. ; GRIS, L. R. ; LEYTON, P. ; LEVIN, A. S. S. ; MARTINS, M. V. M. ; Queiroz, M ; QUIRINO, J. H. ; MEDEIROS, B. R. ; SABINO, E. C. ; SILVA, D.. Detecting respiratory insufficiency by voice analysis: the SPIRA project. Em: Emma Otta; Patrícia Ferreira Monticelli. (Org.). Acoustic communication: an interdisciplinary approach. 1ed.São Paulo. : Instituto de Psicologia ? Universidade de São Paulo. 2021.v. 1, p. 164-180.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Marcelo Finger ⇔ Roberto Hirata Junior (2.0)
SALVATORE, FELIPE DE SOUZA ; FINGER, MARCELO ; Hirata, Roberto ; PATRIOTA, ALEXANDRE G.. A resampling-based method to evaluate NLI models. Natural Language Engineering. v. 1, p. 1-28, issn: 1469-8110, 2023.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (NATURAL LANGUAGE ENGINEERING)
SALVATORE, FELIPE ; Finger, Marcelo ; HIRATA JR, ROBERTO. A logical-based corpus for cross-lingual evaluation. Em: Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019), p. 22-30, 2019.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019))

Marcelo Finger ⇔ Ana Cristina Vieira de Melo (1.0)
CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J.. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems. v. 15, n. 3, p. 147-167, issn: 0950-7051, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: A1

Marcelo Finger ⇔ João Eduardo Ferreira (1.0)
FERREIRA, J. E. ; FINGER, M.. Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. 1a ed. Sao Paulo: Escola de Computaçao 2000, 2000. p. 180.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Marcelo Finger ⇔ Leliane Nunes de Barros (1.0)
CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Qualis: Não identificado (2nd International Conference on Informatics in Control)

(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 22/04/2024 18:50:40

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: webmaster@ime.usp.br