Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



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
NO MEU: ORCID | DBLP
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
NO MEU: ORCID
4
TÍTULO: Paraconsistent Transition Systems  Full Text
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 Unpaywall
NO MEU: ORCID | DBLP
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
NO MEU: ORCID
8
TÍTULO: Structured Specification of Paraconsistent Transition Systems
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: A Logic for Paraconsistent Transition Systems  Full Text
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: 1
NO MEU: ORCID | DBLP
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
NO MEU: ORCID | DBLP
Página 1 de 8. Total de resultados: 71.

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

Links Úteis

Ajuda

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