| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
A study on multi-dimensional products of graphs and hybrid logics.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
Using modal logics to express and check global graph properties. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
Product of Graphs and Hybrid Logic. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
CCS-Based Dynamic Logics for Communicating Concurrent Programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carla A. D. M. Delgado, Mario R. F. Benevides |
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro 0002 |
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
Modal Expressiveness of Graph Properties. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
A Propositional Dynamic Logic for CCS Programs. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini |
Proving Epistemic and Temporal Properties from Knowledge Based Programs. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
Knowledge Based Programs, Temporal Logic, Epistemic Logic |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vania Costa, Mario R. F. Benevides |
Reasoning about Knowledge in Asynchronous Distributed Systems. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vania Costa, Mario R. F. Benevides |
Formalizing Concurrent Common Knowledge as Product of Modal Logics. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides |
Defining Agents Via Strategies: Towards a View of MAS as Games. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
vague notions, most, knowledge representation, filter, Modal logic |
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso |
Mediating Heterogeneous Web Services. (PDF / PS) |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla A. D. M. Delgado, Mario R. F. Benevides |
Reasoning about Events and Knowledge in Distributed Systems. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vania Costa, Mario R. F. Benevides |
A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso |
Building Reliable Web Services Compositions. |
Web, Web-Services, and Database Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Valmir C. Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho |
A priority dynamics for generalized drinking philosophers. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Valmir C. Barbosa, Mario R. F. Benevides, Felipe M. G. França |
Sharing Resources at Nonuniform Access Rates. |
Theory Comput. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso |
Mechanisms for Specifying Communication Behavior in Object Oriented Database. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Marcelo Sihman |
Automatic Generation of CCS Specifications for Resource Sharing Problems. |
OPODIS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mario R. F. Benevides |
Multiple Database Logic. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Odinaldo Rodrigues, Mario R. F. Benevides |
PROMAL: Programming in Modal Action Logic. |
SBIA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Odinaldo Rodrigues, Mario R. F. Benevides |
PROMAL - Programming in Modal Action Logic. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides |
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, T. S. E. Maibaum |
A Constructive Presentation for the Modal Connective of Necessity (\Box). |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")