Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
1
TITLE: Specification of paraconsistent transition systems, revisited Full Text
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
2
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: Jain, Manisha; Fernandes, Vitor; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
AUTHORS: Jain, Manisha; Fernandes, Vitor; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
6
TITLE: An Exercise in Uppaal: Modelling the Circadian Clock of a Cyanobacteria
AUTHORS: Iglesias, Antonio; Figueiredo, Daniel; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
AUTHORS: Iglesias, Antonio; Figueiredo, Daniel; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
7
TITLE: Paraconsistent transition structures: compositional principles and a modal logic
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLISHED: 2025, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLISHED: 2025, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
8
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
DBLP9
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
10
TITLE: The Institution of Many-Logics Modal Logic
AUTHORS: Alfredo R Freire; Manuel A Martins; Alexandre Madeira;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Alfredo R Freire; Manuel A Martins; Alexandre Madeira;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP