| Temporal logic: mathematical foundations and computational aspects DM Gabbay, I Hodkinson, M Reynolds, M Finger Clarendon Press 1, 653, 1994 | 986* | 1994 |
| Adding a temporal dimension to a logic system M Finger, DM Gabbay Journal of Logic, Language and Information 1 (3), 203-233, 1992 | 307 | 1992 |
| InteGrade: object‐oriented Grid middleware leveraging the idle computing power of desktop machines A Goldchleger, F Kon, A Goldman, M Finger, GC Bezerra Concurrency and Computation: Practice and Experience 16 (5), 449-459, 2004 | 244 | 2004 |
| Combining temporal logic systems M Finger, D Gabbay Notre Dame Journal of Formal Logic 37 (2), 204-232, 1996 | 104 | 1996 |
| On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions FSC Da Silva, WW Vasconcelos, DS Robertson, V Brilhante, ... Knowledge-Based Systems 15 (3), 147-167, 2002 | 83 | 2002 |
| Lógica para computação FSC da Silva, M Finger, ACV de Melo Cengage Learning Edições Ltda., 2017 | 73* | 2017 |
| The lacio-web project: overview and issues in brazilian protuguese corpora creation SM Aluísio, GM Pinheiro, M Finger, MGV Nunes, SEO Tagnin Proceedings, 2003 | 68 | 2003 |
| Semantics and proof-theory of depth bounded Boolean logics M D’Agostino, M Finger, D Gabbay Theoretical Computer Science 480, 43-68, 2013 | 60 | 2013 |
| Probabilistic satisfiability: Logic-based algorithms and phase transition M Finger, G De Bona Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 58 | 2011 |
| Metatem at work: Modelling reactive systems using executable temporal logic M Finger, M Fisher, R Owens Sixth International Conference on Industrial and Engineering Applications of …, 1993 | 45 | 1993 |
| Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation G De Bona, M Finger Artificial Intelligence 227, 140-164, 2015 | 40 | 2015 |
| Handling database updates in two-dimensional temporal logic M Finger Journal of Applied Non-Classical Logics 2 (2), 201-224, 1992 | 31 | 1992 |
| Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. E Casanova, A Candido Jr, RCF Junior, M Finger, LRS Gris, MA Ponti, ... Interspeech, 446-450, 2021 | 30 | 2021 |
| Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention FF Luz, M Finger arXiv preprint arXiv:1803.04329, 2018 | 30 | 2018 |
| Cut and pay M Finger, D Gabbay Journal of Logic, Language and Information 15 (3), 195-218, 2006 | 30 | 2006 |
| Approximate and limited reasoning: Semantics, proof theory, expressivity and control M Finger, R Wasserman Journal of Logic and Computation 14 (2), 179-204, 2004 | 30 | 2004 |
| Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe M Finger Proceedings of PROPOR, Sao Paulo, 141-154, 2000 | 28 | 2000 |
| Labelled natural deduction for substructural logics K Broda, M Finger, A Russo Logic Journal of the IGPL 7 (3), 283-318, 1999 | 28 | 1999 |
| The unrestricted combination of temporal logic systems M Finger, MA Weiss Logic Journal of IGPL 10 (2), 165-189, 2002 | 27 | 2002 |
| Non-normal Modalisation. R Fajardo, M Finger Advances in Modal Logic 4, 83-95, 2002 | 27* | 2002 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
