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
https://portal.mardi4nfdi.de/entity/Q5856409	2021-03-26	Paper
Tabular: Probabilistic Inference from the Spreadsheet	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5357704	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5278083	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	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