Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



41
TITLE: Language Constructs for Non-Well-Founded Computation
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: DBLP CrossRef: 6
IN MY: DBLP
42
TITLE: On Moessner's Theorem
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: The American Mathematical Monthly, VOLUME: 120, ISSUE: 2
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
43
TITLE: Report on CALCO 2013
AUTHORS: Alexandra Silva ; Pawel Sobocinski;
PUBLISHED: 2013, SOURCE: Bulletin of the EATCS, VOLUME: 111
INDEXED IN: DBLP
IN MY: DBLP
44
TITLE: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence  Full Text
AUTHORS: Marcello M Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: ACM Trans. Comput. Log., VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP CrossRef: 21
IN MY: DBLP
45
TITLE: A coalgebraic perspective on linear weighted automata  Full Text
AUTHORS: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: DBLP
46
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: 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
INDEXED IN: DBLP CrossRef: 14
IN MY: DBLP
47
TITLE: A model of context-dependent component connectors  Full Text
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Comput. Program., VOLUME: 77, ISSUE: 6
INDEXED IN: DBLP CrossRef: 10
IN MY: DBLP
48
TITLE: Brzozowski's algorithm (Co)algebraically
AUTHORS: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: DBLP
49
TITLE: Final semantics for decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2012, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: DBLP
50
TITLE: Left-Handed Completeness
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
Page 5 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

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