Bruno Lopes
TítuloCitado porAno
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
292010
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
92014
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
82012
Extending Propositional Dynamic Logic for Petri Nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
72014
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
4*2004
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
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
32015
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
32015
Detecção de Paralelismo para Filtros Convolucionais
BL Vieira, ES de Almeida, AC Frery
Simpósio Brasileiro de Sensoriamento Remoto, 6257-6264, 2007
32007
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
22013
Propositional Dynamic Logic for Petri Nets with Iteration
MRF Benevides, B Lopes, EH Haeusler
Theoretical Aspects of Computing – ICTAC 2016 9965, 441-456, 2016
12016
Reconstrução de sinais em Redes de Sensores sem Fios com técnicas de geoestatística
B Lopes, AC Frery
12010
Formalization and certification of software for smart cities
E Grilo, B Lopes
International Joint Conference on Neural Networks, 2018
2018
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
M Benevides, B Lopes, EH Haeusler
Theoretical Computer Science, 2018
2018
Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação
B Lopes, C Braga
Universidade Federal Fluminense, 2017
2017
Revisiting the proof theory of Classical S4
B Lopes, C Englander, F Lobo, M Cruz
O que nos faz pensar 25 (39), 71-86, 2017
2017
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
2016
Why is this a proof?
EH Haeusler, WC Sanz, B Lopes
College Publications, 2015
2015
Learning and Inferring
B Lopes, T Perciano
College Publications, 2015
2015
INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS
VG da Costa, BL Vieira, MH Stoppa, LR da Silva Souza
Blucher Mathematical Proceedings 1 (1), 95-102, 2015
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20