Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



31
TITLE: Preface
AUTHORS: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLISHED: 2014, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXED IN: CrossRef
32
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
33
TITLE: Towards a Coalgebraic Chomsky Hierarchy PDF
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1401.5277
INDEXED IN: DBLP arXiv
IN MY: DBLP
34
TITLE: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, VOLUME: 8705
INDEXED IN: DBLP
IN MY: DBLP
35
TITLE: A Coalgebraic View of ε-Transitions
AUTHORS: Alexandra Silva ; Bram Westerbaan;
PUBLISHED: 2013, SOURCE: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, VOLUME: 8089
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
36
TITLE: A Coinductive Treatment of Infinitary Rewriting PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.6224
INDEXED IN: DBLP arXiv
IN MY: DBLP
37
38
TITLE: Automatic equivalence proofs for non-deterministic coalgebras  Full Text
AUTHORS: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
39
TITLE: Brzozowski's and up-to algorithms for must testing
AUTHORS: Bonchi, F; Caltais, G; Pous, D; Silva, A ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
40
TITLE: Generalizing determinization from automata to coalgebras PDF  Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2013, SOURCE: Logical Methods in Computer Science, VOLUME: 9, ISSUE: 1
INDEXED IN: DBLP arXiv CrossRef: 25
IN MY: DBLP
Page 4 of 8. Total results: 78.

A place for researchers and their institutions

Useful Links

Get Help

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