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: The Institution of Many-Logics Modal Logic
AUTHORS: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
AUTHORS: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP8
TITLE: Paraconsistent Relations as a Variant of Kleene Algebras Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP9
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
10
TITLE: Exploring a Quantum Programming Language with Concurrency
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: 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
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP