Johannes Borgström
发表
Simon Kramer,
Johannes Borgström,
Olga Grinchtein,
2006,
Formal Aspects in Security and Trust.
Thomas B. Schön,
David Broman,
Lawrence M. Murray,
2020,
bioRxiv.
Andrew D. Gordon,
Riccardo Pucella,
Johannes Borgström,
2011,
J. Funct. Program..
Claudio V. Russo,
Andrew D. Gordon,
Sriram K. Rajamani,
2013,
POPL.
Andrew D. Gordon,
Karthikeyan Bhargavan,
Johannes Borgström,
2009,
Haskell.
Sven Schneider,
Uwe Nestmann,
Johannes Borgström,
2008,
SJTU-TUB Joint Workshop.
Björn Victor,
Joachim Parrow,
Johannes Borgström,
2013,
TGC.
Lars-Henrik Eriksson,
Joachim Parrow,
Johannes Borgström,
2017,
FORTE.
Claudio V. Russo,
Andrew D. Gordon,
Johannes Borgström,
2017,
Log. Methods Comput. Sci..
Claudio V. Russo,
Andrew D. Gordon,
Johannes Borgström,
2013,
TACAS.
Joachim Parrow,
Johannes Borgström,
Johannes Åman Pohjola,
2014,
Math. Struct. Comput. Sci..
Uwe Nestmann,
Johannes Borgström,
2002,
AMAST.
David Broman,
Johannes Borgström,
Daniel Lundén,
2020,
ArXiv.
Uwe Nestmann,
Johannes Borgström,
Sébastien Briais,
2004,
CONCUR.
Uwe Nestmann,
Johannes Borgström,
2005,
Math. Struct. Comput. Sci..
Claudio V. Russo,
Sriram K. Rajamani,
Thore Graepel,
2013,
POPL 2015.
Johannes Borgström,
J. Borgström,
2006,
EXPRESS.
Andrew D. Gordon,
Michael Greenberg,
Johannes Borgström,
2011,
ESOP.
Joachim Parrow,
Johannes Borgström,
Palle Raabjerg,
2013
.
Claudio V. Russo,
Andrew D. Gordon,
Adam Scibior,
2016,
POPL.
Bas Luttik,
Johannes Borgström,
2013
.
Uwe Nestmann,
Simon Kramer,
Johannes Borgström,
2006
.
Andrew D. Gordon,
Andrew Phillips,
Johannes Borgström,
2007,
EXPRESS.
Björn Victor,
Ioana Rodhe,
Johannes Borgström,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Andrew D. Gordon,
Michael Greenberg,
Johannes Borgström,
2011,
ESOP.
Björn Victor,
Joachim Parrow,
Johannes Borgström,
2013,
Log. Methods Comput. Sci..
Juan Chen,
Nikhil Swamy,
Johannes Borgström,
2011,
PLPV '11.
Björn Victor,
Ioana Rodhe,
Johannes Borgström,
2015,
ACM Trans. Embed. Comput. Syst..
Andrew D. Gordon,
Riccardo Pucella,
Johannes Borgström,
2010,
Reflections on the Work of C. A. R. Hoare.
Ugo Dal Lago,
Andrew D. Gordon,
Johannes Borgström,
2015,
ICFP.
Lars-Henrik Eriksson,
Joachim Parrow,
Johannes Borgström,
2019,
CONCUR.
Johannes Borgström,
J. Borgström,
2009,
SecCo@CONCUR.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2013,
ESEC/FSE 2013.
Claudio V. Russo,
Andrew D. Gordon,
Thore Graepel,
2015,
ESOP.
Dilian Gurov,
Uwe Nestmann,
Luc Onana Alima,
2004,
Global Computing.
Björn Victor,
Magnus Johansson,
Joachim Parrow,
2011,
SEFM.
Claudio V. Russo,
Andrew D. Gordon,
Thore Graepel,
2014,
POPL.
Andrew D. Gordon,
Johannes Borgström,
Ioannis G. Baltopoulos,
2011,
ECOOP.
Björn Victor,
Magnus Johansson,
Joachim Parrow,
2013,
Software & Systems Modeling.
David Broman,
Johannes Borgström,
Daniel Lundén,
2021,
ESOP.
Johannes Borgström,
J. Borgström,
2008
.
Björn Victor,
Joachim Parrow,
Johannes Borgström,
2012
.
Joachim Parrow,
Ioana Rodhe,
Johannes Borgström,
2013
.