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 DBLP NO MEU: DBLP
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: The Institution of Many-Logics Modal Logic
AUTORES: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
AUTORES: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP8
TÃTULO: Paraconsistent Relations as a Variant of Kleene Algebras Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLICAÇÃO: 2025, FONTE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, NÚMERO: 421
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLICAÇÃO: 2025, FONTE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, NÚMERO: 421
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP9
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
10
TÃTULO: Exploring a Quantum Programming Language with Concurrency
AUTORES: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134
AUTORES: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP