Marcelo Finger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

39EEMarcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde: Resource use pattern analysis for opportunistic grids. MGC 2008: 8
38EEMarcelo Finger, Renata Wassermann: Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166
37EEGuilherme de Souza Rabello, Marcelo Finger: Approximations of modal logics: K and beyond. Ann. Pure Appl. Logic 152(1-3): 161-173 (2008)
36EEMarcelo Finger, Renata Wassermann: Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007)
35EEMarcelo Finger, Dov M. Gabbay: Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL 15(5-6): 553-575 (2007)
34EEFábio Natanael Kepler, Marcelo Finger: Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA 2006: 482-491
33EEAdolfo Gustavo Serra Seca Neto, Marcelo Finger: Effective Prover for Minimal Inconsistency Logic. IFIP AI 2006: 465-474
32EEFábio Natanael Kepler, Marcelo Finger: Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR 2006: 248-251
31EEGuilherme de Souza Rabello, Marcelo Finger: Approximations of Modal Logic K. Electr. Notes Theor. Comput. Sci. 143: 171-184 (2006)
30EEMarcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)
29EEMarcelo Finger, Renata Wassermann: The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006)
28 Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger: Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO 2005: 479-485
27 Rogerio Fajardo, Marcelo Finger: How Not to Combine Modal Logics. IICAI 2005: 1629-1647
26 Marcelo Finger: DAG Sequents with Substitution. We Will Show Them! (1) 2005: 671-686
25EEMarcelo Finger: Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA 2004: 526-538
24EEMarcelo Finger: Towards Polynomial Approximations of Full Propositional Logic. SBIA 2004: 11-20
23EEAndrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra: InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurrency - Practice and Experience 16(5): 449-459 (2004)
22EEMarcelo Finger, Renata Wassermann: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004)
21EESabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva: The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. 318(3): 373-408 (2004)
20 Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger: InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Middleware Workshops 2003: 232-234
19EEMarcelo Finger, Renata Wassermann: The Universe of Approximations. Electr. Notes Theor. Comput. Sci. 84: (2003)
18 Rogerio Fajardo, Marcelo Finger: Non-normal Modalisation. Advances in Modal Logic 2002: 83-96
17 Marcelo Finger, Renata Wassermann: Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276
16EEMarcelo Finger, Renata Wassermann: Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30
15EEFlá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: On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl.-Based Syst. 15(3): 147-167 (2002)
14EEMarcelo Finger, M. Angela Weiss: The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL 10(2): 165-189 (2002)
13 Marcelo Finger: Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic 2000: 153-172
12EEMarcelo Finger, Wamberto Weber Vasconcelos: Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA 2000: 196-206
11EEMarcelo Finger: A logical reconstruction of temporal databases. J. Log. Comput. 10(6): 847-876 (2000)
10EEKrysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
9EEMarcelo Finger: Computational Solutions for Structural Constraints. LACL 1998: 11-30
8EEMarcelo Finger, Flávio S. Corrêa da Silva: Temporal Data Obsolescence: Modelling Problems. TIME 1998: 45-50
7EEMarcelo Finger: Towards Structurally-Free Theorem Proving. Logic Journal of the IGPL 6(3): 425-449 (1998)
6EERuy J. G. B. de Queiroz, Marcelo Finger: Conference Report: Wollic'98. Logic Journal of the IGPL 6(6): 917-918 (1998)
5EEMarcelo Finger, Peter McBrien: Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. TIME 1997: 112-118
4EEMarcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson: Parsing Natural Language using LDS: A Prototype. Logic Journal of the IGPL 5(5): (1997)
3 Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37(2): 204-232 (1996)
2EEMarcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
1 Marcelo Finger: Handling database updates in two-dimensional temporal logic. Journal of Applied Non-Classical Logics 2(2): (1992)

Coauthor Index

1Jaume Agustí-Cullell [15]
2Leliane Nunes de Barros [28]
3Germano Capistrano Bezerra [23] [39]
4Virgínia V. B. Biris Brilhante [15]
5Krysia Broda [10]
6Sabine Broda [21]
7Danilo R. Conde [39]
8Luís Damas [21]
9Rogerio Fajardo [18] [27]
10Dov M. Gabbay [2] [3] [4] [30] [35]
11Andrei Goldchleger [20] [23]
12Alfredo Goldman (Alfredo Goldman vel Lejbman) [20] [23]
13Ruth Kempson [4]
14Fábio Natanael Kepler [32] [34]
15Rodger Kibble [4]
16Fabio Kon [20] [23]
17Peter McBrien [5]
18Ana Cristina Vieira de Melo [15] [28]
19Adolfo Gustavo Serra Seca Neto [33]
20Ruy J. G. B. de Queiroz [6]
21Guilherme de Souza Rabello [31] [37]
22David Stuart Robertson [15]
23Alessandra Russo [10]
24Flávio S. Corrêa da Silva [8] [15] [28]
25Paulo Silva e Silva [21]
26Wamberto Weber Vasconcelos [12] [15]
27Renata Wassermann [16] [17] [19] [22] [28] [29] [36] [38]
28M. Angela Weiss [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)