1
TITLE: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTHORS: Gomes, L ; Madeira, A; Barbosa, LS ;
SOURCE: SOFT COMPUTING, PUBLISHED: 2021
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PUBLISHED: 2020
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
3
TITLE: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTHORS: Gomes, L ;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
5
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
6
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
SOURCE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
7
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID