Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



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

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

Links Úteis

Ajuda

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