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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Borgström