Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service