Alexandre Leite de Castro Madeira
AuthID: R-001-MJP
11
TITLE: Binders for Switch Graphs Specification
AUTHORS: Daniel Figueiredo; Alexandre Madeira;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Daniel Figueiredo; Alexandre Madeira;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
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
Scopus13
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
CrossRef14
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