Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



1
TITLE: Cantor meets scott: semantic foundations for probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID | DBLP
2
TITLE: CoCaml: Functional Programming with Regular Coinductive Types
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Fundam. Inform., VOLUME: 150, ISSUE: 3-4
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
INDEXED IN: DBLP arXiv
IN MY: DBLP
4
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXED IN: DBLP
IN MY: DBLP
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
IN MY: DBLP
6
TITLE: Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming PDF
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1607.05830
INDEXED IN: DBLP arXiv
IN MY: DBLP
7
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
8
TITLE: Learning Nominal Automata PDF
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1607.06268
INDEXED IN: Scopus DBLP arXiv CrossRef: 13
IN MY: ORCID | DBLP
9
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 - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, VOLUME: 9660
INDEXED IN: DBLP CrossRef
IN MY: DBLP
10
TITLE: Probabilistic NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: DBLP CrossRef: 26
IN MY: DBLP
Page 1 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