Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
11
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
12
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
DBLP13
TÃTULO: A Function-Set Framework: General Properties and Applications to Modal Logic Full Text
AUTORES: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
AUTORES: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP14
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
DBLP15
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
16
TÃTULO: Preface
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus
Scopus17
TÃTULO: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTORES: Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
AUTORES: Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef18
TÃTULO: Applying abstract algebraic logic to classical automata theory : an exercise
AUTORES: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2010
AUTORES: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2010
INDEXADO EM: 
Handle
Handle