Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
1
TÃTULO: Specification of paraconsistent transition systems, revisited Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
2
TÃTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3
TÃTULO: Preface
AUTORES: Alexandre Madeira; Alexander Knapp;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15280 LNCS
AUTORES: Alexandre Madeira; Alexander Knapp;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15280 LNCS
INDEXADO EM: Scopus
Scopus4
TÃTULO: Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Full Text
AUTORES: Alexandre Madeira; Alexander Knapp;
PUBLICAÇÃO: 2025, FONTE: SEFM, VOLUME: 15280
AUTORES: Alexandre Madeira; Alexander Knapp;
PUBLICAÇÃO: 2025, FONTE: SEFM, VOLUME: 15280
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Adding Concurrency to Quantum Dynamic Logic
AUTORES: Jain, Manisha; Fernandes, Vitor; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
AUTORES: Jain, Manisha; Fernandes, Vitor; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
6
TÃTULO: An Exercise in Uppaal: Modelling the Circadian Clock of a Cyanobacteria
AUTORES: Iglesias, Antonio; Figueiredo, Daniel; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
AUTORES: Iglesias, Antonio; Figueiredo, Daniel; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
7
TÃTULO: Paraconsistent transition structures: compositional principles and a modal logic
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLICAÇÃO: 2025, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLICAÇÃO: 2025, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
8
TÃTULO: Reactive Graphs in Action
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
9
TÃTULO: Preface
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS
INDEXADO EM: Scopus
Scopus10
TÃTULO: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTORES: Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
AUTORES: Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef