Johannes Borgström

Cited by

	All	Since 2016
Citations	870	448
h-index	17	9
i10-index	24	9

120

20032004200520062007200820092010201120122013201420152016201720182019202020213 11 14 16 32 19 25 24 36 40 59 58 72 80 77 68 115 46 62

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Joachim ParrowProfessor in Computing Science, Uppsala UniversityVerified email at it.uu.se
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de
Johannes Åman PohjolaResearch Scientist, Data61/CSIROVerified email at it.uu.se
Björn VictorUppsala UniversityVerified email at it.uu.se
Jurgen Van GaelStripeVerified email at stripe.com
Nicolas RollandVerified email at ensae.org
Ugo Dal LagoProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Lars-Henrik ErikssonUppsala universityVerified email at it.uu.se
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
David BromanKTH Royal Institute of TechnologyVerified email at kth.se
Daniel LundénPhD student, KTH Royal Institute of TechnologyVerified email at kth.se
Thomas SchönProfessor, Uppsala UniversityVerified email at it.uu.se
Lawrence MurrayUber AIVerified email at uber.com
Jan KudlickaAssistant Professor, BI Norwegian Business SchoolVerified email at bi.no
Fredrik RonquistProfessor, Swedish Museum of Natural History, Dept. Bioinformatics and GeneticsVerified email at nrm.se
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
Long OuyangDepartment of Psychology, Stanford UniversityVerified email at stanford.edu

Johannes Borgström

Docent in computing science, Uppsala University

Verified email at it.uu.se - Homepage

Probabilistic programming concurrency type systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A lambda-calculus foundation for universal probabilistic programming J Borgström, U Dal Lago, AD Gordon, M Szymczak ACM SIGPLAN Notices 51 (9), 33-46, 2016	79	2016
A Lambda-Calculus Foundation for Universal Probabilistic Programming J Borgström, UD Lago, AD Gordon, M Szymczak arXiv preprint arXiv:1512.08990, 2015	79	2015
Measure transformer semantics for Bayesian machine learning J Borgström, AD Gordon, M Greenberg, J Margetson, J Van Gael European Symposium on Programming, 77-96, 2011	77	2011
Symbolic bisimulation in the spi calculus J Borgström, S Briais, U Nestmann International Conference on Concurrency Theory, 161-176, 2004	70	2004
Bayesian inference using data flow analysis G Claret, SK Rajamani, AV Nori, AD Gordon, J Borgström Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	62	2013
Tabular: a schema-driven probabilistic programming language AD Gordon, T Graepel, N Rolland, C Russo, J Borgstrom, J Guiver Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	56	2014
Broadcast psi-calculi with an application to wireless protocols J Borgström, S Huang, M Johansson, P Raabjerg, B Victor, JÅ Pohjola, ... Software & Systems Modeling 14 (1), 201-216, 2015	54	2015
Broadcast psi-calculi with an application to wireless protocols J Borgström, S Huang, M Johansson, P Raabjerg, B Victor, JÅ Pohjola, ... International Conference on Software Engineering and Formal Methods, 74-89, 2011	54*	2011
Deriving Probability Density Functions from Probabilistic Functional Programs C Russo, AD Gordon, J Borgström, S Bhat Logical Methods in Computer Science 13, 2017	45*	2017
Deriving probability density functions from probabilistic functional programs S Bhat, J Borgström, AD Gordon, C Russo International Conference on Tools and Algorithms for the Construction and …, 2013	42	2013
On bisimulations for the spi calculus J Borgström, U Nestmann International Conference on Algebraic Methodology and Software Technology …, 2002	41	2002
Measure Transformer Semantics for Bayesian Machine Learning J Van Gael, J Margetson, M Greenberg, AD Gordon, J Borgström Logical Methods in Computer Science 9, 2013	39*	2013
A model-learner pattern for Bayesian reasoning AD Gordon, M Aizatulin, J Borgstrom, G Claret, T Graepel, AV Nori, ... ACM SIGPLAN Notices 48 (1), 403-416, 2013	36	2013
Verifying a structured peer-to-peer overlay network: The static case J Borgström, U Nestmann, L Onana, D Gurov International Workshop on Global Computing, 250-265, 2004	30	2004
Roles, stacks, histories: A triple for Hoare J Borgström, AD Gordon, R Pucella Journal of Functional Programming 21 (2), 159-207, 2011	29	2011
On bisimulations for the spi calculus J Borgström, U Nestmann Mathematical Structures in Computer Science 15 (3), 487-552, 2005	26	2005
Modal logics for nominal transition systems J Parrow, J Borgström, LH Eriksson, R Gutkovas, T Weber 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	24*	2015
Higher-order psi-calculi J Parrow, J Borgström, P Raabjerg, J Åman Pohjola Mathematical Structures in Computer Science 24 (2), 2014	19	2014
Verifying stateful programs with substructural state and hoare types J Borgstrom, J Chen, N Swamy Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011	18	2011
Maintaining database integrity with refinement types IG Baltopoulos, J Borgström, AD Gordon European Conference on Object-Oriented Programming, 484-509, 2011	17	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors