Bruno Lopes

Cited by

	All	Since 2020
Citations	181	77
h-index	8	4
i10-index	6	1

2008200920102011201220132014201520162017201820192020202120222023202420251 3 2 6 3 7 10 26 11 8 5 20 13 15 16 14 17 2

Public access

View all

1 article

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
Jefferson de Barros SantosBrazilian School of Public and Business Administration at Getulio Vargas FoundationVerified email at fgv.br
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br
Da Silva, G.M.HProfessor Associado, Universidade Federal do Estado do Rio de JaneiroVerified email at uniriotec.br
Renato Reis LemeUnicampVerified email at dac.unicamp.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
Ueverton S. SouzaFluminense Federal UniversityVerified email at ic.uff.br
Giorgio VenturiUniversity of PisaVerified email at unipi.it
ELIANA SILVA DE ALMEIDAProfessora Titular. Universidade Federal de AlagoasVerified email at laccan.ufal.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
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
Leandro Rafael Moreira GomesCRIStAL, Université de LilleVerified email at univ-lille.fr
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

Bruno Lopes

Universidade Federal Fluminense

Verified email at ic.uff.br - Homepage

Logic Modal logic Proof theory Dynamic logic 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	41	2010
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	16	2020
Propositional dynamic logic for petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014	16	2014
Extending propositional dynamic logic for Petri Nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014	15	2014
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	12	2015
Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis. GMH Da Silva, B Lopes, GBM Lopes, A Pasteur, 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	9	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	9	2015
Detecção de Paralelismo para Filtros Convolucionais BL Vieira, ES de Almeida, AC Frery Simpósio Brasileiro de Sensoriamento Remoto, 6257-6264, 2007	6	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	3	2022
Ontoexpline: Rumo a uma ontologia para representação de linhas de experimento algébricas LG Dias, B Lopes, D de Oliveira Brazilian e-Science Workshop (BreSci), 33-40, 2020	3	2020
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
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach M Benevides, B Lopes, EH Haeusler Theoretical Computer Science, 2018	3	2018
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic J de Barros Santos, BL Vieira, EH Haeusler Electronic Notes in Theoretical Computer Science 324, 165-179, 2016	3	2016
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
Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic B Lopes, M Benevides, EH Haeusler X Encontro Nacional de Inteligncia Artificial e Computacional, 2013	3	2013
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
Twin-Treewidth: A Single-Exponential Logic-Based Approach M Pires, US Souza, B Lopes International Conference on Combinatorial Optimization and Applications, 43-55, 2023	2	2023

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