Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



41
TÍTULO: Language Constructs for Non-Well-Founded Computation
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, VOLUME: 7792
INDEXADO EM: DBLP CrossRef: 6
NO MEU: DBLP
42
TÍTULO: On Moessner's Theorem
AUTORES: Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: The American Mathematical Monthly, VOLUME: 120, NÚMERO: 2
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
43
TÍTULO: Report on CALCO 2013
AUTORES: Alexandra Silva ; Pawel Sobocinski;
PUBLICAÇÃO: 2013, FONTE: Bulletin of the EATCS, VOLUME: 111
INDEXADO EM: DBLP
NO MEU: DBLP
44
TÍTULO: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence  Full Text
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: 21
NO MEU: DBLP
45
TÍTULO: A coalgebraic perspective on linear weighted automata  Full Text
AUTORES: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 211
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
NO MEU: DBLP
46
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: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, VOLUME: 7213
INDEXADO EM: DBLP CrossRef: 14
NO MEU: DBLP
47
TÍTULO: A model of context-dependent component connectors  Full Text
AUTORES: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Comput. Program., VOLUME: 77, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 10
NO MEU: DBLP
48
TÍTULO: Brzozowski's algorithm (Co)algebraically
AUTORES: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: DBLP
49
TÍTULO: Final semantics for decorated traces
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: DBLP
50
TÍTULO: Left-Handed Completeness
AUTORES: Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
Página 5 de 8. Total de resultados: 78.

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

Links Úteis

Ajuda

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