Marcelo Finger

125 papers A* 3A 5B 4C 6Journal 61Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Statistical Invariance vs. AI Safety: Why Prompt Filtering Fails Against Contextual Attacks. J. Braz. Comput. Soc. Aline R. Ioste, Sarajane Marques Peres, Marcelo Finger
2025	J	`jnl`	Análise e Classificação Automática de Domínios Discursivos no Português do Brasil. Linguamática Felipe Ribas Serras, Miguel de Mello Carpi, Mariana Lourenço Sturzeneker, Mayara Feliciano Palma, Aline Silva Costa, Vanessa Martins do Monte, Cristiane Namiuti, Maria Clara Ramos Morales Crespo, Maria Clara Paixão de Sousa, Marcelo Finger
2025	J	`jnl`	Fine-tuning Pre-trained Audio Models for COVID-19 Detection: A Technical Report. CoRR Daniel Oliveira de Brito, Letícia Gabriella de Souza, Marcelo Matheus Gauy, Marcelo Finger, Arnaldo Cândido Jr.
2025	J	`jnl`	Large Language Models as Medical Codes Selectors: a benchmark using the International Classification of Primary Care. CoRR Vinicius Anjos de Almeida, Vinicius de Camargo, Raquel Gómez-Bravo, Egbert J. van der Haring, Kees van Boven, Marcelo Finger, Luis Fernandez Lopez
2025	—	`conf`	Making a Pipeline Production-Ready: Challenges and Lessons Learned in the Healthcare Domain. ECSA (Tracks and Workshops) Daniel Angelo Esteves Lawand, Lucas Quaresma Medina Lam, Roberto Oliveira Bolgheroni, Renato Cordeiro Ferreira, Alfredo Goldman, Marcelo Finger
2025	J	`jnl`	Making a Pipeline Production-Ready: Challenges and Lessons Learned in the Healthcare Domain. CoRR Daniel Angelo Esteves Lawand, Lucas Quaresma Medina Lam, Roberto Oliveira Bolgheroni, Renato Cordeiro Ferreira, Alfredo Goldman, Marcelo Finger
2025	J	`jnl`	Nash meets Łukasiewicz: computing equilibria through logic. J. Log. Comput. Sandro Preto, Marcelo Finger
2025	J	`jnl`	Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. J. Log. Comput. Marcelo Finger, Sandro Preto
2024	J	`jnl`	A resampling-based method to evaluate NLI models. Nat. Lang. Eng. Felipe de Souza Salvatore, Marcelo Finger, Roberto Hirata, Alexandre G. Patriota
2024	J	`jnl`	Contrasting Deep Learning Models for Direct Respiratory Insufficiency Detection Versus Blood Oxygen Saturation Estimation. CoRR Marcelo Matheus Gauy, Natalia Hitomi Koza, Ricardo Mikio Morita, Gabriel Rocha Stanzione, Arnaldo Cândido Júnior, Larissa Cristina Berti, Anna Sara Shafferman Levin, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
2024	J	`jnl`	Discriminant audio properties in deep learning based respiratory insufficiency detection in Brazilian Portuguese. CoRR Marcelo Matheus Gauy, Larissa Cristina Berti, Arnaldo Cândido Jr., Augusto Camargo Neto, Alfredo Goldman, Anna Sara Shafferman Levin, Marcus Martins, Beatriz Raposo de Medeiros, Marcelo Queiroz, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
2024	—	`conf`	Exploring Computational Discernibility of Discourse Domains in Brazilian Portuguese within the Carolina Corpus. PROPOR (1) Felipe Ribas Serras, Mariana Sturzeneker, Miguel de Mello Carpi, Mayara Feliciano Palma, Maria Clara Ramos Morales Crespo, Aline Silva Costa, Vanessa Martins do Monte, Cristiane Namiuti, Maria Clara Paixão de Souza, Marcelo Finger
2024	J	`jnl`	PeLLE: Encoder-based language models for Brazilian Portuguese based on open data. CoRR Guilherme Lamartine de Mello, Marcelo Finger, Felipe R. Serras, Miguel de Mello Carpi, Marcos M. José, Pedro Henrique Domingues, Paulo Cavalim
2024	—	`conf`	Regional, Lattice and Logical Representations of Neural Networks. LSFA Sandro Preto, Marcelo Finger
2023	J	`jnl`	Acoustic models of Brazilian Portuguese Speech based on Neural Transformers. CoRR Marcelo Matheus Gauy, Marcelo Finger
2023	—	`conf`	Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. ISMVL Sandro Preto, Felip Manyà, Marcelo Finger
2023	J	`jnl`	Carolina: a General Corpus of Contemporary Brazilian Portuguese with Provenance, Typology and Versioning Information. CoRR Maria Clara Ramos Morales Crespo, Maria Lina de Souza Jeannine Rocha, Mariana Lourenço Sturzeneker, Felipe Ribas Serras, Guilherme Lamartine de Mello, Aline Silva Costa, Mayara Feliciano Palma, Renata Morais Mesquita, Raquel de Paula Guets, Mariana Marques da Silva, Marcelo Finger, Maria Clara Paixão de Sousa, Cristiane Namiuti, Vanessa Martins do Monte
2023	B	`conf`	Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. AIME Marcelo Matheus Gauy, Larissa Cristina Berti, Arnaldo Cândido Jr., Augusto Camargo Neto, Alfredo Goldman, Anna Sara Shafferman Levin, Marcus Martins, Beatriz Raposo de Medeiros, Marcelo Queiroz, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
2023	—	`ch.`	Effective Reasoning over Neural Networks Using Łukasiewicz Logic. Compendium of Neurosymbolic Artificial Intelligence Sandro Preto, Marcelo Finger
2023	—	`conf`	Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. ISMVL Sandro Preto, Felip Manyà, Marcelo Finger
2023	J	`jnl`	Proving properties of binary classification neural networks via Łukasiewicz logic. Log. J. IGPL Sandro Preto, Marcelo Finger
2023	J	`jnl`	Selecting and ranking leading cases in Brazilian Supreme Court decisions. Knowl. Eng. Rev. Jackson José de Souza, Marcelo Finger, Jorge Alberto A. de Araújo, Juliano Maranhão
2022	J	`jnl`	Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. CoRR Marcelo Matheus Gauy, Marcelo Finger
2022	—	`conf`	Carolina's Methodology: building a large corpus with provenance and typology information. DHandNLP@PROPOR Mariana Sturzeneker, Maria Clara Crespo, Maria Lina Rocha, Marcelo Finger, Maria Clara Paixão de Sousa, Vanessa Martins do Monte, Cristiane Namiuti
2022	J	`jnl`	Coherence of probabilistic constraints on Nash equilibria. CoRR Sandro Preto, Eduardo Fermé, Marcelo Finger
2022	J	`jnl`	Coherence of probabilistic constraints on Nash equilibria. J. Braz. Comput. Soc. Sandro Preto, Eduardo Fermé, Marcelo Finger
2022	J	`jnl`	Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. CoRR Aline R. Ioste, Alan M. Durham, Marcelo Finger
2022	J	`jnl`	Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Math. Struct. Comput. Sci. Sandro Preto, Marcelo Finger
2022	J	`jnl`	Interpretability Analysis of Deep Models for COVID-19 Detection. CoRR Daniel Peixoto Pinto da Silva, Edresson Casanova, Lucas Rafael Stefanel Gris, Arnaldo Cândido Júnior, Marcelo Finger, Flaviane Romani Fernandes Svartman, Beatriz Raposo de Medeiros, Marcus Vinícius Moreira Martins, Sandra Maria Aluísio, Larissa Cristina Berti, João Paulo Teixeira
2022	—	`conf`	Pretrained Audio Neural Networks for Speech Emotion Recognition in Portuguese. SE&R@PROPOR Marcelo Matheus Gauy, Marcelo Finger
2022	J	`jnl`	Pretrained audio neural networks for Speech emotion recognition in Portuguese. CoRR Marcelo Matheus Gauy, Marcelo Finger
2022	J	`jnl`	verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. CoRR Felipe R. Serras, Marcelo Finger
2021	—	`conf`	Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. STIL Marcelo Matheus Gauy, Marcelo Finger
2021	—	`conf`	Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech. ACL/IJCNLP (Findings) Edresson Casanova, Lucas Gris, Augusto Camargo Neto, Daniel Peixoto Pinto da Silva, Murilo Gazzola, Ester C. Sabino, Anna Levin, Arnaldo Cândido Jr., Sandra M. Aluísio, Marcelo Finger
2021	A	`conf`	Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. Interspeech Edresson Casanova, Arnaldo Cândido Jr., Ricardo Corso Fernandes Junior, Marcelo Finger, Lucas Rafael Stefanel Gris, Moacir Antonelli Ponti, Daniel Peixoto Pinto da Silva
2021	—	`conf`	verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. STIL Felipe R. Serras, Marcelo Finger
2020	—	`conf`	An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. LSFA Sandro Preto, Marcelo Finger
2020	J	`jnl`	Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. J. Autom. Reason. Marcelo Finger, Sandro Preto
2020	—	`conf`	Robust Ranking of Brazilian Supreme Court Decisions. BRACIS Jackson José de Souza, Marcelo Finger
2019	—	`conf`	A logical-based corpus for cross-lingual evaluation. DeepLo@EMNLP-IJCNLP Felipe de Souza Salvatore, Marcelo Finger, Roberto Hirata Jr.
2019	—	`conf`	Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. Description Logic, Theory Combination, and All That Marcelo Finger
2019	J	`jnl`	Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. CoRR Marcelo Finger
2019	J	`jnl`	Quantitative Logic Reasoning. CoRR Marcelo Finger
2019	—	`conf`	Using neural models to perform inference. NeSy@IJCAI Felipe de Souza Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.
2018	A	`conf`	Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. IJCAR Marcelo Finger, Sandro Preto
2018	J	`jnl`	Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. CoRR Fabiano Ferreira Luz, Marcelo Finger
2018	J	`jnl`	Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. CoRR Fabiano Ferreira Luz, Marcelo Finger
2017	J	`jnl`	Advances in Weighted Logics for Artificial Intelligence. Int. J. Approx. Reason. Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi
2017	A*	`conf`	Algorithms for Deciding Counting Quantifiers over Unary Predicates. AAAI Marcelo Finger, Glauber De Bona
2017	—	`ed.`	Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings FroCoS Clare Dixon, Marcelo Finger
2016	A*	`conf`	Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
2015	—	`conf`	Automated Classification of Pathology Reports. MedInfo Michel Oleynik, Marcelo Finger, Diogo F. C. Patrão
2015	J	`jnl`	Generalized probabilistic satisfiability through integer programming. J. Braz. Comput. Soc. Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
2015	J	`jnl`	Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artif. Intell. Glauber De Bona, Marcelo Finger
2015	J	`jnl`	Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Ann. Math. Artif. Intell. Marcelo Finger, Glauber De Bona
2015	J	`jnl`	Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Theor. Comput. Sci. Marcelo Finger, Delia Kesner
2014	J	`jnl`	Completeness for cut-based abduction. Log. J. IGPL Alexandre Matos Arruda, Marcelo Finger
2014	—	`ed.`	Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013 LSFA Maribel Fernández, Marcelo Finger
2014	J	`jnl`	Towards classifying propositional probabilistic logics. J. Appl. Log. Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
2013	—	`conf`	Generalized Probabilistic Satisfiability. BRACIS Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
2013	—	`conf`	Improving CoGrOO: the Brazilian Portuguese Grammar Checker. STIL William D. Colen M. Silva, Marcelo Finger
2013	J	`jnl`	On the Predictability of Classical Propositional Logic. Inf. Marcelo Finger, Poliana M. Reis
2013	—	`conf`	Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann
2013	—	`conf`	Preface. LSFA Maribel Fernández, Marcelo Finger
2013	—	`conf`	Probabilistic Answer Set Programming. BRACIS Eduardo Menezes de Morais, Marcelo Finger
2013	J	`jnl`	Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2013	A	`conf`	Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman
2012	—	`ed.`	Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings SBIA Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho
2012	J	`jnl`	Towards an efficient prover for the C1 paraconsistent logic CoRR Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
2012	J	`jnl`	Towards automated first-order abduction: the cut-based approach. Log. J. IGPL Marcelo Finger
2011	—	`conf`	Classical and quantum satisfiability LSFA Anderson de Araújo, Marcelo Finger
2011	A*	`conf`	Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI Marcelo Finger, Glauber De Bona
2011	—	`conf`	Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese]. STIL Fábio Filocomo, Marcelo Finger, Diogo F. C. Patrão
2011	—	`conf`	Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman
2010	—	`conf`	A Logic Based Algorithm for Solving Probabilistic Satisfiability. IBERAMIA Marcelo Finger, Glauber De Bona
2010	—	`conf`	A Refuted Conjecture on Probabilistic Satisfiability. SBIA Marcelo Finger, Glauber De Bona
2010	J	`jnl`	Analytic Methods for the Logic of Proofs. J. Log. Comput. Marcelo Finger
2010	J	`jnl`	Application execution management on the InteGrade opportunistic grid middleware. J. Parallel Distributed Comput. Francisco José da Silva e Silva, Fabio Kon, Alfredo Goldman, Marcelo Finger, Raphael Y. de Camargo, Fernando Castor Filho, Fábio M. Costa
2010	C	`conf`	Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC Marcelo Finger, Mauricio S. C. Hernandes
2010	J	`jnl`	Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurr. Comput. Pract. Exp. Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde
2010	—	`conf`	Variable-Length Markov Models and Ambiguous Words in Portuguese. NAACL (Young Investigators Workshop) Fábio Natanael Kepler, Marcelo Finger
2009	—	`conf`	Towards an Efficient Prover for the C LSFA Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
2008	J	`jnl`	Approximations of modal logics: K and beyond. Ann. Pure Appl. Log. Guilherme de Souza Rabello, Marcelo Finger
2008	J	`jnl`	Cut-Based Abduction. Log. J. IGPL Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2008	—	`conf`	Resource use pattern analysis for opportunistic grids. MGC Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde
2008	—	`conf`	Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA Marcelo Finger, Renata Wassermann
2008	—	`conf`	Using Abduction to Compute Efficient Proofs. LSFA Marcelo Finger
2007	J	`jnl`	Anytime Approximations of Classical Logic from Above. J. Log. Comput. Marcelo Finger, Renata Wassermann
2007	J	`jnl`	Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Log. J. IGPL Marcelo Finger, Dov M. Gabbay
2006	—	`conf`	Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA Fábio N. Kepler, Marcelo Finger
2006	J	`jnl`	Cut and Pay. J. Log. Lang. Inf. Marcelo Finger, Dov M. Gabbay
2006	—	`conf`	Effective Prover for Minimal Inconsistency Logic. IFIP AI Adolfo Gustavo Serra Seca Neto, Marcelo Finger
2006	—	`conf`	Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR Fábio Natanael Kepler, Marcelo Finger
2006	J	`jnl`	The universe of propositional approximations. Theor. Comput. Sci. Marcelo Finger, Renata Wassermann
2006	—	`conf`	Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. MGC@Middleware José de R. P. Braga Jr., Alexandre Ceasar Tavares Vidal, Fabio Kon, Marcelo Finger
2005	C	`conf`	Approximations of Modal Logic K. WoLLIC Guilherme de Souza Rabello, Marcelo Finger
2005	—	`conf`	DAG Sequents with Substitution. We Will Show Them! (1) Marcelo Finger
2005	—	`conf`	How Not to Combine Modal Logics. IICAI Rogerio Fajardo, Marcelo Finger
2005	C	`conf`	Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
2004	J	`jnl`	Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. Marcelo Finger, Renata Wassermann
2004	J	`jnl`	InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurr. Pract. Exp. Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra
2004	B	`conf`	Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA Marcelo Finger
2004	J	`jnl`	The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
2004	—	`conf`	Towards Polynomial Approximations of Full Propositional Logic. SBIA Marcelo Finger
2003	—	`conf`	InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Middleware Workshops Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger
2003	C	`conf`	The Universe of Approximations. WoLLIC Marcelo Finger, Renata Wassermann
2002	A	`conf`	Expressivity and Control in Limited Reasoning. ECAI Marcelo Finger, Renata Wassermann
2002	—	`conf`	Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA Marcelo Finger, Renata Wassermann
2002	B	`conf`	Non-normal Modalisation. Advances in Modal Logic Rogerio Fajardo, Marcelo Finger
2002	J	`jnl`	On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl. Based Syst. Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell
2002	J	`jnl`	The Unrestricted Combination of Temporal Logic Systems. Log. J. IGPL Marcelo Finger, M. Angela Weiss
2000	J	`jnl`	A logical reconstruction of temporal databases. J. Log. Comput. Marcelo Finger
2000	B	`conf`	Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic Marcelo Finger
2000	—	`conf`	Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA Marcelo Finger, Wamberto Weber Vasconcelos
1999	J	`jnl`	Labelled Natural Deduction for Substructural Logics. Log. J. IGPL Krysia Broda, Marcelo Finger, Alessandra Russo
1998	—	`conf`	Computational Solutions for Structural Constraints. LACL Marcelo Finger
1998	J	`jnl`	Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). Log. J. IGPL Ruy J. G. B. de Queiroz, Marcelo Finger
1998	C	`conf`	Temporal Data Obsolescence: Modelling Problems. TIME Marcelo Finger, Flávio S. Corrêa da Silva
1998	J	`jnl`	Towards Structurally-Free Theorem Proving. Log. J. IGPL Marcelo Finger
1997	C	`conf`	Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. TIME Marcelo Finger, Peter McBrien
1997	J	`jnl`	Parsing Natural Language using LDS: A Prototype. Log. J. IGPL Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson
1996	J	`jnl`	Combining Temporal Logic Systems. Notre Dame J. Formal Log. Marcelo Finger, Dov M. Gabbay
1992	J	`jnl`	Adding a temporal dimension to a logic system. J. Log. Lang. Inf. Marcelo Finger, Dov M. Gabbay
1992	J	`jnl`	Handling database updates in two-dimensional temporal logic. J. Appl. Non Class. Logics Marcelo Finger
1992	A	`conf`	Updating Atomic Information in Labelled Database Systems. ICDT Marcelo Finger, Dov M. Gabbay