The following pages link to Johannes Borgström (Q2233469):
Displaying 25 items.
- Correctness of sequential Monte Carlo inference for probabilistic programming languages (Q2233471) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Q2800971) (← links)
- Fabular: regression formulas as probabilistic programming (Q2828269) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- A lambda-calculus foundation for universal probabilistic programming (Q2981999) (← links)
- On Bisimulations for the Spi Calculus* (Q2996142) (← links)
- Roles, stacks, histories: A triple for Hoare (Q3021420) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- Roles, Stacks, Histories: A Triple for Hoare (Q3163398) (← links)
- Weak Nominal Modal Logic (Q5082196) (← links)
- Tabular: Probabilistic Inference from the Spreadsheet (Q5150959) (← links)
- A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)
- (Q5278083) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311472) (← links)
- Deriving Probability Density Functions from Probabilistic Functional Programs (Q5326349) (← links)
- (Q5357704) (← links)
- Tabular (Q5408428) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- Global Computing (Q5464835) (← links)
- Higher-order psi-calculi (Q5740353) (← links)
- (Q5856409) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5891171) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)
