Bruno Lopes

Cited by

	All	Since 2018
Citations	159	85
h-index	7	6
i10-index	6	2

20082009201020112012201320142015201620172018201920202021202220231 3 2 6 3 7 9 20 13 8 6 18 14 15 19 13

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
Mario BenevidesAssociate Professor of Computer Science, Fluminense Federal UniversityVerified email at cos.ufrj.br
Alejandro C. FreryVictoria University of WellingtonVerified email at vuw.ac.nz
Daniel de OliveiraAssociate Professor at Universidade Federal Fluminense (UFF)Verified email at ic.uff.br
Da Silva, G.M.HProfessor Associado, Universidade Federal do Estado do Rio de JaneiroVerified email at uniriotec.br
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br
Jefferson de Barros SantosBrazilian School of Public and Business Administration at Getulio Vargas FoundationVerified email at fgv.br
Aline PaesUniversidade Federal FluminenseVerified email at ic.uff.br
Esteban Walter Gonzalez Cluaprofessor of Computer Science, universidade federal fluminenseVerified email at ic.uff.br
Renato Reis LemeUnicampVerified email at dac.unicamp.br
Giorgio VenturiUniversity of PisaVerified email at unipi.it
ELIANA SILVA DE ALMEIDAProfessora Titular. Universidade Federal de AlagoasVerified email at laccan.ufal.br
Marta MattosoProfessor of Computer Science, COPPE, Fed University Rio de JaneiroVerified email at cos.ufrj.br
Igor Machado CoelhoProfessor de Computação, Universidade Federal FluminenseVerified email at ic.uff.br
Vaston Gonçalves da CostaPontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Universidade Federal de Goiás,Verified email at ufg.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br

Bruno Lopes

Universidade Federal Fluminense

Verified email at ic.uff.br - Homepage

Logic Modal Logic Proof theory Petri nets Automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On the numerical accuracy of spreadsheets MG Almiron, B Lopes, ALC Oliveira, AC Medeiros, AC Frery Journal of Statistical Software 34 (4), 1-29, 2010	39	2010
Extending propositional dynamic logic for Petri Nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014	14	2014
Propositional dynamic logic for petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014	14	2014
Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs P Carvalho, E Clua, A Paes, C Bentes, B Lopes, LMA Drummond Future Generation Computer Systems 113, 528-540, 2020	11	2020
Reasoning about multi-agent systems using stochastic Petri Nets B Lopes, M Benevides, EH Haeusler Trends in Practical Applications of Agents, Multi-Agent Systems and …, 2015	11	2015
Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis. GMH Da Silva, B Lopes, GBM Lopes, UR de Janeiro-RJ–Brazil, ... ONTOBRAS-MOST, 60-71, 2012	10	2012
Formalization and certification of software for smart cities E Grilo, B Lopes International Joint Conference on Neural Networks, 2018	8	2018
A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics C Nalon, B Lopes, G Dowek, EH Haeusler Electronic Notes in Theoretical Computer Science 312, 125-141, 2015	7	2015
Detecção de Paralelismo para Filtros Convolucionais BL Vieira, ES de Almeida, AC Frery Simpósio Brasileiro de Sensoriamento Remoto, 6257-6264, 2007	5	2007
Um Ambiente Integrado para auxílio ao Ensino de Ciência da Computação ES Almeida, JD Herrera, H Oliveira, EB Costa, BL Vieira, MD Melo Colabor@-A Revista Digital da CVA-RICESU 2 (8), 2004	5*	2004
A logical framework to reason about Reo circuits E Grilo, D Toledo, B Lopes Journal of Applied Logics 9 (1), 199-254, 2022	4	2022
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach M Benevides, B Lopes, EH Haeusler Theoretical Computer Science, 2018	4	2018
Critical Systems for Smart Cities: Towards Certifying Software E Grilo, B Lopes Smart and Digital Cities: From Computational Intelligence to Applied Social …, 2019	3	2019
Propositional Dynamic Logic for Petri Nets with Iteration MRF Benevides, B Lopes, EH Haeusler Theoretical Aspects of Computing – ICTAC 2016 9965, 441-456, 2016	3	2016
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case C Braga, B Lopes Formal Methods: Foundations and Applications, 74-89, 2016	3	2016
Construindo uma ferramenta para transpor paradigmas de interface em máquinas de turing–tomate M Peixoto, B Lopes, E Almeida Anais do XVIII Simpósio Brasileiro de Informática na Educaçao–I Workshop de …, 2007	3	2007
Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic RR Leme, G Venturi, B Lopes Anais do III Workshop Brasileiro de Lógica, 25-32, 2022	2	2022
Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows LG Dias, M Mattoso, B Lopes, D de Oliveira Brazilian Symposium on Bioinformatics, 105-116, 2020	2	2020
OntoExpLine: Rumo a uma Ontologia para Representação de Linhas de Experimento Algébricas LG Dias, B Lopes, D de Oliveira Anais do XIV Brazilian e-Science Workshop, 33-40, 2020	2	2020
Aplicação de Ontologias de Proveniência em Workflows Científicos: um Mapeamento Sistemático LG Dias, B Lopes, D de Oliveira Anais do XIII Brazilian e-Science Workshop, 2019	2	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors