Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



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: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | DBLP
2
TÍTULO: CoCaml: Functional Programming with Regular Coinductive Types
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2017, FONTE: Fundam. Inform., VOLUME: 150, NÚMERO: 3-4
INDEXADO EM: DBLP
NO MEU: 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: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
4
TÍTULO: Learning nominal automata
AUTORES: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
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
NO MEU: DBLP
6
TÍTULO: Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming PDF
AUTORES: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1607.05830
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
7
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
8
TÍTULO: Learning Nominal Automata PDF
AUTORES: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1607.06268
INDEXADO EM: Scopus DBLP arXiv CrossRef: 13
NO MEU: ORCID | DBLP
9
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 - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, VOLUME: 9660
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
10
TÍTULO: Probabilistic NetKAT
AUTORES: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, VOLUME: 9632
INDEXADO EM: DBLP CrossRef: 26
NO MEU: DBLP
Página 1 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