1
TITLE: Cantor meets scott: semantic foundations for probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: CoCaml: Functional Programming with Regular Coinductive Types
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
SOURCE: Fundam. Inform., VOLUME: 150, ISSUE: 3-4, PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: A coalgebraic treatment of conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
SOURCE: CoRR, VOLUME: abs/1612.05002, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: DBLP
5
TITLE: A coalgebraic view on decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PUBLISHED: 2016
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 ;
SOURCE: CoRR, VOLUME: abs/1607.05830, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: DBLP
7
TITLE: Coalgebraic Learning
AUTHORS: Alexandra Silva ;
SOURCE: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, VOLUME: 62, PUBLISHED: 2016
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Learning Nominal Automata PDF
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
SOURCE: CoRR, VOLUME: abs/1607.06268, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: DBLP
9
TITLE: Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq
AUTHORS: Robbert Krebbers; Louis Parlant; Alexandra Silva ;
SOURCE: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, VOLUME: 9660, PUBLISHED: 2016
INDEXED IN: DBLP CrossRef
IN MY: DBLP
10
TITLE: Probabilistic NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
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, PUBLISHED: 2016
INDEXED IN: DBLP CrossRef: 26
IN MY: DBLP
Page 1 of 8. Total results: 79.