Johannes Borgström

	2011
14		Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon: Maintaining Database Integrity with Refinement Types. ECOOP 2011: 484-509
13		Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael: Measure Transformer Semantics for Bayesian Machine Learning. ESOP 2011: 77-96
12		Johannes Borgström, Juan Chen, Nikhil Swamy: Verifying stateful programs with substructural state and hoare types. PLPV 2011: 15-26
11		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: 74-89
10		Johannes Borgström, Andrew D. Gordon, Riccardo Pucella: Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21(2): 159-207 (2011)
	2009
9		Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon: A compositional theory for STM Haskell. Haskell 2009: 69-80
8		Johannes Borgström: A Complete Symbolic Bisimilarity for an Extended Spi Calculus. Electr. Notes Theor. Comput. Sci. 242(3): 3-20 (2009)
	2008
7		Johannes Borgström, Andrew D. Gordon, Andrew Phillips: A Chart Semantics for the Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 3-29 (2008)
	2006
6		Johannes Borgström, Olga Grinchtein, Simon Kramer: Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust 2006: 16-30
5		Johannes Borgström: Static Equivalence is Harder than Knowledge. Electr. Notes Theor. Comput. Sci. 154(3): 45-57 (2006)
	2005
4		Johannes Borgström, Uwe Nestmann: On bisimulations for the spi calculus. Mathematical Structures in Computer Science 15(3): 487-552 (2005)
	2004
3		Johannes Borgström, Sébastien Briais, Uwe Nestmann: Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176
2		Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov: Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing 2004: 250-265
	2002
1		Johannes Borgström, Uwe Nestmann: On Bisimulations for the Spi Calculus. AMAST 2002: 287-303

Coauthor Index

1	Luc Onana Alima	[2]
2	Ioannis G. Baltopoulos	[14]
3	Karthikeyan Bhargavan	[9]
4	Sébastien Briais	[3]
5	Juan Chen	[12]
6	Jurgen Van Gael	[13]
7	Andrew D. Gordon (Andy Gordon)	[7] [9] [10] [13] [14]
8	Michael Greenberg	[13]
9	Olga Grinchtein	[6]
10	Dilian Gurov	[2]
11	Shuqin Huang	[11]
12	Magnus Johansson	[11]
13	Simon Kramer	[6]
14	James Margetson	[13]
15	Uwe Nestmann	[1] [2] [3] [4]
16	Joachim Parrow	[11]
17	Andrew Phillips	[7]
18	Johannes Åman Pohjola	[11]
19	Riccardo Pucella	[10]
20	Palle Raabjerg	[11]
21	Nikhil Swamy	[12]
22	Björn Victor	[11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page