Mario R. F. Benevides

	2011
33		Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins: Hybrid Logics and NP Graph Properties. WoLLIC 2011: 123-134
32		Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana: Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electr. Notes Theor. Comput. Sci. 269: 95-107 (2011)
31		Mario R. F. Benevides, L. Menasché Schechter: A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412(37): 4946-4966 (2011)
	2010
30		Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. Electr. Notes Theor. Comput. Sci. 262: 49-64 (2010)
29		Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado: On vague notions and modalities: a modular approach. Logic Journal of the IGPL 18(3): 381-402 (2010)
	2009
28		Carla A. D. M. Delgado, Mario R. F. Benevides: Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. MATES 2009: 16-28
27		Mario R. F. Benevides, L. Menasché Schechter: CCS-Based Dynamic Logics for Communicating Concurrent Programs CoRR abs/0904.0034: (2009)
26		Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides: Preface. Electr. Notes Theor. Comput. Sci. 247: 1-3 (2009)
25		Mario R. F. Benevides, L. Menasché Schechter: Product of Graphs and Hybrid Logic. Electr. Notes Theor. Comput. Sci. 256: 103-118 (2009)
24		Mario R. F. Benevides, L. Menasché Schechter: Using modal logics to express and check global graph properties. Logic Journal of the IGPL 17(5): 559-587 (2009)
	2008
23		Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini: Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA 2008: 134-144
22		Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97
21		Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008)
20		Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008)
	2007
19		Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso: On Fork Arrow Logic and its Expressive Power. J. Philosophical Logic 36(5): 489-509 (2007)
	2005
18		D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides: Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC 2005: 299-311
17		Vania Costa, Mario R. F. Benevides: Reasoning about Knowledge in Asynchronous Distributed Systems. Logic Journal of the IGPL 13(1): 5-28 (2005)
16		Vania Costa, Mario R. F. Benevides: Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic Journal of the IGPL 13(6): 665-684 (2005)
	2004
15		Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso: On Modalities for Vague Notions. SBIA 2004: 1-10
	2003
14		Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Mediating Heterogeneous Web Services. SAINT 2003: 344-347
13		Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso: Squares in Fork Arrow Logic. J. Philosophical Logic 32(4): 343-355 (2003)
	2002
12		Carla A. D. M. Delgado, Mario R. F. Benevides: Reasoning about Events and Knowledge in Distributed Systems. IC-AI 2002: 1213-1219
11		Vania Costa, Mario R. F. Benevides: A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277
10		Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Building Reliable Web Services Compositions. Web, Web-Services, and Database Systems 2002: 59-72
	2001
9		Valmir C. Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho: A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79(4): 189-195 (2001)
8		Valmir C. Barbosa, Mario R. F. Benevides, Felipe M. G. França: Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34(1): 13-26 (2001)
	2000
7		Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Mechanisms for Specifying Communication Behavior in Object Oriented Database. SAC (1) 2000: 389-397
	1997
6		Mario R. F. Benevides, Marcelo Sihman: Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS 1997: 111-122
	1995
5		Mario R. F. Benevides: Multiple Database Logic. ECSQARU 1995: 28-36
4		Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL: Programming in Modal Action Logic. SBIA 1995: 101-111
	1994
3		Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL - Programming in Modal Action Logic. PLILP 1994: 457-458
	1993
2		Mario R. F. Benevides: Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. Kurt Gödel Colloquium 1993: 120-131
	1992
1		Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)

Coauthor Index

1	Valmir C. Barbosa	[8] [9]
2	Michel Carlini	[23]
3	Vania Costa	[11] [16] [17]
4	Carla A. D. M. Delgado	[12] [15] [21] [23] [28] [29]
5	Francicleber Martins Ferreira	[33]
6	Ayru L. Oliveira Filho	[9]
7	Felipe Maia Galvão França (Felipe M. G. França)	[8]
8	Cibele Matos Freire	[33]
9	Renata P. de Freitas	[13] [15] [19] [29] [32]
10	Edward Hermann Haeusler	[18]
11	Belo Horizonte	[26]
12	Luis Lopes	[21]
13	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1]
14	Ana Teresa C. Martins	[33]
15	Marta Mattoso (Marta L. Queiros Mattoso)	[7] [10] [14]
16	Elaine Pimentel	[26]
17	Paulo F. Pires	[7] [10] [14]
18	Carlos López Pombo (Carlos Gustavo López Pombo)	[21]
19	Ricardo Ribeiro	[21]
20	Odinaldo Rodrigues	[3] [4]
21	L. Menasché Schechter	[20] [22] [24] [25] [27] [30] [31] [33]
22	Marcelo Sihman	[6]
23	D. R. Vasconcelos	[18]
24	Paulo A. S. Veloso	[13] [15] [19] [29]
25	Sheila R. M. Veloso	[13] [15] [19] [29]
26	Jorge Petrúcio Viana	[13] [19] [29] [32]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page