Follow
Bruno Lopes
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
412010
Extending propositional dynamic logic for Petri Nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
142014
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
142014
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
122015
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
112020
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
102012
Formalization and certification of software for smart cities
E Grilo, B Lopes
International Joint Conference on Neural Networks, 2018
82018
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
72015
Detecção de Paralelismo para Filtros Convolucionais
BL Vieira, ES de Almeida, AC Frery
Simpósio Brasileiro de Sensoriamento Remoto, 6257-6264, 2007
52007
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
42022
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
M Benevides, B Lopes, EH Haeusler
Theoretical Computer Science, 2018
42018
Critical Systems for Smart Cities: Towards Certifying Software
E Grilo, B Lopes
Smart and Digital Cities: From Computational Intelligence to Applied Social …, 2019
32019
Propositional Dynamic Logic for Petri Nets with Iteration
MRF Benevides, B Lopes, EH Haeusler
Theoretical Aspects of Computing – ICTAC 2016 9965, 441-456, 2016
32016
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
C Braga, B Lopes
Formal Methods: Foundations and Applications, 74-89, 2016
32016
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
32007
Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows
LG Dias, M Mattoso, B Lopes, D de Oliveira
Brazilian Symposium on Bioinformatics, 105-116, 2020
22020
Ontoexpline: Rumo a uma ontologia para representaçao de linhas de experimento algébricas
LG Dias, B Lopes, D de Oliveira
Anais do XIV Brazilian e-Science Workshop, 33-40, 2020
22020
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
22019
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
22016
The system can't perform the operation now. Try again later.
Articles 1–20