Johannes Borgström

Available identifiers

zbMath Open borgstrom.johannesWikidataQ102407064 ScholiaQ102407064MaRDI QIDQ2233469

List of research outcomes

Publication	Date of Publication	Type
Weak nominal modal logic	2022-06-15	Paper
Correctness of sequential Monte Carlo inference for probabilistic programming languages	2021-10-18	Paper
Modal logics for nominal transition systems	2021-03-26	Paper
Tabular: Probabilistic Inference from the Spreadsheet	2021-02-16	Paper
Modal logics for nominal transition systems	2017-09-12	Paper
Deriving probability density functions from probabilistic functional programs	2017-07-13	Paper
A lambda-calculus foundation for universal probabilistic programming	2017-05-10	Paper
A sorted semantic framework for applied process calculi (extended abstract)	2016-11-09	Paper
Fabular: regression formulas as probabilistic programming	2016-10-24	Paper
Higher-order psi-calculi	2016-07-26	Paper
A sorted semantic framework for applied process calculi	2016-04-19	Paper
A model-learner pattern for bayesian reasoning	2014-11-27	Paper
A complete symbolic bisimilarity for an extended spi calculus	2014-07-22	Paper
Tabular, a schema-driven probabilistic programming language	2014-04-10	Paper
A chart semantics for the pi-calculus	2013-12-06	Paper
Measure transformer semantics for Bayesian machine learning	2013-09-26	Paper
Deriving probability density functions from probabilistic functional programs	2013-08-05	Paper
Broadcast psi-calculi with an application to wireless protocols	2011-10-28	Paper
Roles, stacks, histories: a triple for Hoare	2011-07-25	Paper
Measure transformer semantics for Bayesian machine learning	2011-05-19	Paper
On bisimulations for the spi calculus	2011-05-06	Paper
Roles, stacks, histories: A triple for Hoare	2010-10-26	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Global Computing	2005-08-19	Paper
On bisimulations for the spi calculus	2005-08-03	Paper

Research outcomes over time

This page was built for person: Johannes Borgström