Programa de Pós Graduação em 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 (19/02/2025)

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 (43)
1. BERTI, LARISSA CRISTINA ; GAUY, MARCELO ; DA SILVA, LUANA CRISTINA SANTOS ; RIOS, JULIA VASQUEZ VALENCI ; MORAIS, VIVIAM BATISTA ; ALMEIDA, TATIANE CRISTINA DE ; SOSSOLETE, LEISI SILVA ; QUIRINO, JOSÉ HENRIQUE DE MOURA ; MARTINS, CAROLINA FERNANDA PENTEAN ; FERNANDES-SVARTMAN, FLAVIANE R. ; RAPOSO DE MEDEIROS, BEATRIZ ; QUEIROZ, MARCELO ; GAZZOLA, MURILO ; Finger, Marcelo. Acoustic Characteristics of Voice and Speech in Post-COVID-19. Healthcare. v. 13, p. 63, 2025. Qualis: C
2. DA SILVA, DANIEL PEIXOTO PINTO ; CASANOVA, EDRESSON ; GRIS, LUCAS RAFAEL STEFANEL ; GAUY, MARCELO MATHEUS ; JUNIOR, ARNALDO CANDIDO ; Finger, Marcelo ; SVARTMAN, FLAVIANE ROMANI FERNANDES ; DE MEDEIROS, BEATRIZ RAPOSO ; MARTINS, MARCUS VINÍCIUS MOREIRA ; MARIA ALUÍSIO, SANDRA ; CRISTINA BERTI, LARISSA ; PAULO TEIXEIRA, JOÃO. Interpretability analysis of deep models for COVID-19 detection. Artificial Intelligence in Health. v. 1, p. 114-126, 2024. Qualis: Não identificado (ARTIFICIAL INTELLIGENCE IN HEALTH)
3. SALVATORE, FELIPE DE SOUZA ; Finger, Marcelo ; HIRATA, ROBERTO ; PATRIOTA, ALEXANDRE G.. A resampling-based method to evaluate NLI models. Natural Language Engineering. v. 30, p. 793-820, 2024. Qualis: A1
4. Preto, Sandro ; Finger, Marcelo. Nash meets Lukasiewicz: computing equilibria through logic. JOURNAL OF LOGIC AND COMPUTATION. v. 34, p. 1-33, 2024. Qualis: A3
5. 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, 2023. Qualis: A3 (THE JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA)
6. 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, 2023. Qualis: A4
7. Preto, Sandro ; Finger, Marcelo. Proving properties of binary classification neural networks via -ukasiewicz logic. LOGIC JOURNAL OF THE IGPL. v. 31, p. 805-821, 2023. Qualis: A2
8. 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, 2023. Qualis: A3
9. 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, 2022. Qualis: B1 (MSCS. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE)
10. 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, 2022. Qualis: B1
11. Finger, Marcelo. Inteligência Artificial e os rumos do processamento do português brasileiro. ESTUDOS AVANÇADOS (ONLINE). v. 35, p. 51-72, 2021. Qualis: A1
12. 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, 2020. Qualis: A2
13. 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, 2020. Qualis: B1
14. Finger, Marcelo. Quantitative Logic Reasoning. arXiv e-prints. v. 1905.05665, p. 1-40, 2019.Qualis: NP (ARXIV E-PRINT)
15. 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, 2018.Qualis: A2
16. 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, 2017. Qualis: A1
17. 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, 2017. Qualis: A2
18. 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, 2015. Qualis: A3
19. 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, 2015. Qualis: A1
20. 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, 2015. Qualis: B1
21. 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, 2015. Qualis: A4
22. OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M.. Automated Classification of Pathology Reports. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 216, p. 1040, 2015. Qualis: A2
23. De Bona, Glauber ; COZMAN, FABIO GAGLIARDI ; Finger, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic. v. 12, p. 349-368, 2014. Qualis: A2
24. ARRUDA, A. ; Finger, M. Completeness for cut-based abduction. Logic Journal of the IGPL (Print). v. 21, p. 1, 2013. Qualis: A2
25. Finger, Marcelo; REIS, POLIANA. On the Predictability of Classical Propositional Logic. Information. v. 4, p. 60-74, 2013. Qualis: B1
26. D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science. v. 480, p. 43-68, 2013. Qualis: A4
27. Finger, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print). v. 20, p. 370-387, 2012. Qualis: A2
28. Araújo, Anderson de ; Finger, Marcelo. Classical and quantum satisfiability. Electronic Proceedings in Theoretical Computer Science. v. 81, p. 79-84, 2012. Qualis: B2
29. Finger, M. Analytic Methods for the Logic of Proofs. Journal of Logic and Computation (Print). v. 20, p. 167-188, 2010. Qualis: A3
30. 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, 2010. Qualis: Não identificado (PRACTICE & EXPERIENCE)
31. 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, 2010. Qualis: A2
32. D'Agostino, M. ; Finger, M. ; GABBAY, D.. Cut-Based Abduction. Logic Journal of the IGPL. v. 16, p. 537-560, 2008. Qualis: A2
33. Finger, M; RABELLO, G.. Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic. v. 152, p. 161-173, 2008. Qualis: A1
34. FINGER, M.; WASSERMANN, R.. Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation. v. 17, p. 53-82, 2007. Qualis: A3
35. FINGER, M.; GABBAY, D.. Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL. v. 15, p. 553-575, 2007. Qualis: A2
36. Finger, M; WASSERMANN, R. The universe of propositional approximations. Theoretical Computer Science. v. 355, n. 2, p. 153-166, 2006. Qualis: A4
37. Finger, Marcelo; Gabbay, Dov. Cut and Pay. Journal of Logic, Language and Information. v. 15, p. 195-218, 2006. Qualis: Não identificado (JOURNAL OF LOGIC, LANGUAGE AND INFORMATION)
38. Finger, M.; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print), Londres. v. 14, n. 2, p. 179-204, 2004. Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION , LONDRES)
39. 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. Concurrency and Computation. v. 16, p. 449-459, 2004. Qualis: Não identificado (CONCURRENCY AND COMPUTATION)
40. BRODA, S ; DAMAS, L. ; Finger, M. ; SILVA, P. J. S. E.. The decidability of a fragment of -logic. Theoretical Computer Science. v. 318, n. 3, p. 373-408, 2004. Qualis: A4
41. 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, 2002. Qualis: A1
42. 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, 2002. Qualis: A2
43. Finger, M. A logical reconstruction of temporal databases. Journal of Logic and Computation (Print). v. 10, n. 6, p. 847-876, 2000. Qualis: A3
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, .
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.
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, .
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. .
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.
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.
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.
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.
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. ; et.al. 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.
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.
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.
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.
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.
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.
10. Finger, Marcelo. Quantitative Logic Reasoning. Trends in Logic. 1ed. Em: . : Springer International Publishing. 2018.p. 241-271.
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.
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.
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.
14. FINGER, M.; REYNOLDS, M. ; GABBAY, D.. Advanced Tense Logic. Em: Dov Gabbay. (Org.). Handbook of Philosophical Logic. 2001..
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, .
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.
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.
Trabalhos completos publicados em anais de congressos (81)
1. SERRAS, F. ; STURZENEKER, M. ; CARPI, M. M. ; PALMA, M. F. ; CRESPO, M. C. ; COSTA, A. S. ; MONTE, V. M. ; NAMIUTI, C. ; SOUSA, M. C. P. ; Finger, Marcelo. Exploring Computational Discernibility of Discourse Domains in Brazilian Portuguese within the Carolina Corpus. Em: PROPOR2024: 16th International Conference on Computational Processing of Portuguese, 2024. Qualis: Não identificado (PROPOR2024: 16th International Conference on Computational Processing of Portuguese)
2. SERRAS, F. ; STURZENEKER, M. ; CRESPO, M. C. ; PALMA, M. F. ; CARPI, M. M. ; MELLO, G. L. ; MONTE, V. M. ; NAMIUTI, C. ; SOUSA, M. C. P. ; Finger, Marcelo. Carolina: a dual purpose corpus of contemporary Portuguese under continuous development. Em: 5th OpenCor: Latin American and Iberian Languages Open Corpora Forum Full program, 2024.Qualis: Não identificado (5th OpenCor: Latin American and Iberian Languages Open Corpora Forum Full program)
3. LOBO, João F. P. ; PRETO, S. ; Finger, Marcelo. Logical Approximation and Formal Verification of Neural Networks. Em: WORKSHOP BRASILEIRO DE LÓGICA, p. 1-8, 2024. Qualis: Não identificado (WORKSHOP BRASILEIRO DE LÓGICA)
4. SERRAS, F. ; CARPI, M. M. ; BRANCO, Matheus C. ; Finger, Marcelo. Analysing and Validating Language Complexity Metrics Across South American Indigenous Languages. Em: ACL Workshop on Cognitive Modeling and Computational Linguistics, p. 152-165, 2024.Qualis: Não identificado (ACL Workshop on Cognitive Modeling and Computational Linguistics)
5. CAVALIM, P. ; MELLO, G. L. ; SERRAS, F. ; Finger, Marcelo ; DOMINGUES, P. ; CARPI, M. M. ; MENEGON, M. J.. Training Large Language Encoders with the Curated Carolina Corpus. Em: 5th OpenCor: Latin American and Iberian Languages Open Corpora Forum, p. 1-8, 2024.Qualis: Não identificado (5th OpenCor: Latin American and Iberian Languages Open Corpora Forum)
6. Gauy, Marcelo Matheus ; A. Goldman ; CAMARGO NETO, A. ; LEVIN, A. S. S. ; MARTINS, M. ; MEDEIROS, B. R. ; QUEIROZ, M. ; SABINO, E. C. ; SVARTMAN, F. R. F. ; M. Finger ; BERTI, L. C. ; CANDIDO JR, A.. Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Em: Artificial Intelligence in Medicine (Lecture Notes in Computer Science), v. 13897, p. 271-275, 2023.Qualis: A2
7. 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. Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
8. 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. Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
9. 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.Qualis: Não identificado (Second Workshop on Digital Humanities and Natural Language Processing)
10. Finger, Marcelo; GAUY, M. M.. Pretrained audio neural networks for Speech emotion recognition in Portuguese. Em: Speech Emotion Recognition in Portuguese, 2022.Qualis: Não identificado (Speech Emotion Recognition in Portuguese)
11. 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. ; et.al. 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.Qualis: Não identificado (Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations)
12. 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. Qualis: Não identificado (ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC))
13. 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. Qualis: Não identificado (ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC))
14. CAMARGO, AUGUSTO ; CARVALHO, WESLEY ; PERESSIM, FELIPE ; BARZILAY, ALAN ; Finger, Marcelo. Text-to-hashtag Generation using Seq2Seq Learning. Em: Brazilian eScience Workshop, p. 121, 2021. Qualis: Não identificado (Brazilian eScience Workshop)
15. 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. Qualis: Não identificado (Interspeech 2021)
16. 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. Qualis: Não identificado (Findings of the Association for Computational Linguistics: ACLIJCNLP 2021)
17. 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. Qualis: Não identificado (Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana)
18. 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. Qualis: Não identificado (Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana)
19. 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.Qualis: Não identificado (XXIX CONGRESSO BRASILEIRO E XI CONGRESSO INTERNACIONAL DE FONOAUDIOLOGIA)
20. Preto, Sandro ; Finger, Marcelo. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. Em: 15th International Workshop on Logical and Semantic Frameworks, 2020.Qualis: Não identificado (15th International Workshop on Logical and Semantic Frameworks)
21. Finger, Marcelo. Detecting Respiratory Insufficiency by Voice Analysis. Em: Acoustic Communication: An Interdisciplinary Approach, 2020.Qualis: Não identificado (Acoustic Communication: An Interdisciplinary Approach)
22. SOUZA, J. J. ; Finger, Marcelo. Robust Ranking of Brazilian Supreme Court Decisions. Em: BRACIS 2020 -- Brazilian Conference on Intelligent Systems, p. 581-594, 2020.Qualis: Não identificado (BRACIS 2020 -- Brazilian Conference on Intelligent Systems)
23. 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.Qualis: Não identificado (Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19)
24. 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. Qualis: Não identificado (Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019))
25. 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.Qualis: Não identificado (International Joint Conference on Automated Reasoning IJCAR 2018)
26. 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.Qualis: Não identificado (Thirty-First AAAI Conference on Artificial Intelligence)
27. 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.Qualis: Não identificado (ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional)
28. 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.Qualis: Não identificado (KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning)
29. 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.Qualis: Não identificado (ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional)
30. 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.Qualis: Não identificado (IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015)
31. OLEYNIK, M. ; Finger, Marcelo ; PATRAO, D. F. C.. Automated Classification of Pathology Reports. Em: MEDINFO 2015, v. 216, p. 1040-1040, 2015. Qualis: Não identificado (MEDINFO 2015)
32. ARRUDA, A. ; Finger, Marcelo. Abdução para a Lógica Probabilística (PSAT). Em: Encontro Brasileiro de Lógica, 2014.Qualis: Não identificado (Encontro Brasileiro de Lógica)
33. 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.Qualis: Não identificado (SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing)
34. 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.Qualis: Não identificado (Ontobras)
35. MORAIS, E. M. ; Finger, Marcelo. Probabilistic Answer Set Programming. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems)
36. De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G.. Generalized Probabilistic Satisfiability. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems)
37. 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.Qualis: Não identificado (STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology)
38. OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C.. Information Retrieval from Clinical Reports. Em: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.Qualis: Não identificado (Workshop on Knowledge Extraction from Text at NIPS 2013)
39. Finger, M; De Bona, Glauber. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. Em: IJCAI 2011, p. 528-533, 2011.Qualis: Não identificado (IJCAI 2011)
40. 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.Qualis: Não identificado (24th International Workshop on Description Logics (DL 2011))
41. Finger, M; Araujo, A. Classical and quantum satisfiability. Em: LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, p. 1, 2011.Qualis: Não identificado (LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks)
42. 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.Qualis: Não identificado (STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology)
43. Finger, Marcelo; Araujo, A. A formal system for quantum communication environments. Em: ENIA 2011, p. 1-11, 2011.Qualis: Não identificado (ENIA 2011)
44. Finger, Marcelo; Firmo, Fabio. Previsão de Utilização de Recursos por Aplicações no InterGrade. Em: VIII Workshop em Clouds, 2010.Qualis: Não identificado (VIII Workshop em Clouds)
45. 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. Qualis: Não identificado (WoLLIC 2010 -- Workshop Logic)
46. De Bona, Glauber ; Finger, Marcelo. A Refuted Conjecture on Probabilistic Satisfiability. Em: SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010.Qualis: Não identificado (SBIA2010 -- Brazilian Symposium on Artificial Intelligence)
47. 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.Qualis: Não identificado (NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas)
48. 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.Qualis: Não identificado (V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA)
49. 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. Qualis: Não identificado (IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence)
50. 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. Qualis: Não identificado (Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008))
51. 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.Qualis: Não identificado (LSFA'09: Fourth Workshop on Logical and Semantic Frameworks)
52. 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.Qualis: Não identificado (1rst International Congress of Mathematics)
53. FINGER, M.; WASSERMANN, R.. Revising Specifications with CTL Properties using Bounded Model Checking. Em: SBIA - Simpósio Brasileiro de Inteligência Artificial, 2008. Qualis: Não identificado (SBIA - Simpósio Brasileiro de Inteligência Artificial)
54. 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.Qualis: Não identificado (6th International Workshop on Middleware for Grid Computing - MGC 2008)
55. RABELLO, G. ; Finger, Marcelo. Approximations of Modal Logic K. Em: 12th Workshop on Logic, v. 143, p. 23-32, 2006. Qualis: Não identificado (12th Workshop on Logic)
56. SECA NETO, A. G. S. ; FINGER, M.. Effective Prover for Minimal Inconsistency Logic. Em: IFIP AI 2006, v. 217, p. 465-477, 2006.Qualis: Não identificado (IFIP AI 2006)
57. 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.Qualis: Não identificado (PROPOR 2006)
58. 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.Qualis: Não identificado (IBERAMIA-SBIA 2006)
59. 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. Qualis: Não identificado (ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006))
60. FINGER, M.; Fajardo. How Not to Combine Modal Logics. Em: 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005.Qualis: Não identificado (2nd Indian International Conference on Artificial Intelligence (IICAI-05))
61. 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.Qualis: Não identificado (II Jornada do Conhecimento e da Tecnologia do UNIVEM)
62. 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.Qualis: Não identificado (SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial)
63. 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.Qualis: Não identificado (2nd International Conference on Informatics in Control)
64. 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.Qualis: Não identificado (Eupean Conference of Logics in Artificial Intelligence (JELIA 2004))
65. FINGER, M. Towards Polynomial Approximations of Full Propositional Logic. Em: XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), v. 3171, p. 11-20, 2004.Qualis: Não identificado (XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004))
66. 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.Qualis: Não identificado (Corpus Linguistics)
67. 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.Qualis: Não identificado (ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid)
68. Finger, M; WASSERMANN, R. The Universe of Approximations. Em: workshop of Logic, v. 84, p. 1-14, 2003. Qualis: Não identificado (workshop of Logic)
69. 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.Qualis: Não identificado (Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003))
70. FINGER, M.; Fajardo. Non-Normal Modalisation. Em: Advances in Modal Logic, p. 316-325, 2002.Qualis: Não identificado (Advances in Modal Logic)
71. 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.Qualis: Não identificado (16o Simpósio Brasileiro de Inteligência Artificial)
72. FINGER, M.; WASSERMANN, R.. Approximate Reasoning. Em: 56o Seminário Brasileiro de Análise, p. 260-301, 2002.Qualis: Não identificado (56o Seminário Brasileiro de Análise)
73. 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.Qualis: Não identificado (1o Workshop de Teses e Dissertações em Inteligência Artificial)
74. FINGER, M.; WASSERMANN, R.. Expressivity and Control in Limited Reasoning. Em: 15th European Conference on Artificial Intelligence (ECAI02), p. 72-76, 2002.Qualis: Não identificado (15th European Conference on Artificial Intelligence (ECAI02))
75. FINGER, M.; WASSERMANN, R.. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)
76. FINGER, M.; WASSERMANN, R.. Approximate Reasoning and Paraconsistency. Em: 8th Workshop on Logic, p. 76-86, 2001.Qualis: Não identificado (8th Workshop on Logic)
77. FINGER, M. Algorithmic Correspondence Theory for Substructural Categorial Logic. Em: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000.Qualis: Não identificado (Algorithmic Correspondence Theory for Substructural Categorial Logic)
78. 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.Qualis: Não identificado (3rd International Conference on Temporal Logic (ICTL))
79. 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.Qualis: Não identificado (V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000))
80. FINGER, M. Infinite SLaKE-Tableaux. Em: 7th Workshop on Logic, 2000.Qualis: Não identificado (7th Workshop on Logic)
81. FINGER, M.; VASCONCELOS, W.. Sharing Resource-Sensitive Knowledge using Combinator Logics. Em: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000.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. 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. 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. 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. 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. 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. 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. 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.
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.
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.
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.
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.
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.
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.
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.
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 (15)
1. GAUY, MARCELO MATHEUS ; BERTI, L. C. ; CANDIDO JR, ARNALDO ; 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. Ithaca: arXiv. 2024. Relatório Técnico
2. GAUY, M. M. ; KOZA, N. H. ; MORITA, R. M. ; STANZIONE, G. R. ; CANDIDO JR, A. ; BERTI, L. C. ; LEVIN, A. S. ; SABINO, E. C. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo. Contrasting Deep Learning Models for Direct Respiratory Insufficiency Detection Versus Blood Oxygen Saturation Estimation. arXiv. 2024. Relatório Técnico
3. GAUY, M. M. ; Finger, Marcelo. Pretrained audio neural networks for Speech emotion recognition in Portuguese. arXiv. 2022. Relatório Técnico
4. GAUY, M. M. ; Finger, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. arXiv. 2022. Relatório Técnico
5. 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
6. SERRAS, F. ; Finger, Marcelo. verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. arXiv. 2022. Relatório Técnico
7. PRETO, S. ; FERME, E. ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. arXiv. 2022. Relatório Técnico
8. 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
9. CAMARGO NETO, A. C. ; CARVALHO, W. S. ; PERESSIM, F. ; Finger, Marcelo. Text-to-hashtag Generation using Seq2seq Learning. arXiv. 2021. Relatório Técnico
10. Finger, Marcelo. Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv. 2019. Relatório Técnico
11. 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
12. 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
13. Finger, Marcelo; FERNANDEZ, M.. Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA), 2014. (Prefácio. 2014.
14. FINGER, M.; NASSU, E. A.. O significado de "aqui'' em sistemas transacionais móveis. 2001. Relatório Técnico
15. FINGER, M.; CEZAR, F. A. M. C.. Banco de dados obsolescentes e uma proposta de implementação. 2001. Relatório Técnico

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (19)
1. Finger, Marcelo. LIPSAT: Probabilistic Satisfiability over Lukasiewicz Infinitely valued Logic. 2018.
2. FINGER, M. CQU-SAT: a SAT-solver for Counting Quantifiers over Unary Predicates. 2017.
3. De Bona, Glauber ; Finger, Marcelo. PSAT resolvedor de Satisfatibilidade Probabilística. 2011.
4. Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines . 2008.
5. SECA NETO, A. G. S. ; FINGER, M.. KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007.
6. Finger, Marcelo. Coluna na Rádio Eldorado: Inteligência Artificial nas Ondas do Rádio. 2023.
7. Finger, Marcelo. Como evitar a bolha dos algoritmos na internet?. 2019. (Programa de rádio ou. 2019.
8. Finger, Marcelo. Google lança nova ferramenta de busca para dados científicos. 2019. (Programa de rádio ou. 2019.
9. Finger, Marcelo. 'Robôs não têm um detector de coerência', diz pesquisador. 2019. (Programa de rádio ou. 2019.
10. Finger, Marcelo. Brasil precisa debater ética e direitos humanos em IA. 2019. (Programa de rádio ou. 2019.
11. Finger, Marcelo. Jornal Nacional -- Serie de reportagem sobre Intelugência Artificial. 2019.
12. Finger, Marcelo. Band News: Aqui tem vaga -- Inteligencia Artificial. 2019.
13. Finger, Marcelo. O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou. 2018.
14. Finger, Marcelo. Inteligência artificial não substituirá o professor, diz especialista Marcelo Finger afirmou também que noções sobre sistemas de computação devem ser ensinadas desde a infância, no começo do aprendizado. 2018. (Programa de rádio ou. 2018.
15. Finger, Marcelo. Você sabe (de verdade) o que é big data?. 2018. (Programa de rádio ou. 2018.
16. Finger, Marcelo. Inteligência artificial precisa ser debatida por toda a sociedade, recomenda professor da USP. 2017. (Programa de rádio ou. 2017.
17. Finger, M; COZMAN, F. G.. Inteligência artificial à brasileira. 2017. (Programa de rádio ou. 2017.
18. Finger, Marcelo. Inteligência artificial é tema de estudo de Marcelo Finger. 2013. (Programa de rádio ou. 2013.
19. Finger, Marcelo. Em busca do computador inteligente. 2012. (Programa de rádio ou. 2012.
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
2. Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. Curso de curta duração ministrado/Outra
3. FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais
4. FINGER, M. Resolvedores SAT. 2006. Curso de curta duração ministrado/Outra

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.

Orientações em andamento

Supervisão de pós-doutorado (1)
1. Ana Carolina Bottura de Barros. . Universidade de São Paulo., . Início: 2025.
  Supervisor: Marcelo Finger.
Tese de doutorado (2)
1. Wesley Seidel Carvalho. Análise Automática de Fluência de Leitura por meio de Redes Neurais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Início: 2025.
  Orientador: Marcelo Finger.
2. Felipe Ribas Serras. Perspectivas Computacionais Sobre Complexidade Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2025.
  Orientador: Marcelo Finger.
Dissertação de mestrado (7)
1. Vítor Hideki Ishikura. Imputação de dados no contexto de previsão da resistência à compressão do cimento por aprendizado automático. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2025.
  Orientador: Marcelo Finger.
2. Felipe de Lima Peressim. Machine learning models for the prediction of 28-day cement compressive strength. 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. Início: 2025.
  Orientador: Marcelo Finger.
3. Guilherme Lamartine de Mello. Pré-Treinamento de Modelos Linguísticos para o Português Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2025.
  Orientador: Marcelo Finger.
4. João Felipe Lobo Pevidor. Approximations of SATisfiability. 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. Início: 2025.
  Orientador: Marcelo Finger.
5. Augusto Cesar de Camargo Neto. Safeguarding AI-Based Vocal Biomarkers in Noisy Environments. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2025.
  Orientador: Marcelo Finger.
6. Miguel de Mello Carpi. Building Scalable Language Models in Resource-Constrained Environments: a case studty in Brazilian Portuguese. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2025.
  Orientador: Marcelo Finger.
7. Matheus Castello Branco Lima de Araujo. Aprendizado de Máquina na Detecção de Refatorações de Código. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2025.
  Orientador: Marcelo Finger.
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 (5)
1. Marcelo Matheus Gauy. . Universidade de São Paulo, . 2025.
  Supervisor: Marcelo Finger.
2. Sandro Marcio da Silva Preto. . Universidade de São Paulo, . 2024.
  Supervisor: Marcelo Finger.
3. 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.
4. Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010.
  Supervisor: Marcelo Finger.
5. 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 (10)

Aline Rodrigheri Ioste. Aprendizagem combinada para treinamento descentralizado de redes neurais com preservação da privacidade dos dados. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Marcelo Finger.
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 (32)

Diego Andrés Méndez. Um modelo leve de filtragem da língua portuguesa do Brasil treinado utilizando aprendizado ativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Marcelo Finger.
Bruno Vianna Bitelli. Extração de informações numéricas em textos jurídicos usando Grandes Modelos de Língua (LLMs). Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Marcelo Finger.
Alan Barzilay. Utilizando técnicas de processamento de linguagem natural para refatoração automática de código. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2023.
Orientador: Marcelo Finger.
Jackson José de Sousa. Classificação de decisões do Supremo Tribunal Federal: um estudo da robustez da rede de decisões e identificação de leading cases. 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. 2023.
Orientador: Marcelo Finger.
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 Condições Respiratórias em Dispositivos Móveis por Análise de Áudio via Inteligência 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. C4AI -- Centro de Inteligência 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.
2020-Atual. Projeto SPIRA: Sistema de detecção Precoce de Insuficiência Respiratória por meio de análise de Áudio
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. Corpus Carolina - Laboratório Virtual de Humanidades Digitais (LaViHD), Centro de Inteligência 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.
2011-2011. Professor visitante na Universidade de Toulouse (IRIT), França
Descrição: DEZEMBRO DE 2011. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Finger - Coordenador.
Membro: Marcelo Finger.
2009-2012. Projeto Temático Fapesp LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações 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 (16)

1st place in Speech Emotion Recognition in Portuguese, Propor2022 Shared Task in Speech Emotion Recognition in Portuguese.. 2022.
Membro: Marcelo Finger.
Melhor artigo do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), Brazilian Conference on Intelligent Systems (BRACIS 2022).. 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, XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia.. 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 (10)

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, 2006. Qualis: A4
Marcelo Finger ; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print), Londres. v. 14, n. 2, p. 179-204, 2004. Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION , LONDRES)
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.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.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. 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.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. 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.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.Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)

Marcelo Finger ⇔ Marcelo Matheus Gauy (6.0)
Berti, Larissa Cristina ; GAUY, MARCELO ; DA SILVA, LUANA CRISTINA SANTOS ; RIOS, JULIA VASQUEZ VALENCI ; MORAIS, VIVIAM BATISTA ; ALMEIDA, TATIANE CRISTINA DE ; SOSSOLETE, LEISI SILVA ; QUIRINO, JOSÉ HENRIQUE DE MOURA ; MARTINS, CAROLINA FERNANDA PENTEAN ; FERNANDES-SVARTMAN, FLAVIANE R. ; RAPOSO DE MEDEIROS, BEATRIZ ; QUEIROZ, MARCELO ; GAZZOLA, MURILO ; FINGER, MARCELO. Acoustic Characteristics of Voice and Speech in Post-COVID-19. Healthcare. v. 13, p. 63, 2025. Qualis: C
DA SILVA, DANIEL PEIXOTO PINTO ; CASANOVA, EDRESSON ; GRIS, LUCAS RAFAEL STEFANEL ; GAUY, MARCELO MATHEUS ; JUNIOR, ARNALDO CANDIDO ; FINGER, MARCELO ; Svartman, Flaviane Romani Fernandes ; de Medeiros, Beatriz Raposo ; MARTINS, MARCUS VINÍCIUS MOREIRA ; MARIA ALUÍSIO, SANDRA ; CRISTINA BERTI, LARISSA ; PAULO TEIXEIRA, JOÃO. Interpretability analysis of deep models for COVID-19 detection. Artificial Intelligence in Health. v. 1, p. 114-126, 2024. Qualis: Não identificado (ARTIFICIAL INTELLIGENCE IN HEALTH)
GAUY, MARCELO MATHEUS; Berti, Larissa Cristina ; Cândido, Arnaldo ; Neto, Augusto Camargo ; GOLDMAN, ALFREDO ; LEVIN, ANNA SARA SHAFFERMAN ; Martins, Marcus ; de Medeiros, Beatriz Raposo ; QUEIROZ, MARCELO ; Sabino, Ester Cerdeira ; Svartman, Flaviane Romani Fernandes ; FINGER, MARCELO. Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Lecture Notes in Computer Science. 1ed. Em: . : Springer Nature Switzerland. 2023.v. 13897, p. 271-275.
MATHEUS GAUY, MARCELO; FINGER, MARCELO. Pretrained audio neural networks for Speech emotion recognition in Portuguese. Em: Automatic Speech Recognition for spontaneous and prepared speech & Speech Emotion Recognition in Portuguese, v. 3175, p. 15-24, 2022. Qualis: Não identificado (Automatic Speech Recognition for spontaneous and prepared speech & Speech Emotion Recognition in Portuguese)
ALUISIO, SANDRA MARIA ; BERTI, LARISSA ; CAMARGO, AUGUSTO ; CANDIDO JR, ARNALDO ; CASANOVA, EDRESSON ; SVARTMAN, F. R. F. ; CORSO FERNANDES, RICARDO ; FINGER, MARCELO ; GOLDMAN, ALFREDO ; GRIS, LUCAS RAFAEL STEFANEL ; PEREIRA, PEDRO LEYTON ; LEVIN, ANNA SARA SHAFFERMAN ; MATHEUS GAUY, MARCELO ; QUEIROZ, MARCELO ; RAPOSO DE MEDEIROS, BEATRIZ ; SABINO, ESTER ; PINTO DA SILVA, DANIEL PEIXOTO. 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.Qualis: Não identificado (Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations)
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-152, 2021. Qualis: Não identificado (Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana)

Marcelo Finger ⇔ Alfredo Goldman vel Lejbman (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, 2010. Qualis: A2
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. Concurrency and Computation. v. 16, p. 449-459, 2004. Qualis: Não identificado (CONCURRENCY AND COMPUTATION)
Gauy, Marcelo Matheus ; A. Goldman ; CAMARGO NETO, A. ; LEVIN, A. S. S. ; MARTINS, M. ; MEDEIROS, B. R. ; QUEIROZ, M. ; SABINO, E. C. ; SVARTMAN, F. R. F. ; M. Finger ; BERTI, L. C. ; CANDIDO JR, A.. Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. Em: Artificial Intelligence in Medicine (Lecture Notes in Computer Science), v. 13897, p. 271-275, 2023.Qualis: A2
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.Qualis: Não identificado (ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid)

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, 2010. Qualis: A2
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. Concurrency and Computation. v. 16, p. 449-459, 2004. Qualis: Não identificado (CONCURRENCY AND COMPUTATION)
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. 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.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, 2002. 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.
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.Qualis: Não identificado (2nd International Conference on Informatics in Control)

Marcelo Finger ⇔ Marcelo Gomes de Queiroz (3.0)
Berti, Larissa Cristina ; GAUY, MARCELO ; DA SILVA, LUANA CRISTINA SANTOS ; RIOS, JULIA VASQUEZ VALENCI ; MORAIS, VIVIAM BATISTA ; ALMEIDA, TATIANE CRISTINA DE ; SOSSOLETE, LEISI SILVA ; QUIRINO, JOSÉ HENRIQUE DE MOURA ; MARTINS, CAROLINA FERNANDA PENTEAN ; FERNANDES-SVARTMAN, FLAVIANE R. ; RAPOSO DE MEDEIROS, BEATRIZ ; QUEIROZ, MARCELO ; GAZZOLA, MURILO ; FINGER, MARCELO. Acoustic Characteristics of Voice and Speech in Post-COVID-19. Healthcare. v. 13, p. 63, 2025. Qualis: C
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, 2023. Qualis: A3 (THE JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA)
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. ; et.al. 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.

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, 2002. 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.

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.Qualis: Não identificado (2nd International Conference on Informatics in Control)

Marcelo Finger ⇔ Roberto Hirata Junior (1.0)
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. Qualis: Não identificado (Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019))

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 22/04/2025 21:29:30

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br