Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
1
TITLE: Specification of paraconsistent transition systems, revisited
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP2
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP3
TITLE: Preface
AUTHORS: Alexandre Madeira; Alexander Knapp;
PUBLISHED: 2025, SOURCE: 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
AUTHORS: Alexandre Madeira; Alexander Knapp;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: Scopus
Scopus4
TITLE: Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Full Text
AUTHORS: Alexandre Madeira; Alexander Knapp;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 15280
AUTHORS: Alexandre Madeira; Alexander Knapp;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 15280
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Adding Concurrency to Quantum Dynamic Logic
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024 in Communications in Computer and Information Science, VOLUME: 2248
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024 in Communications in Computer and Information Science, VOLUME: 2248
6
TITLE: An Exercise in Uppaal: Modelling the Circadian Clock of a Cyanobacteria
AUTHORS: Antonio Iglesias; Daniel Figueiredo; Alexandre Madeira;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024 in Communications in Computer and Information Science, VOLUME: 2248
AUTHORS: Antonio Iglesias; Daniel Figueiredo; Alexandre Madeira;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024 in Communications in Computer and Information Science, VOLUME: 2248
7
TITLE: Reactive Graphs in Action
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
9
TITLE: Preface
AUTHORS: Alexandre Madeira; Manuel Martins ;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Alexandre Madeira; Manuel Martins ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus
Scopus10
TITLE: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTHORS: Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
AUTHORS: Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef