Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
11
TÃTULO: Binders for Switch Graphs Specification
AUTORES: Daniel Figueiredo; Alexandre Madeira;
PUBLICAÇÃO: 2024, FONTE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, VOLUME: 15551
AUTORES: Daniel Figueiredo; Alexandre Madeira;
PUBLICAÇÃO: 2024, FONTE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, VOLUME: 15551
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
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
Scopus13
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
CrossRef14
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