Følg
Bruno Lopes
Tittel
Sitert av
Sitert av
År
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
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
162020
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
162014
Extending propositional dynamic logic for Petri Nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
152014
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
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
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
92015
Formalization and certification of software for smart cities
E Grilo, B Lopes
International Joint Conference on Neural Networks, 2018
82018
Detecção de Paralelismo para Filtros Convolucionais
BL Vieira, ES de Almeida, AC Frery
Simpósio Brasileiro de Sensoriamento Remoto, 6257-6264, 2007
62007
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
32022
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
32020
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
M Benevides, B Lopes, EH Haeusler
Theoretical Computer Science, 2018
32018
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
32016
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
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
32013
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
Twin-Treewidth: A Single-Exponential Logic-Based Approach
M Pires, US Souza, B Lopes
International Conference on Combinatorial Optimization and Applications, 43-55, 2023
22023
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20