Leandro Gomes

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 11

Top Topics

Imperative Programs

Valued Semantics

Top Venues

Math. Struct. Comput. Sci.

Publications

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Weighted synchronous automata. Math. Struct. Comput. Sci. 32 (9) (2022)
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Towards a specification theory for fuzzy modal logic. TASE (2021)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25 (9) (2021)
Leandro Gomes
On the Construction of Multi-valued Concurrent Dynamic Logics. DaLí (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29 (2) (2019)
Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
Logics for Petri Nets with Propagating Failures. FSEN (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to verify weighted computations. CoRR (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Introducing Synchrony in Fuzzy Automata. LSFA (2019)
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM (2019)
Leandro Gomes
On the construction of multi-valued concurrent dynamic logic. CoRR (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
On Kleene Algebras for Weighted Computation. SBMF (2017)