Johannes Borgström

Cited by

	All	Since 2016
Citations	848	424
h-index	16	9
i10-index	24	9

120

20032004200520062007200820092010201120122013201420152016201720182019202020213 11 14 17 33 19 25 24 35 40 59 58 72 80 77 67 114 58 28

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
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
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
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
Daniel TarlowResearch Scientist, Google Brain - MontrealVerified email at cs.toronto.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	80	2016
A Lambda-Calculus Foundation for Universal Probabilistic Programming J Borgström, UD Lago, AD Gordon, M Szymczak arXiv preprint arXiv:1512.08990, 2015	80	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	76	2011
Symbolic bisimulation in the spi calculus J Borgström, S Briais, U Nestmann International Conference on Concurrency Theory, 161-176, 2004	69	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	59	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	54	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	50	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	50*	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	42	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	36*	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	34	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
Roles, stacks, histories: A triple for Hoare J Borgström, AD Gordon, R Pucella Reflections on the Work of CAR Hoare, 71-99, 2010	29	2010
On bisimulations for the spi calculus J Borgström, U Nestmann Mathematical Structures in Computer Science 15 (3), 487-552, 2005	25	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	23*	2015
Higher-order psi-calculi J Parrow, J Borgström, P Raabjerg, J Åman Pohjola Mathematical Structures in Computer Science 24 (2), 2014	21	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

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

Upload PDF

Follow this author

Cited by

Co-authors