Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexandre Madeira
conf.researchr.org general profile
STAF 2024 profile
‹Programming› 2023 profile
‹Programming› 2025 profile
Not registered as user
Name:
Alexandre Madeira
Country:
Portugal
Affiliation:
University of Aveiro
Contributions
2025
QP
Author of Exploring a quantum programming language with concurrency within the QP 2025-track
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
Sun 26 Oct 20:17