Edit Profile (opens in new tab) Benevides, Mario R. F. Compute Distance To: Compute Author ID: benevides.mario-r-f Published as: Benevides, Mario R. F.; Benevides, Mario; Benevides, M. R. F.; Benevides, Mário more...less Documents Indexed: 40 Publications since 1992 5 Contributions as Editor Co-Authors: 33 Co-Authors with 41 Joint Publications 382 Co-Co-Authors all top 5 Co-Authors 4 single-authored 9 Schechter, Luis Menasché 9 Veloso, Paulo Augusto S. 9 Veloso, Sheila R. M. 5 Lopes, Bruno Domeniciano 5 Madeira, Alexandre 4 de Freitas, Renata P. 4 Haeusler, Edward Hermann 3 Delgado, Carla 3 Martins, Manuel António 3 Viana, Petrucio 2 Costa, Vania 2 Freire, Cibele Matos 2 Lima, Isaque M. S. 2 Martins, Ana Teresa 2 Pimentel, Elaine 1 de Paiva, Valeria 1 França, Felipe Maia Galvão 1 Freitas, Renata P. 1 Horizonte, Belo 1 Lopes, Luís Mário 1 López Pombo, Carlos Gustavo 1 Machado, Vitor 1 Maibaum, Thomas Stephen Edward 1 Martins Ferreira, Francicleber 1 Mattoso, Marta 1 Nader, Rafael 1 Nigam, Vivek 1 Oliveira Filho, A. L. 1 Pires, Paulo F. 1 Ribeiro, Ricardo 1 Rougemont, Pedro 1 Thiemann, René 1 Viana, Jorge Petrucio all top 5 Serials 6 Logic Journal of the IGPL 4 Theoretical Computer Science 3 Electronic Notes in Theoretical Computer Science 2 Journal of Philosophical Logic 2 Journal of Logic and Computation 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Theory of Computing Systems 1 Lecture Notes in Computer Science Fields 39 Mathematical logic and foundations (03-XX) 32 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 58 times in 41 Documents Cited by ▼ Year ▼ A propositional dynamic logic for CCS programs. Zbl 1156.03031Benevides, Mario R. F.; Schechter, L. Menasché 7 2008 Propositional dynamic logic with storing, recovering and parallel composition. Zbl 1347.03059Benevides, Mario R. F.; de Freitas, Renata; Viana, Petrucio 5 2011 On vague notions and modalities: a modular approach. Zbl 1205.03032Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla 4 2010 Extending propositional dynamic logic for Petri nets. Zbl 1335.68175Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann 4 2014 A constructive presentation for the modal connective of necessity (\(\square\)). Zbl 0763.03014Benevides, Mario R. F.; Maibaum, Thomas S. E. 3 1992 Squares in fork arrow logic. Zbl 1030.03018de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S. 3 2003 Using modal logics to express and check global graph properties. Zbl 1181.03032Benevides, Mario R. F.; Schechter, L. Menasché 3 2009 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. Zbl 1345.68228Benevides, Mario R. F.; Schechter, L. Menasché 3 2010 Sharing resources at nonuniform access rates. Zbl 0969.68184Barbosa, V. C.; Benevides, M. R. F.; França, F. M. G. 3 2001 Modal logics for finite graphs. Zbl 1034.03037Benevides, Mario R. F. 3 2003 On fork arrow logic and its expressive power. Zbl 1128.03011Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M. 2 2007 On a graph approach to modal logics. Zbl 1335.03022Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 2 2014 Product of graphs and hybrid logic. Zbl 1291.05166Benevides, Mario R. F.; Menasché Schechter, L. 1 2009 Modal expressiveness of graph properties. Zbl 1277.03026Benevides, Mario R. F.; Menasché Schechter, L. 1 2008 Formalizing concurrent common knowledge as product of modal logics. Zbl 1109.03011Costa, Vania; Benevides, Mario 1 2005 Reasoning about knowledge in asynchronous distributed systems. Zbl 1083.68115Costa, Vania; Benevides, Mario 1 2005 On modalities for vague notions. Zbl 1105.03305Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M. 1 2004 Hybrid logics and NP graph properties. Zbl 1326.68141Ferreira, Francicleber Martins; Freire, Cibele Matos; Benevides, Mario R. F.; Schechter, L. Menasché; Martins, Ana Teresa 1 2011 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 Bisimilar and logically equivalent programs in PDL. Zbl 1335.68045Benevides, Mario R. F. 1 2014 Propositional dynamic logics for communicating concurrent programs with CCS’s parallel operator. Zbl 1303.03067Benevides, Mario R. F.; Schechter, L. Menasché 1 2014 On graph calculi for multi-modal logics. Zbl 1343.03016Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 1 2015 PDL for structured data: a graph-calculus approach. Zbl 1407.68340Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 1 2014 Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006 1 2018 Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann 1 2016 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006 1 2018 Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann 1 2016 On graph calculi for multi-modal logics. Zbl 1343.03016Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 1 2015 Extending propositional dynamic logic for Petri nets. Zbl 1335.68175Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann 4 2014 On a graph approach to modal logics. Zbl 1335.03022Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 2 2014 Bisimilar and logically equivalent programs in PDL. Zbl 1335.68045Benevides, Mario R. F. 1 2014 Propositional dynamic logics for communicating concurrent programs with CCS’s parallel operator. Zbl 1303.03067Benevides, Mario R. F.; Schechter, L. Menasché 1 2014 PDL for structured data: a graph-calculus approach. Zbl 1407.68340Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F. 1 2014 Propositional dynamic logic with storing, recovering and parallel composition. Zbl 1347.03059Benevides, Mario R. F.; de Freitas, Renata; Viana, Petrucio 5 2011 Hybrid logics and NP graph properties. Zbl 1326.68141Ferreira, Francicleber Martins; Freire, Cibele Matos; Benevides, Mario R. F.; Schechter, L. Menasché; Martins, Ana Teresa 1 2011 On vague notions and modalities: a modular approach. Zbl 1205.03032Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla 4 2010 A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. Zbl 1345.68228Benevides, Mario R. F.; Schechter, L. Menasché 3 2010 Using modal logics to express and check global graph properties. Zbl 1181.03032Benevides, Mario R. F.; Schechter, L. Menasché 3 2009 Product of graphs and hybrid logic. Zbl 1291.05166Benevides, Mario R. F.; Menasché Schechter, L. 1 2009 A propositional dynamic logic for CCS programs. Zbl 1156.03031Benevides, Mario R. F.; Schechter, L. Menasché 7 2008 Modal expressiveness of graph properties. Zbl 1277.03026Benevides, Mario R. F.; Menasché Schechter, L. 1 2008 On fork arrow logic and its expressive power. Zbl 1128.03011Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M. 2 2007 Formalizing concurrent common knowledge as product of modal logics. Zbl 1109.03011Costa, Vania; Benevides, Mario 1 2005 Reasoning about knowledge in asynchronous distributed systems. Zbl 1083.68115Costa, Vania; Benevides, Mario 1 2005 On modalities for vague notions. Zbl 1105.03305Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M. 1 2004 Squares in fork arrow logic. Zbl 1030.03018de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S. 3 2003 Modal logics for finite graphs. Zbl 1034.03037Benevides, Mario R. F. 3 2003 Sharing resources at nonuniform access rates. Zbl 0969.68184Barbosa, V. C.; Benevides, M. R. F.; França, F. M. G. 3 2001 A constructive presentation for the modal connective of necessity (\(\square\)). Zbl 0763.03014Benevides, Mario R. F.; Maibaum, Thomas S. E. 3 1992 all cited Publications top 5 cited Publications all top 5 Cited by 49 Authors 18 Benevides, Mario R. F. 6 Schechter, Luis Menasché 4 de Freitas, Renata P. 4 Haeusler, Edward Hermann 4 Lopes, Bruno Domeniciano 4 Veloso, Paulo Augusto S. 4 Veloso, Sheila R. M. 3 Boudou, Joseph 3 Britz, Katarina 3 Madeira, Alexandre 3 Varzinczak, Ivan Jóse 3 Viana, Petrucio 2 del Carmen González Huesca, Lourdes 2 Linares-Arévalo, P. Selene 2 Martins, Manuel António 2 Miranda Perea, Favio Ezequiel 1 Aiello, Marco 1 Balbiani, Philippe 1 Bezhanishvili, Guram 1 Bloch, Isabelle 1 Chang, Gerard Jennhwa 1 Christoff, Zoé 1 Demri, Stéphane P. 1 Deters, Morgan 1 Dowek, Gilles 1 Ehab, Nourhan 1 Folhadela Benevides, Mario Roberto 1 Freire, Cibele Matos 1 Gate, James 1 Goranko, Valentin F. 1 Hansen, Jens Ulrik 1 Herzig, Andreas 1 Huc, Florian 1 Ismail, Haythem O. 1 Lange, Martin 1 Lin, Wu-Hsiung 1 Linhares-Sales, Claudia 1 Macalam Saab Lima, Isaque 1 Martins, Ana Teresa 1 Miculan, Marino 1 Nalon, Cláudia 1 Rivano, Hervé 1 Søgaard, Anders 1 Stewart, Iain A. 1 Teheux, Bruno 1 Troquard, Nicolas 1 Viana, Jorge Petrucio 1 Yeh, Hong-Gwa 1 Zhu, Xuding all top 5 Cited in 12 Serials 5 Theoretical Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Applied Non-Classical Logics 3 Journal of Applied Logic 2 Journal of Philosophical Logic 2 Journal of Logic, Language and Information 1 Journal of Computer and System Sciences 1 Synthese 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Combinatorial Optimization 1 Discrete Mathematics, Algorithms and Applications all top 5 Cited in 8 Fields 34 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 6 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Quantum theory (81-XX) Citations by Year