| 2009 |
|---|
| 22 | EE | Mario R. F. Benevides,
L. Menasché Schechter:
CCS-Based Dynamic Logics for Communicating Concurrent Programs
CoRR abs/0904.0034: (2009) |
| 2008 |
|---|
| 21 | EE | Mario R. F. Benevides,
Carla A. D. M. Delgado,
Michel Carlini:
Proving Epistemic and Temporal Properties from Knowledge Based Programs.
SBIA 2008: 134-144 |
| 20 | EE | Mario R. F. Benevides,
L. Menasché Schechter:
A Propositional Dynamic Logic for CCS Programs.
WoLLIC 2008: 83-97 |
| 19 | EE | 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) |
| 18 | EE | Mario R. F. Benevides,
L. Menasché Schechter:
Modal Expressiveness of Graph Properties.
Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008) |
| 2005 |
|---|
| 17 | EE | 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 |
| 16 | EE | Vania Costa,
Mario R. F. Benevides:
Reasoning about Knowledge in Asynchronous Distributed Systems.
Logic Journal of the IGPL 13(1): 5-28 (2005) |
| 15 | EE | 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 |
|---|
| 14 | EE | 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 |
|---|
| 13 | EE | Paulo F. Pires,
Mario R. F. Benevides,
Marta Mattoso:
Mediating Heterogeneous Web Services.
SAINT 2003: 344-347 |
| 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 | EE | 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 | EE | 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 | EE | 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) |
