Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 71



1
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: idDL2DL – Interval Syntax to $$d\mathcal {L}$$
AUTHORS: Jaime Santos; Daniel Figueiredo; Alexandre Madeira ;
PUBLISHED: 2023, SOURCE: Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
3
TITLE: idDL2DL-Interval Syntax to dL
AUTHORS: Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 17th International Conference on Theoretical Aspects of Software Engineering (TASE) in THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, VOLUME: 13931
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
4
TITLE: Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis S. ;
PUBLISHED: 2023, SOURCE: 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 376, ISSUE: 376
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
5
6
TITLE: Specifying Event/Data-based Systems
AUTHORS: Knapp, Alexander; Hennicker, Rolf; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, VOLUME: 13896
INDEXED IN: WOS
IN MY: ORCID
7
TITLE: Stepwise Development of Paraconsistent Processes
AUTHORS: Cunha, Juliana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: 17th International Conference on Theoretical Aspects of Software Engineering (TASE) in THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, VOLUME: 13931
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Structured Specification of Paraconsistent Transition Systems
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: A Logic for Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
10
TITLE: Graded epistemic logic with public announcement
AUTHORS: Benevides, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 71.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service