Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexandre Madeira
conf.researchr.org general profile
STAF 2024 profile
‹Programming› 2023 profile
Not registered as user
Name:
Alexandre Madeira
Country:
Portugal
Affiliation:
University of Aveiro
Contributions
2024
WADT
Author of Formal Specification with Many-Logics Modal Logic within the Research papers-track
Committee Member in Programme Committee
Session Chair of WADT Session 1 (part of Research papers)
2023
QP
Author of Capturing qubit decoherence through paraconsistent transition systems within the QP2023-track
Share
x
Thu 26 Dec 14:44