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: 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: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
AUTORES: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
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
10
TÃTULO: The Institution of Many-Logics Modal Logic
AUTORES: Alfredo R Freire; Manuel A Martins; Alexandre Madeira;
PUBLICAÇÃO: 2024, FONTE: 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024 in Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers, VOLUME: 15587
AUTORES: Alfredo R Freire; Manuel A Martins; Alexandre Madeira;
PUBLICAÇÃO: 2024, FONTE: 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024 in Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers, VOLUME: 15587
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP