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ℒ
AUTHORS: Jaime Santos; Daniel Figueiredo; Alexandre Madeira ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
3
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
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: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
INDEXED IN: Scopus 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: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
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: 1
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 71.

A place for researchers and their institutions

Useful Links

Get Help

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