×

zbMATH — the first resource for mathematics

Borgström, Johannes

Compute Distance To:
Author ID: borgstrom.johannes Recent zbMATH articles by "Borgström, Johannes"
Published as: Borgström, Johannes; Borgstrom, Johannes
External Links: MGP
Documents Indexed: 25 Publications since 2002, including 2 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 55 times in 43 Documents Cited by Year
Symbolic bisimulation in the spi calculus. Zbl 1099.68665
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe
11
2004
Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
6
2013
Modal logics for nominal transition systems. Zbl 1374.68339
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Gutkovas, Ramunas; Weber, Tjark
6
2015
Broadcast psi-calculi with an application to wireless protocols. Zbl 1350.68041
Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle; Victor, Björn; Åman Pohjola, Johannes; Parrow, Joachim
5
2011
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
5
2005
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
3
2011
A sorted semantic framework for applied process calculi (extended abstract). Zbl 1348.68158
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Åman Pohjola, Johannes
3
2014
Higher-order psi-calculi. Zbl 1342.68239
Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Pohjola, Johannes Åman
3
2014
Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103
Gordon, Andrew D.; Graepel, Thore; Rolland, Nicolas; Russo, Claudio; Borgstrom, Johannes; Guiver, John
2
2014
A complete symbolic bisimilarity for an extended spi calculus. Zbl 1294.68109
Borgström, Johannes
2
2009
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo
1
2011
Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305
Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian
1
2005
A sorted semantic framework for applied process calculi. Zbl 1448.68331
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Pohjola, Johannes Åman
1
2016
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
A sorted semantic framework for applied process calculi. Zbl 1448.68331
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Pohjola, Johannes Åman
1
2016
Modal logics for nominal transition systems. Zbl 1374.68339
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Gutkovas, Ramunas; Weber, Tjark
6
2015
A sorted semantic framework for applied process calculi (extended abstract). Zbl 1348.68158
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Åman Pohjola, Johannes
3
2014
Higher-order psi-calculi. Zbl 1342.68239
Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Pohjola, Johannes Åman
3
2014
Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103
Gordon, Andrew D.; Graepel, Thore; Rolland, Nicolas; Russo, Claudio; Borgstrom, Johannes; Guiver, John
2
2014
Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
6
2013
Broadcast psi-calculi with an application to wireless protocols. Zbl 1350.68041
Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle; Victor, Björn; Åman Pohjola, Johannes; Parrow, Joachim
5
2011
Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
3
2011
Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo
1
2011
A complete symbolic bisimilarity for an extended spi calculus. Zbl 1294.68109
Borgström, Johannes
2
2009
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
5
2005
Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305
Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian
1
2005
Symbolic bisimulation in the spi calculus. Zbl 1099.68665
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe
11
2004
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
all top 5

Cited by 86 Authors

4 Jacobs, Bart
4 Parrow, Joachim
3 Borgström, Johannes
3 Hennessy, Matthew C. B.
3 Koutavas, Vasileios
3 Tiu, Alwen Fernanto
2 Aceto, Luca
2 Briais, Sébastien
2 Fábregas, Ignacio
2 Fournet, Cédric
2 García-Pérez, Álvaro
2 Gordon, Andrew D.
2 Gretz, Friedrich
2 Horne, Ross
2 Hüttel, Hans
2 Ingólfsdóttir, Anna
2 Jansen, Nils
2 Kaminski, Benjamin Lucien
2 Katoen, Joost-Pieter
2 Nestmann, Uwe
2 Olmedo, Federico
2 Weber, Tjark
1 Abadi, Martín
1 Adams, Robin
1 Ahn, Ki Yung
1 Åman Pohjola, Johannes
1 Ambal, Guillaume
1 Bengtson, Jesper
1 Bhargavan, Karthikeyan
1 Blanchet, Bruno
1 Cenciarelli, Pietro
1 Chadha, Rohit
1 Cheval, Vincent
1 Cho, Kenta
1 Ciobâcă, Ştefan
1 Cobb, Andrew
1 Cristescu, Ioana Domnina
1 Culpepper, Ryan
1 Dawson, Jeremy E.
1 Delaune, Stéphanie
1 Eriksson, Lars-Henrik
1 Forsberg Gutkovas, Ramūnas
1 Foster, Nate
1 Gazda, Maciej W.
1 Ghassemi, Fatemeh
1 Given-Wilson, Thomas
1 Gorla, Daniele
1 Greenberg, Michael D.
1 Hirschi, Lucca
1 Höfner, Peter
1 Johansen, Christian
1 Johansson, Magnus M.
1 Khosravi, Ramtin
1 Klin, Bartek
1 Kozen, Dexter C.
1 Kremer, Steve
1 Legay, Axel
1 Łełyk, Mateusz
1 Lenglet, Sergueï
1 Lin, Huimin
1 Liu, Jia
1 Mamouras, Konstantinos
1 Margetson, James
1 Martinho, Joana
1 McIver, Annabelle K.
1 Momigliano, Alberto
1 Morrisett, Greg
1 Normann, Håkon
1 Ortega-Mallén, Yolanda
1 Pientka, Brigitte
1 Pierce, Benjamin C.
1 Portmann, Marius
1 Ravara, António
1 Reitblatt, Mark
1 Salvo, Ivano
1 Schmitt, Alan
1 Silva, Alexandra
1 Staton, Sam
1 Sumii, Eijiro
1 Tan, Wee Lum
1 Thibodeau, David
1 Van Gael, Jurgen
1 van Glabbeek, Robert Jan
1 Victor, Björn
1 Yousefi, Behnaz
1 Zanasi, Fabio

Citations by Year