Plataforma CpE

Busque por temas e encontre especialistas

Marcelo Finger

Dados pessoais

  • HS Health Sciences
  • LS Life Sciences
  • MU Multidisciplinary
  • PS Physical Sciences
  • SH Social Sciences & Humanities
# Nome Links Grande Área Área
1 Beatriz Raposo De MEDEIROS Lingüística, Letras e Artes Lingüística
2 Cristiane Dos Santos NAMIUTI Lingüística, Letras e Artes Lingüística
3 Fabio Gagliardi COZMAN Ciências Exatas e da Terra Ciência da Computação
4 Flaviane Romani Fernandes SVARTMAN Lingüística, Letras e Artes Lingüística
5 Flavio Soares Correa Da SILVA Ciências Exatas e da Terra Ciência da Computação
6 Larissa Cristina BERTI Lingüística, Letras e Artes Lingüística
7 Leliane Nunes De BARROS Ciências Exatas e da Terra Ciência da Computação
8 Maria Das Graças Volpe NUNES Ciências Exatas e da Terra Ciência da Computação
9 Sandra Maria ALUÍSIO Ciências Exatas e da Terra Ciência da Computação
Figura 1. Número de publicações por ano e por tipo, considerando todas as publicações.
  1. Physical Sciences Artificial Intelligence
    Gauy Marcelo MATHEUS; Augusto C Camargo NETO; Marcelo FINGER. 2023. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. In: 21st international conference on artificial intelligence in medicine. Estados Unidos.
  2. Physical Sciences Computer Science (miscellaneous)
    Preto SANDRO; Manyà FELIP; Marcelo FINGER. 2023. Benchmarking ¿ukasiewicz logic solvers with properties of neural networks. In: 2023 ieee 53rd international symposium on multiplevalued logic (ismvl). Brasil.
  3. Physical Sciences Artificial Intelligence
    Preto SANDRO; Manyà FELIP; Marcelo FINGER. 2023. Linking ¿ukasiewicz logic and boolean maximum satisfiability. In: 2023 ieee 53rd international symposium on multiplevalued logic (ismvl). Brasil.
  4. Social Sciences & Humanities Education
    Marcelo FINGER; Maria Clara Paixão De SOUSA; Mariana STURZENEKER; Maria Clara CRESPO; Maria Lina ROCHA et al. 2022. Carolina?s methodology: building a large corpus with provenance and typology information. In: Second workshop on digital humanities and natural language processing. Brasil.
  5. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; Marcelo Matheus GAUY. 2022. Pretrained audio neural networks for speech emotion recognition in portuguese. In: Speech emotion recognition in portuguese. Brasil.
  6. Health Sciences General Medicine
    Sandra Maria ALUÍSIO; Augusto C Camargo NETO; Edresson CASANOVA; Flaviane Fernandes SVARTMAN; Marcelo FINGER et al. 2022. Detecting respiratory insufficiency via voice analysis: the spira project. In: Practical machine learning for developing countries on the tenth international conference on learning representations. Estados Unidos.
  7. Physical Sciences Energy Engineering and Power Technology
    Thiago LIRA; Marcelo FINGER. 2022. Bayesian neural models for time-series prediction of cs28 compressive strength in cement manufacturing. In: Encontro nacional de inteligência artificial e computacional (eniac). Brasil.
  8. Physical Sciences Artificial Intelligence
    Aline IOSTE; Marcelo FINGER. 2022. Establishing the parameters of a decentralized neural machine learning model. In: Encontro nacional de inteligência artificial e computacional (eniac). Brasil.
  9. Physical Sciences Computer Science (miscellaneous)
    Camargo AUGUSTO; Carvalho WESLEY; Peressim FELIPE; Barzilay ALAN; Marcelo FINGER. 2021. Text-to-hashtag generation using seq2seq learning. In: Brazilian escience workshop. Brasil.
  10. Physical Sciences Computer Science (miscellaneous)
    Casanova EDRESSON; Candido Jr ARNALDO; Fernandes Jr Ricardo CORSO; Marcelo FINGER; Gris Lucas Rafael STEFANEL et al. 2021. Transfer learning and data augmentation techniques to the covid-19 identification tasks in compare 2021. In: Interspeech 2021. Brasil.
  11. Health Sciences Medicine (miscellaneous)
    Casanova EDRESSON; Gris LUCAS; Camargo AUGUSTO; Da Silva DANIEL; Gazzola MURILO et al. 2021. Deep learning against covid-19: respiratory insufficiency detection in brazilian portuguese speech. In: Findings of the association for computational linguistics: aclijcnlp 2021. Brasil.
  12. Physical Sciences Biomedical Engineering
    Gauy Marcelo MATHEUS; Marcelo FINGER. 2021. Audio mfcc-gram transformers for respiratory insufficiency detection in covid-19. In: Simpósio brasileiro de tecnologia da informação e da linguagem humana. Brasil.
  13. Physical Sciences Artificial Intelligence
    Serras Felipe R; Marcelo FINGER. 2021. Verbert: automating brazilian case law document multi-label categorization using bert. In: Simpósio brasileiro de tecnologia da informação e da linguagem humana. Brasil.
  14. Health Sciences Medicine (miscellaneous)
    Larissa C BERTI; Marcus MARTINS; Flaviane Fernandes SVARTMAN; Marcelo Gomes De QUEIROZ; Beatriz Raposo De MEDEIROS et al. 2021. A pausa como um biomarcador na fala de pacientes com covid-19. In: Xxix congresso brasileiro e o ix congresso internacional de fonoaudiologia 2021. Brasil.
  15. Health Sciences Nutrition and Dietetics
    Larissa C BERTI; Evelyn Alves SPAZZAPAN; Pedro LEYTON; Marcelo Gomes De QUEIROZ; Flaviane Fernandes SVARTMAN et al. 2021. Mudanças nos parâmetros acústicos da voz em brasileiros com covid-19. In: Xxix congresso brasileiro e xi congresso internacional de fonoaudiologia. Brasil.
  16. Health Sciences General Medicine
    Larissa C BERTI; Evelyn Alves SPAZZAPAN; Pedro LEYTON; Marcelo G QUEIROZ; Flaviane Fernandes SVARTMAN et al. 2021. Mudanças nos parâmetros acústicos da voz em brasileiros com covid-19. In: Xxix congresso brasileiro e o ix congresso internacional de fonoaudiologia 2021. Brasil.
  17. Health Sciences Medicine (miscellaneous)
    Marcelo FINGER. 2020. A system for precocious detection of respiratory insufficiency via audio. In: First virtual workshop on automatic diagnostics of covid-19 sounds. Inglaterra.
  18. Physical Sciences Artificial Intelligence
    Preto SANDRO; Marcelo FINGER. 2020. An efficient algorithm for representing piecewise linear functions into logic. In: 15th international workshop on logical and semantic frameworks; with applications (lsfa). Brasil.
  19. Health Sciences Medicine (miscellaneous)
    Marcelo FINGER. 2020. Detecting respiratory insufficiency by voice analysis. In: Acoustic communication: an interdisciplinary approach. Brasil.
  20. Health Sciences Psychiatry and Mental Health
    Jackson José De SOUZA; Marcelo FINGER. 2020. Robust ranking of brazilian supreme court decisions. In: Bracis 2020 -- brazilian conference on intelligent systems. Brasil.
  21. Physical Sciences Artificial Intelligence
    Sandro PRETO; Marcelo FINGER. 2019. Representing rational mcnaughton functions via modsat relativisation. In: Ebl 2019 -- brazilian logic conference. Brasil.
  22. Physical Sciences Computer Science Applications
    Marcelo FINGER. 2019. Sparse models: a tractable fragment for sat; maxsat and psat. In: Ebl 2019 -- brazilian logic conference. Brasil.
  23. Physical Sciences Artificial Intelligence
    Felipe SALVATORE; Sandro PRETO; Marcelo FINGER; Roberto Hirata JR. 2019. Using neural models to perform inference. In: Fourteenth international workshop on neural-symbolic learning and reasoning at ijcai-19. Brasil.
  24. Physical Sciences Artificial Intelligence
    Salvatore FELIPE; Marcelo FINGER; Hirata Jr ROBERTO. 2019. A logical-based corpus for cross-lingual evaluation. In: Proceedings of the 2nd workshop on deep learning approaches for lowresource nlp (deeplo 2019). Brasil.
  25. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Sandro PRETO. 2018. Probably half true: probabilistic satisfiability over łukasiewicz infinitely-valued logic. In: International joint conference on automated reasoning ijcar 2018. Brasil.
  26. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Glauber De BONA. 2017. Algorithms for deciding counting quantifiers over unary predicates. In: Thirty-first aaai conference on artificial intelligence. Brasil.
  27. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Fabiano Ferreira LUZ. 2017. Semantic parsing natural language into sparql: an lstm enconder-decoder neural net approach. In: Eniac 207 - encontro nacional de inteligência artificial e computacional. Brasil.
  28. Physical Sciences Computer Science (miscellaneous)
    Glauber De BONA; Marcelo FINGER; Márcio Moretto RIBEIRO; Yuri David Dos SANTOS; Renata WASSERMANN. 2016. Consolidating probabilistic knowledge bases via belief contraction. In: Kr2016 - 15th international conference on principles of knowledge representation and reasoning. Brasil.
  29. Physical Sciences Computer Science Applications
    Felipe SERRAS; Marcelo FINGER. 2016. Previsão da temática de notícias futuras: implementação do algoritmo prophet aos dados de um jornal de grande circulação. In: Eniac2016 - encontro nacional de inteligência artificial e computacional. Brasil.
  30. Physical Sciences Artificial Intelligence
    Eduardo Menezes De MORAIS; Glauber De BONA; Marcelo FINGER. 2015. Non-markovian logic-probabilistic modeling and inference. In: Ijcai-2015 workshop on weighted logics for artificial intelligence wl4ai-2015. Brasil.
  31. Life Sciences General Biochemistry, Genetics and Molecular Biology
    Michel OLEYNIK; Marcelo FINGER; Diogo Fernandez Da Costa PATRÃO. 2015. Automated classification of pathology reports. In: Medinfo 2015. Brasil.
  32. Physical Sciences Computer Science (miscellaneous)
    Alexandre ARRUDA; Marcelo FINGER. 2014. Abdução para a lógica probabilística (psat). In: Encontro brasileiro de lógica. Brasil.
  33. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Carla GOMES; Ronan Le BRAS; Bart SELMAN. 2013. Solutions for hard and soft constraints using optimized probabilistic satisfiability. In: Sat 2013 - 16th international conference on theory and applications of satisfiability testing. Finlândia.
  34. Physical Sciences Computer Science (miscellaneous)
    Diogo Fernandez Da Costa PATRÃO; Helena BRENTANI; Marcelo FINGER; Renata WASSERMANN. 2013. Ontocloud?a clinical information ontology based data integration system. In: Ontobras. Brasil.
  35. Physical Sciences Artificial Intelligence
    Eduardo Menezes De MORAIS; Marcelo FINGER. 2013. Probabilistic answer set programming. In: Bracis -- brazilian conference on intelligent systems. Brasil.
  36. Physical Sciences Artificial Intelligence
    Glauber De BONA; Marcelo FINGER; Fabio Gagliardi COZMAN. 2013. Generalized probabilistic satisfiability. In: Bracis -- brazilian conference on intelligent systems. Brasil.
  37. Social Sciences & Humanities Linguistics and Language
    William Daniel Colen De Moura SILVA; Marcelo FINGER. 2013. Improving cogroo: the brazilian portuguese grammar checker. In: Stil 2013 ? the 9th brazilian symposium in information and human language technology. Brasil.
  38. Social Sciences & Humanities Psychology (miscellaneous)
    Michel OLEYNIK; Marcelo FINGER; Diogo Fernandez Da Costa PATRÃO. 2013. Information retrieval from clinical reports. In: Workshop on knowledge extraction from text at nips 2013. Brasil.
  39. Physical Sciences Artificial Intelligence
    Glauber De BONA; Fabio Gagliardi COZMAN; Marcelo FINGER. 2013. Towards classifying propositional probabilistic logics. In: Progic 2013: the sixth workshop on combining probability and logic. Brasil.
  40. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Glauber De BONA. 2011. Probabilistic satisfiability: logic-based algorithms and phase transition. In: Ijcai 2011. Brasil.
  41. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; Fabio Gagliardi COZMAN; Renata WASSERMANN. 2011. Satisfiability in el with sets of probabilistic aboxes. In: 24th international workshop on description logics (dl 2011). Espanha.
  42. Physical Sciences Physics and Astronomy (miscellaneous)
    Marcelo FINGER; Anderson ARAUJO. 2011. Classical and quantum satisfiability. In: Lsfa 2011 - 6th workshop on logical and semantic frameworks; with applications. Brasil.
  43. Health Sciences Medicine (miscellaneous)
    Marcelo FINGER; Diogo Fernandez Da Costa PATRÃO; Fabio FILOCOMO. 2011. Resolução da heterogeneidade na identificação de pacientes. In: Stil 2011 : 8th brazilian symposium in information and human language technology. Brasil.
  44. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Anderson ARAUJO. 2011. A formal system for quantum communication environments. In: Enia 2011. Brasil.
  45. Social Sciences & Humanities Psychology (miscellaneous)
    Alexandre De Matos ARRUDA; Marcelo FINGER. 2011. Completude para a abdução baseada em corte. In: Xvi ebl -- brazilian logic conference. Brasil.
  46. Physical Sciences Artificial Intelligence
    Mauricio Simões Camilo HERNANDES; Marcelo FINGER. 2011. A characterization for quantum logic semantic consequence as algebraic multipliers. In: Xvi ebl -- brazilian logic conference. Brasil.
  47. Physical Sciences Artificial Intelligence
    Juliana BUENO; Marcelo FINGER. 2011. Probabilistic modal logic. In: Xvi ebl -- brazilian logic conference. Brasil.
  48. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; William Daniel Colen De Moura SILVA; Carlos Eduardo Dantas De MENEZES. 2010. Using apache uima annotators for brazilian portuguese. In: Propor 2010: international conference on computational processing of the portuguese language. Brasil.
  49. Social Sciences & Humanities Education
    Marcelo FINGER; Fabio FIRMO. 2010. Previsão de utilização de recursos por aplicações no intergrade. In: Viii workshop em clouds; grids e aplicações. Brasil.
  50. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; Mauricio Simões Camilo HERNANDES. 2010. Entailment multipliers: an algebraic characterization of validity for classical and modal logics. In: Wollic 2010 -- workshop logic; language; information and computation. Brasil.
  51. Physical Sciences Artificial Intelligence
    Glauber De BONA; Marcelo FINGER. 2010. A refuted conjecture on probabilistic satisfiability. In: Sbia2010 -- brazilian symposium on artificial intelligence. Brasil.
  52. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Fábio Natanael KEPLER. 2010. Variable-length markov models and ambiguous words in portuguese. In: Naacl-hlt 2010 young investigators workshop on computational approaches to languages of the americas. Brasil.
  53. Physical Sciences Computer Science (miscellaneous)
    Jose Martim NICOLADELLI; João Luiz LUGUESI; Maria Eugênia De Carvalho E SILVA; Jorge BERNARD; Marcelo FINGER. 2010. Asa-calcpro: métodos de inferência através de ambientes de suporte ao aluno. In: V congresso internacional de ensino da matemática. Brasil.
  54. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Glauber De BONA. 2010. A logic based algorithm for solving probabilistic satisfiability. In: Iberamia 2010 -- 12th ibero-american conference on artificial intelligence. Argentina.
  55. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2009. Using abduction to compute efficient proofs. In: Third workshop on logical and semantic frameworks with applications (lsfa 2008). Brasil.
  56. Physical Sciences Artificial Intelligence
    Adolfo Gustavo Serra Seca NETO; Celso A A KAESTNER; Marcelo FINGER. 2009. Towards an efficient prover for the c_1-paraconsistent logic. In: Lsfa'09: fourth workshop on logical and semantic frameworks; with applications. Brasil.
  57. Physical Sciences Computer Science (miscellaneous)
    Jose Martim NICOLADELLI; Maria Eugênia De Carvalho E SILVA; Jorge BERNARD; Marcelo FINGER. 2009. Asa-calcpro: métodos de inferência. In: 1rst international congress of mathematics; engineering and society - icmes 2009. Brasil.
  58. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Renata WASSERMANN. 2008. Revising specifications with ctl properties using bounded model checking. In: Sbia - simpósio brasileiro de inteligência artificial. Brasil.
  59. Physical Sciences Artificial Intelligence
    Walter CARNIELLI; Marcelo FINGER. 2008. Minimal axiomatizations and algebraic rings: a conjectured relationship. In: Encontro brasileiro de lógica. Brasil.
  60. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2008. Using abduction to compute efficient proofs. In: Lsfa'08 third workshop on logical and semantic frameworks; with applications. Brasil.
  61. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Germano Capistrano BEZERRA; Danilo Mateus Rubio CONDE. 2008. Resource use pattern analysis for opportunistic grids. In: 6th international workshop on middleware for grid computing - mgc 2008. Bélgica.
  62. Physical Sciences Artificial Intelligence
    Adolfo Gustavo Serra Seca NETO; Marcelo FINGER. 2007. A ke tableau for a logic of formal inconsistency. In: Tableaux'07. Brasil.
  63. Physical Sciences Artificial Intelligence
    Guilherme RABELLO; Marcelo FINGER. 2006. Approximations of modal logic k. In: 12th workshop on logic; language; information and computation. Inglaterra.
  64. Social Sciences & Humanities Education
    Marcelo FINGER. 2006. End the discrimination: equal rights for the cut. In: Xiv encontro brasileiro de lógica. Brasil.
  65. Physical Sciences Artificial Intelligence
    Adolfo Gustavo Serra Seca NETO; Marcelo FINGER. 2006. Effective prover for minimal inconsistency logic. In: Ifip ai 2006. Brasil.
  66. Physical Sciences Computer Science Applications
    Fábio Natanael KEPLER; Marcelo FINGER. 2006. Part-of-speech tagging of portuguese based on variable length markov chains. In: Propor 2006; international workshop on the computational processing of portuguese. Brasil.
  67. Physical Sciences Artificial Intelligence
    Fábio Natanael KEPLER; Marcelo FINGER. 2006. Comparing two markov methods for part-of-speech tagging of portuguese. In: Iberamia-sbia 2006; 2nd international joint conference. 10th ibero-american conference on ai. 18th brazilian ai symposium. Brasil.
  68. Physical Sciences Artificial Intelligence
    Jose De Ribamar Braga Pinheiro JUNIOR; Marcelo FINGER; Fábio KON; Alexandre T C VIDAL. 2006. Trust in large-scale computational grids: an spki/sdsi extension for representing opinion. In: 4th international workshop on middleware for grid computing - mgc 2006. Estados Unidos.
  69. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Rogério FAJARDO. 2005. How not to combine modal logics. In: 2nd indian international conference on artificial intelligence (iicai-05). Brasil.
  70. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Adolfo Gustavo Serra Seca NETO. 2005. Using aspect-oriented programming in the development of a multi-strategy theorem prover. In: Ii jornada do conhecimento e da tecnologia do univem. Brasil.
  71. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Adolfo Gustavo Serra Seca NETO. 2005. Implementing a multi-strategy theorem prover. In: Sbc 2005 enia -- v encontro nacional de inteligência artificial. Brasil.
  72. Physical Sciences Computer Science Applications
    Marcelo FINGER; Ana Cristina Vieira De MELO; Flavio Correa Da SILVA; Renata WASSERMANN; Leliane Nunes De BARROS. 2005. Intelligent mobile multi-robotic systems: some challenges and possible solutions. In: 2nd international conference on informatics in control; automation and robotics. Espanha.
  73. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2004. Polynomial approximations of full classical logic via limited bivalence. In: Eupean conference of logics in artificial intelligence (jelia 2004). Portugal.
  74. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2004. Towards polynomial approximations of full propositional logic. In: Xvii brazilian symposium on artificial intelligence (sbia 2004). Brasil.
  75. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER; Sandra Maria ALUIZIO; Gisele M PINHEIRO; Stella E O TAGNIN; Maria Das Graças Volpe NUNES. 2003. The lacio-web project: overview and issues in brazilian portuguese corpora creation. In: Corpus linguistics. Brasil.
  76. Physical Sciences Computer Science (miscellaneous)
    Andrei GOLDCHLEGER; Fábio KON; Alfredo GOLDMAN; Marcelo FINGER. 2003. Integrade: object-oriented grid middleware leveraging idle computindg power of desktop machines. In: Acm/ifip/usenix middleware'2003 workshop on middleware for the grid. Brasil.
  77. Physical Sciences Physics and Astronomy (miscellaneous)
    Marcelo FINGER; Wassermann R. 2003. The universe of approximations. In: Workshop of logic; language; information and computation. Brasil.
  78. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Eugenio Akihiro NASSU. 2003. Consultas envolvendo "aqui" em sistemas de bancos de dados em ambientes de computação nômade. In: Workshop de computação móvel e comunicação sem fio (wcsf2003). Brasil.
  79. Social Sciences & Humanities Language and Linguistics
    Marcelo FINGER; Rogério FAJARDO. 2002. Non-normal modalisation. In: Advances in modal logic. França.
  80. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Renata WASSERMANN. 2002. Logic for approximate reasoning:approximating classical logic from. In: 16o simpósio brasileiro de inteligência artificial. Brasil.
  81. Social Sciences & Humanities Psychology (miscellaneous)
    Marcelo FINGER; Renata WASSERMANN. 2002. Approximate reasoning. In: 56o seminário brasileiro de análise. Brasil.
  82. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Wagner DIAS. 2002. Implementações de tableaux para raciocínio aproximado. In: 1o workshop de teses e dissertações em inteligência artificial. Brasil.
  83. Social Sciences & Humanities Psychology (miscellaneous)
    Marcelo FINGER; Renata WASSERMANN. 2002. Expressivity and control in limited reasoning. In: 15th european conference on artificial intelligence (ecai02). Brasil.
  84. Social Sciences & Humanities Psychology (miscellaneous)
    Marcelo FINGER; Renata WASSERMANN. 2001. Tableaux for approximate reasoning. In: Ijcai-2001 workshop on inconsistency in data and knowledge. Estados Unidos.
  85. Social Sciences & Humanities Psychology (miscellaneous)
    Marcelo FINGER; Renata WASSERMANN. 2001. Approximate reasoning and paraconsistency. In: 8th workshop on logic; language; information and computation (wollic'2001). Brasil.
  86. Social Sciences & Humanities Education
    Marcelo FINGER; Helena BRITTO; Charlotte GALVES. 2000. Computational and linguistic aspects of the construction of the tycho brahe parsed corpus of historical portuguese. In: 1st freiburg workshop on romance corpus linguistics. Brasil.
  87. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2000. Algorithmic correspondence theory for substructural categorial logic. In: Algorithmic correspondence theory for substructural categorial logic. Alemanha.
  88. Physical Sciences Artificial Intelligence
    Marcelo FINGER; M Angela WEISS. 2000. The unrestricted addition of a temporal dimension to a logic system. In: 3rd international conference on temporal logic (ictl). Alemanha.
  89. Life Sciences Cognitive Neuroscience
    Marcelo FINGER. 2000. Técnicas de otimização da precisão empregadas no etiquetador tycho brahe. In: V encontro para o processamento computacional da língua portuguesa escrita e falada (propor2000). Brasil.
  90. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER. 2000. Infinite slake-tableaux. In: 7th workshop on logic; language; information and computation (wollic2000). Brasil.
  91. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Wamberto VASCONCELOS. 2000. Sharing resource-sensitive knowledge using combinator logics. In: Simpósio brasileiro de inteligência artificial (sbia2000). Brasil.
  92. Social Sciences & Humanities Language and Linguistics
    Marcelo FINGER; Helena BRITTO. 1999. Constructing a parsed corpus of historical portuguese. In: Ach-allc'99 internationalhumanities computing conference. Estados Unidos.
  93. Social Sciences & Humanities Linguistics and Language
    Carlos Daniel Chacur ALVES; Marcelo FINGER. 1999. Etiquetagem do português clássico baseada em córpora. In: Iv encontro para o processamento computacional da língua portuguesa escrita e falada (propor99). Portugal.
  94. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; Flavio Correa Da SILVA. 1998. Temporal data obsolescence: modelling problems. In: 5th international workshop of temporal representation and reasoning (time98). Estados Unidos.
  95. Social Sciences & Humanities Language and Linguistics
    Marcelo FINGER. 1998. Tagging a morphologically rich language: the construction of the tycho brahe corpus of historical portuguese. In: International workshop on text; speech and dialog (tsd98). República Tcheca.
  96. Social Sciences & Humanities Language and Linguistics
    Marcelo FINGER. 1998. Structurally-free theorem proving and the learning of structural permissions in categorial grammar. In: 4th workshop on logical aspects of computational linguistics (lacl98). França.
  97. Physical Sciences Computer Science (miscellaneous)
    Eduardo Soler MESQUITA; Marcelo FINGER. 1998. Projeto de dados em bancos de dados distribuídos. In: Xiii simpósio brasileiro de banco de dados (sbbd98). Brasil.
  98. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Mark REYNOLDS. 1997. Two-dimensional executable logic for bitemporal databases. In: 2nd international conference on temporal logic (ictl'97). Brasil.
  99. Physical Sciences Mathematics (miscellaneous)
    Marcelo FINGER. 1997. Structural equations and complex combinators. In: {4th internation workshop of logic; language; information and computation (wollic'97). Brasil.
  100. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Peter MCBRIEN. 1997. Concurrency control for perceivedly instantaneous transactions in valid-time databases. In: Proceeding of the 4th international workshop on temporal representation and reasoning (time'97). Brasil.
  101. Physical Sciences Computer Science Applications
    Marcelo FINGER; Peter MCBRIEN. 1996. On the semantics of 'current-time' in temporal databases. In: Xi brazilian database symposium (sbbd96). Brasil.
  102. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Alessandra RUSSO; Krysia BRODA. 1996. Lds-natural deduction for substructural logics. In: 3rd workshop on logic; language; information and computation (wollic96). Brasil.
  103. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER; Ruth KEMPSON; Rodger KIBBLE. 1996. Parsing natural language using lds: a prototype. In: 3rd workshop on logic; language; information and computation (wollic96). Brasil.
  104. Social Sciences & Humanities Education
    Marcelo FINGER; Krysia BRODA. 1995. Ke-tableaux and a fragmento of linear logic. In: Proceedings of the 4th international workshop on analytic tableaux and related methods. Brasil.
  105. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER. 1994. Notes on several methods for combining temporal logics. In: Workshop on combining structures; logics and theories; european summer school of logic; language and information (esslli94). Brasil.
  106. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Michael FISHER; Richard OWENS. 1994. Metatem at work: modelling reactive systems using temporal logics. In: Sixth international conference on industrial and engineering applications of artificial intelligence and expert systems. Brasil.
  107. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Dov GABBAY. 1992. Updating atomic information in labelled database systems. In: 4th international conference on database theory. Brasil.
  108. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Peter MCBRIEN; Richard OWENS. 1991. Databases and executable temporal logic. In: Annual esprit conference. Brasil.
  1. Physical Sciences Chemistry (miscellaneous)
    Berti Larissa CRISTINA; Spazzapan Evelyn ALVES; Queiroz MARCELO; Pereira Pedro LEYTON; Fernandes Svartman Flaviane ROMANI et al. 2023. Fundamental frequency related parameters in brazilians with covid-19. Journal of the acoustical society of america. 153, 576-585.
  2. Physical Sciences Artificial Intelligence
    Salvatore Felipe De SOUZA; Marcelo FINGER; Hirata ROBERTO; Patriota Alexandre G. 2023. A resampling-based method to evaluate nli models. Natural language engineering. 1, 1-28.
  3. Social Sciences & Humanities Social Sciences (miscellaneous)
    De Souza Jackson JOSÉ; Marcelo FINGER; De Araújo Jorge Alberto A; Maranhão JULIANO. 2023. Selecting and ranking leading cases in brazilian supreme court decisions. Knowledge engineering review. 38, e7-.
  4. Physical Sciences Artificial Intelligence
    Preto SANDRO; Marcelo FINGER. 2022. Efficient representation of piecewise linear functions into -ukasiewicz logic modulo satisfiability. Mathematical structures in computer science. 32, 1-26.
  5. Physical Sciences Computer Science (miscellaneous)
    Preto SANDRO; Marcelo FINGER. 2022. Proving properties of binary classification neural networks via -ukasiewicz logic. Logic journal of the igpl. 06, jzac050-.
  6. Physical Sciences Artificial Intelligence
    Preto SANDRO; Fermé EDUARDO; Marcelo FINGER. 2022. Coherence of probabilistic constraints on nash equilibria. Journal of the brazilian computer society (online). 28, 38-51.
  7. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER. 2021. Inteligência artificial e os rumos do processamento do português brasileiro. Estudos avançados (online). 35, 51-72.
  8. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Preto SANDRO. 2020. Probably partially true: satisfiability for -ukasiewicz infinitely-valued probabilistic logic and related topics. Journal of automated reasoning. 1, 1-20.
  9. Physical Sciences Computer Science (miscellaneous)
    Preto SANDRO; Marcelo FINGER. 2020. An efficient algorithm for representing piecewise linear functions into logic. Electronic notes in theoretical computer science. 351, 167-186.
  10. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2019. Quantitative logic reasoning. Arxiv e-prints. 1905.05665, 1-40.
  11. Physical Sciences Computer Science (miscellaneous)
    Michel OLEYNIK; Diogo Fernandez Da Costa PATRÃO; Marcelo FINGER. 2018. Automated classification of semi-structured pathology reports into {icd-o} using {svm} in portuguese. Studies in health technology and informatics. 1, 1-.
  12. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Godo LLUIS; Prade HENRI; Qi GUILIN. 2017. Advances in weighted logics for artificial intelligence. International journal of approximate reasoning. 88, 385-386.
  13. Physical Sciences Artificial Intelligence
    Michel OLEYNIK; Diogo Ferreira Da Costa PATRÃO; Marcelo FINGER. 2017. Automated classification of semi-structured pathology reports into icd-o using svm in portuguese. Studies in health technology and informatics. 235, 256-260.
  14. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Glauber De BONA. 2015. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of mathematics and artificial intelligence. 1, 1-30.
  15. Physical Sciences Mathematics (miscellaneous)
    Glauber De BONA; Marcelo FINGER. 2015. Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation. Artificial intelligence (general ed.). 227, 140-164.
  16. Physical Sciences Artificial Intelligence
    Bona Glauber DE; Cozman Fabio G; Marcelo FINGER. 2015. Generalized probabilistic satisfiability through integer programming. Journal of the brazilian computer society (impresso). 21, 11-.
  17. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Kesner DELIA. 2015. Special issue: selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (lsfa). Theoretical computer science. 606, 1-.
  18. Physical Sciences Artificial Intelligence
    Michel OLEYNIK; Diogo Ferreira Da Costa PATRÃO; Marcelo FINGER. 2015. Automated classification of pathology reports. Studies in health technology and informatics. 216, 1040-.
  19. Physical Sciences Artificial Intelligence
    Glauber De BONA; Cozman Fabio GAGLIARDI; Marcelo FINGER. 2014. Towards classifying propositional probabilistic logics. Journal of applied logic. 12, 349-368.
  20. Life Sciences Neuroscience (miscellaneous)
    Alexandre ARRUDA; Marcelo FINGER. 2013. Completeness for cut-based abduction. Logic journal of the igpl (print). 21, 1-.
  21. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Reis POLIANA. 2013. On the predictability of classical propositional logic. Information. 4, 60-74.
  22. Social Sciences & Humanities Psychology (miscellaneous)
    Marcello D AGOSTINO; Marcelo FINGER; Gabbay DOV. 2013. Semantics and proof-theory of depth bounded boolean logics. Theoretical computer science. 480, 43-68.
  23. Physical Sciences Biomedical Engineering
    Marcelo FINGER. 2012. Towards automated first-order abduction: the cut-based approach. Logic journal of the igpl (print). 20, 370-387.
  24. Social Sciences & Humanities Philosophy
    Araújo Anderson DE; Marcelo FINGER. 2012. Classical and quantum satisfiability. Electronic proceedings in theoretical computer science. 81, 79-84.
  25. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2010. Analytic methods for the logic of proofs. Journal of logic and computation (print). 20, 167-188.
  26. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Germano Capistrano BEZERRA; Danilo Mateus Rubio CONDE. 2010. Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and computation. practice & experience. 22, 295-313.
  27. Physical Sciences Computer Science (miscellaneous)
    Da Silva E Silva Francisco JOSÉ; Kon FABIO; Goldman ALFREDO; Marcelo FINGER; De Camargo Raphael Y et al. 2010. Application execution management on the integrade opportunistic grid middleware. Journal of parallel and distributed computing (print). 70, 573-583.
  28. Social Sciences & Humanities Psychology (miscellaneous)
    D Agostino M; Marcelo FINGER; Dov GABBAY. 2008. Cut-based abduction. Logic journal of the igpl. 16, 537-560.
  29. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER; Guilherme RABELLO. 2008. Approximations of modal logics: k and beyond. Annals of pure and applied logic. 152, 161-173.
  30. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Renata WASSERMANN. 2007. Anytime approximations of classical logic from above. Journal of logic and computation. 17, 53-82.
  31. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Dov GABBAY. 2007. Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic journal of the igpl. 15, 553-575.
  32. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Wassermann R. 2006. The universe of propositional approximations. Theoretical computer science. 355, (2) 153-166.
  33. Social Sciences & Humanities Economics, Econometrics and Finance (miscellaneous)
    Marcelo FINGER; Gabbay DOV. 2006. Cut and pay. Journal of logic; language and information. 15, 195-218.
  34. Social Sciences & Humanities Psychology (miscellaneous)
    Marcelo FINGER; Renata WASSERMANN. 2004. Approximate and limited reasoning: semantics; proof theory; expressivity and control. Journal of logic and computation (print). 14, (2) 179-204.
  35. Physical Sciences Computer Science Applications
    Goldchleger ANDREI; Kon FABIO; Goldman ALFREDO; Marcelo FINGER; Bezerra Germano CAPISTRANO. 2004. Integrade: object-oriented grid middleware leveraging the idle computing power of desktop machines. Concurrency and computation. practice & experience. 16, 449-459.
  36. Social Sciences & Humanities Linguistics and Language
    Broda S; Luís DAMAS; Marcelo FINGER; Paulo José Da Silva E SILVA. 2004. The decidability of a fragment of -logic. Theoretical computer science. 318, (3) 373-408.
  37. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Flavio Correa Da SILVA; Wamberto VASCONCELOS; David ROBERTSON; Virginia BRILHANTE et al. 2002. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-based systems. 15, (3) 147-167.
  38. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; M Angela WEISS. 2002. The unrestricted combination of temporal logic systems. Logic journal of the igpl (print). 10, (1) 165-189.
  39. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER. 2000. A logical reconstruction of temporal databases. Journal of logic and computation (print). 10, (6) 847-876.
  40. Physical Sciences Artificial Intelligence
    Broda K; Marcelo FINGER; Alessandra RUSSO. 1999. Labelled natural deduction for substructural logics. Logic journal of the igpl. 7, (3) 283-318.
  41. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 1998. Towards structurally-free theorem proving. Logic journal of the igpl. 6, (3) 425-449.
  42. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Dov GABBAY; Ruth KEMPSON; Rodger KIBBLE. 1997. Parsing natural language using lds: a prototype. Logic journal of the igpl -- the interest group in pure and applied logics. 5, (5) 647-671.
  43. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Dov GABBAY. 1996. Combining temporal logic systems. Notre dame journal of formal logic. 37, (2) 204-232.
  44. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Gabbay Dov M. 1992. Adding a temporal dimension to a logic system. Journal of logic; language and information. 1, 203-233.
  45. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 1992. Handling database updates in two-dimensional temporal logic. Journal of applied non-classical logic. Brasil. 2, (2) 201-224.
  1. Physical Sciences Computer Science (miscellaneous)
    Gauy Marcelo MATHEUS; Larissa C BERTI; Arnaldo Candido JR; Augusto C Camargo NETO; Alfredo GOLDMAN et al. 2023. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. In: Lecture notes in computer science. Brasil.
  2. Social Sciences & Humanities Education
    Marcelo FINGER. 2021. Quando se compra inteligência artificial; o que de fato se leva para casa? além do ?oba-oba?. In: Inteligência artificial: avanços e tendências. Brasil.
  3. Health Sciences Medicine (miscellaneous)
    Marcelo FINGER; Sandra Maria ALUÍSIO; Evelyn Alves SPAZZAPAN; Larissa C BERTI; Augusto C Camargo NETO et al. 2021. Detecting respiratory insufficiency by voice analysis: the spira project. In: Acoustic communication: an interdisciplinary approach. Brasil.
  4. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2020. Logic in times of big data. In: A true polymath -- a tribute to francisco antonio doria. Grã-Bretanha.
  5. Social Sciences & Humanities Psychology (miscellaneous)
    De Souza Jackson JOSÉ; Marcelo FINGER. 2020. Robust ranking of brazilian supreme court decisions. In: Lecture notes in computer science. Brasil.
  6. Physical Sciences Mathematics (miscellaneous)
    Marcelo FINGER. 2019. Extending ℰℒ++ with linear constraints on the probability of axioms. In: Description logic; theory combination; and all that. lecture notes in computer science; vol 11560. Brasil.
  7. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Glauber De BONA; Matthias THIMM; Nico POTYKA. 2018. Inconsistency measurement in probabilistic logic. In: Measuring inconsistency in information. studies in logic volume 73. Brasil.
  8. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER; Preto SANDRO. 2018. Probably half true: probabilistic satisfiability over ¿ukasiewicz infinitely-valued logic. In: Lecture notes in computer science. Brasil.
  9. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2018. Quantitative logic reasoning. In: Trends in logic. Brasil.
  10. Physical Sciences Artificial Intelligence
    Anderson ARAUJO; Marcelo FINGER. 2011. On the logical relativity of quantum computability. In: Logic without frontiers: festschrift for walter alexandre carnielli on the occasion of his 60th birthday. Brasil.
  11. Life Sciences Neuroscience (miscellaneous)
    Marcelo FINGER. 2005. Dag sequent proofs with a substitution rule. In: We will show them -- essays in honour of dov gabbay's 60th birthday. Brasil.
  12. Physical Sciences Artificial Intelligence
    Marcelo FINGER. 2002. When is a substructural logic paraconsistent?. In: Paraconsistency; the logical way to inconsistency -- essays in hobour of newton da costa's 70th birthday. Brasil.
  13. Physical Sciences Computer Science (miscellaneous)
    Marcelo FINGER; Mark REYNOLDS; Dov GABBAY. 2001. Advanced tense logic. In: Handbook of philosophical logic. Inglaterra.
  14. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Mark REYNOLDS. 1998. Imperative history: two-dimensional executable temporal logic. In: Logic; language and reasoning essays in honour of dov gabbay. Brasil.
  1. Physical Sciences Artificial Intelligence
    Marcelo FINGER; Clare DIXON. 2017. Frontiers of combining systems 11th international symposium; frocos 2017; brasília; brazil; september 27-29; 2017; proceedings. Brasil.
  2. Physical Sciences Artificial Intelligence
    Flavio Correa Da SILVA; Marcelo FINGER; Ana Cristina Vieira De MELO. 2006. Lógica para computação. Brasil.
  3. Social Sciences & Humanities Linguistics and Language
    Marcelo FINGER; Mark REYNOLDS; Claire DIXON; Michael FISHER. 2001. Amai journal - special issue on temporal representation and reasoning. Estados Unidos.
  4. Social Sciences & Humanities Psychology (miscellaneous)
    Dov GABBAY; Marcelo FINGER; Mark REYNOLDS. 2000. Temporal logic:mathematical foudations and computtional aspects; volume ii. Grã-Bretanha.
  5. Physical Sciences Mathematics (miscellaneous)
    Joao Eduardo FERREIRA; Marcelo FINGER. 2000. Controle de concorrência e distribuição de dados: a teoria clássica; suas limitações e extensões modernas. Brasil.