Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
11
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
12
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
DBLP13
TITLE: A Function-Set Framework: General Properties and Applications to Modal Logic Full Text
AUTHORS: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
AUTHORS: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP14
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
DBLP15
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
16
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
Scopus17
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
CrossRef18
TITLE: Applying abstract algebraic logic to classical automata theory : an exercise
AUTHORS: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2010
AUTHORS: Luís Descalço; Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle