publicações selecionadas
-
artigo académico
- The MEDITAGING study: protocol of a two-armed randomized controlled study to compare the effects of the mindfulness-based stress reduction program against a health promotion program in older migrants in Luxembourg. BMC Public Health. 2023
- Guarded weighted synchronous automata. Mathematical Structures in Computer Science. 2022
- Generalising KAT to Verify Weighted Computations. Scientific Annals of Computer Science. 2019
-
artigo de conferência
- Towards a specification theory for fuzzy modal logic 2021
- On Kleene Algebras for Weighted Computation. Computational Methods in Applied Sciences. 2017
-
artigo de revista
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science. 2020
- Generalising KAT to verify weighted computations. Scientific Annals of Computer Science. 2019
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019
-
teses