Johannes Borgström

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 11

Top Topics

Programming Language

Transition Systems

Bayesian Inference

Top Venues

Log. Methods Comput. Sci.

Publications

Daniel Lundén, Johannes Borgström, David Broman
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. ESOP (2021)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. Log. Methods Comput. Sci. 17 (1) (2021)
Daniel Lundén, Johannes Borgström, David Broman
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. CoRR (2020)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CoRR (2019)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. CoRR (2017)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. Log. Methods Comput. Sci. 13 (2) (2017)
Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
Weak Nominal Modal Logic. FORTE (2017)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi. Log. Methods Comput. Sci. 12 (1) (2016)
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
Fabular: regression formulas as probabilistic programming. POPL (2016)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A lambda-calculus foundation for universal probabilistic programming. ICFP (2016)
Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
Modal Logics for Nominal Transition Systems. Arch. Formal Proofs 2016 (2016)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CONCUR (2015)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14 (1) (2015)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A Lambda-Calculus Foundation for Universal Probabilistic Programming. CoRR (2015)
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
Probabilistic Programs as Spreadsheet Queries. ESOP (2015)
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver
Tabular: a schema-driven probabilistic programming language. POPL (2014)
Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola
Higher-order psi-calculi. Math. Struct. Comput. Sci. 24 (2) (2014)
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
A model-learner pattern for bayesian reasoning. POPL (2013)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. Log. Methods Comput. Sci. 9 (3) (2013)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). TGC (2013)
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE (2013)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. TACAS (2013)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
A Parametric Tool for Applied Process Calculi. ACSD (2013)
Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
Maintaining Database Integrity with Refinement Types. ECOOP (2011)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. ESOP (2011)
Johannes Borgström, Juan Chen, Nikhil Swamy
Verifying stateful programs with substructural state and hoare types. PLPV (2011)
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21 (2) (2011)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM (2011)
Johannes Borgström
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. Electron. Notes Theor. Comput. Sci. 242 (3) (2009)
Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
A compositional theory for STM Haskell. Haskell (2009)
Sven Schneider, Johannes Borgström, Uwe Nestmann
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. SJTU-TUB Joint Workshop (2008)
Johannes Borgström, Andrew D. Gordon, Andrew Phillips
A Chart Semantics for the Pi-Calculus. EXPRESS (2007)
Johannes Borgström, Olga Grinchtein, Simon Kramer
Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust (2006)
Johannes Borgström, Uwe Nestmann
On bisimulations for the spi calculus. Math. Struct. Comput. Sci. 15 (3) (2005)
Johannes Borgström
Harder than Knowledge. EXPRESS (2005)
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing (2004)
Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. CONCUR (2004)
Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. AMAST (2002)