Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



31
TÍTULO: Preface
AUTORES: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXADO EM: CrossRef
32
TÍTULO: Quantitative analysis of Reo-based service coordination
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
33
TÍTULO: Towards a Coalgebraic Chomsky Hierarchy PDF
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1401.5277
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
34
TÍTULO: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, VOLUME: 8705
INDEXADO EM: DBLP
NO MEU: DBLP
35
TÍTULO: A Coalgebraic View of ε-Transitions
AUTORES: Alexandra Silva ; Bram Westerbaan;
PUBLICAÇÃO: 2013, FONTE: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, VOLUME: 8089
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
36
TÍTULO: A Coinductive Treatment of Infinitary Rewriting PDF
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.6224
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
37
TÍTULO: Automatic Equivalence Proofs for Non-deterministic Coalgebras PDF
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
38
TÍTULO: Automatic equivalence proofs for non-deterministic coalgebras  Full Text
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
39
TÍTULO: Brzozowski's and up-to algorithms for must testing
AUTORES: Bonchi, F; Caltais, G; Pous, D; Silva, A ;
PUBLICAÇÃO: 2013, FONTE: 11th Asian Symposium on Programming Languages and Systems, APLAS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8301 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP
40
TÍTULO: Generalizing determinization from automata to coalgebras PDF  Full Text
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science, VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP arXiv CrossRef: 25
NO MEU: DBLP
Página 4 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