Alexandra Martins da Silva
AuthID: R-000-NF7
111
TITLE: Practical coinduction
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP112
TITLE: Enhanced coalgebraic bisimulation
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP113
TITLE: Layer by layer - Combining Monads PDF
AUTHORS: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1712.01113
AUTHORS: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1712.01113
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP114
TITLE: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP115
TITLE: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP