Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



1
TITLE: Cantor meets scott: semantic foundations for probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: POPL
INDEXED IN: Scopus DBLP CrossRef: 20
2
TITLE: CoCaml: Functional Programming with Regular Coinductive Types
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Fundam. Informaticae, VOLUME: 150, ISSUE: 3-4
INDEXED IN: DBLP
3
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: TASE
INDEXED IN: DBLP arXiv
4
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2017, SOURCE: POPL
INDEXED IN: Scopus DBLP CrossRef: 21
5
TITLE: A coalgebraic view on decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
INDEXED IN: WOS DBLP CrossRef
6
TITLE: Coalgebraic Learning
AUTHORS: Alexandra Silva ;
PUBLISHED: 2016, SOURCE: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, VOLUME: 62
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq
AUTHORS: Robbert Krebbers; Louis Parlant; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: Theory and Practice of Formal Methods
INDEXED IN: DBLP CrossRef
8
TITLE: Probabilistic NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: ESOP
INDEXED IN: DBLP CrossRef: 46
9
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP CrossRef
10
TITLE: Report on the POPL mentoring workshop (PLMW 2016)
AUTHORS: Alexandra Silva ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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