Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



31
TITLE: Automatic equivalence proofs for non-deterministic coalgebras
AUTHORS: Bonsangue, M; Caltais, G; Goriac, EI; Lucanu, D; Rutten, J; Silva, A ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 1
32
TITLE: Brzozowski's and Up-To Algorithms for Must Testing
AUTHORS: Filippo Bonchi; Georgiana Caltais; Damien Pous; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: APLAS, VOLUME: 8301 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
33
TITLE: Generalizing determinization from automata to coalgebras
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2013, SOURCE: Log. Methods Comput. Sci., VOLUME: 9, ISSUE: 1
INDEXED IN: DBLP CrossRef: 35
34
TITLE: Language Constructs for Non-Well-Founded Computation
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: ESOP
INDEXED IN: DBLP CrossRef: 8
35
TITLE: On Moessner's Theorem
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: Am. Math. Mon., VOLUME: 120, ISSUE: 2
INDEXED IN: DBLP CrossRef: 3
36
TITLE: Report on CALCO 2013
AUTHORS: Alexandra Silva ; Pawel Sobocinski;
PUBLISHED: 2013, SOURCE: Bull. EATCS, VOLUME: 111
INDEXED IN: DBLP
37
TITLE: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
AUTHORS: Marcello M Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: ACM Trans. Comput. Log., VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP CrossRef: 32
38
TITLE: A coalgebraic perspective on linear weighted automata
AUTHORS: Bonchi, F; Bonsangue, M; Boreale, M; Rutten, J; Silva, A ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 40
39
TITLE: A Coalgebraic Perspective on Minimization and Determinization
AUTHORS: Jirí Adámek; Filippo Bonchi; Mathias Hülsbusch; Barbara König; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: FoSSaCS
INDEXED IN: DBLP CrossRef: 21
40
TITLE: A model of context-dependent component connectors
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Comput. Program., VOLUME: 77, ISSUE: 6
INDEXED IN: DBLP CrossRef: 12
Page 4 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service