Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



1
TÍTULO: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTORES: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2
TÍTULO: idDL2DL – Interval Syntax to $$d\mathcal {L}$$
AUTORES: Jaime Santos; Daniel Figueiredo; Alexandre Madeira ;
PUBLICAÇÃO: 2023, FONTE: Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
3
TÍTULO: idDL2DL-Interval Syntax to dL
AUTORES: Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 17th International Conference on Theoretical Aspects of Software Engineering (TASE) in THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, VOLUME: 13931
INDEXADO EM: Scopus WOS DBLP
4
TÍTULO: Paraconsistent Transition Systems
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis S. ;
PUBLICAÇÃO: 2023, FONTE: 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 376, NÚMERO: 376
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
5
6
TÍTULO: Specifying Event/Data-based Systems
AUTORES: Knapp, Alexander; Hennicker, Rolf; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, VOLUME: 13896
INDEXADO EM: WOS
NO MEU: ORCID
7
TÍTULO: Stepwise Development of Paraconsistent Processes
AUTORES: Cunha, Juliana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2023, FONTE: 17th International Conference on Theoretical Aspects of Software Engineering (TASE) in THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, VOLUME: 13931
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
8
TÍTULO: Structured Specification of Paraconsistent Transition Systems
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: FSEN, VOLUME: 14155 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
9
TÍTULO: A Logic for Paraconsistent Transition Systems
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
10
TÍTULO: Graded epistemic logic with public announcement
AUTORES: Benevides, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
Página 1 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service