Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johannes Borgström
@article{DBLP:journals/lmcs/ParrowBEGW21,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
title = {Modal Logics for Nominal Transition Systems},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7137},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ParrowBEGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LundenBB21,
author = {Daniel Lund{\'{e}}n and
Johannes Borgstr{\"{o}}m and
David Broman},
editor = {Nobuko Yoshida},
title = {Correctness of Sequential Monte Carlo Inference for Probabilistic
Programming Languages},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {404--431},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_15},
doi = {10.1007/978-3-030-72019-3\_15},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/LundenBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05191,
author = {Daniel Lund{\'{e}}n and
Johannes Borgstr{\"{o}}m and
David Broman},
title = {Correctness of Sequential Monte Carlo Inference for Probabilistic
Programming Languages},
journal = {CoRR},
volume = {abs/2003.05191},
year = {2020},
url = {https://arxiv.org/abs/2003.05191},
eprinttype = {arXiv},
eprint = {2003.05191},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02564,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
title = {Modal Logics for Nominal Transition Systems},
journal = {CoRR},
volume = {abs/1904.02564},
year = {2019},
url = {http://arxiv.org/abs/1904.02564},
eprinttype = {arXiv},
eprint = {1904.02564},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BhatBGR17,
author = {Sooraj Bhat and
Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Claudio V. Russo},
title = {Deriving Probability Density Functions from Probabilistic Functional
Programs},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:16)2017},
doi = {10.23638/LMCS-13(2:16)2017},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BhatBGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ParrowWBE17,
author = {Joachim Parrow and
Tjark Weber and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {Weak Nominal Modal Logic},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {179--193},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_13},
doi = {10.1007/978-3-319-60225-7\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ParrowWBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhatBGR17,
author = {Sooraj Bhat and
Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Claudio V. Russo},
title = {Deriving Probability Density Functions from Probabilistic Functional
Programs},
journal = {CoRR},
volume = {abs/1704.00917},
year = {2017},
url = {http://arxiv.org/abs/1704.00917},
eprinttype = {arXiv},
eprint = {1704.00917},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BhatBGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/WeberEPBG16,
author = {Tjark Weber and
Lars{-}Henrik Eriksson and
Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas},
title = {Modal Logics for Nominal Transition Systems},
journal = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Modal\_Logics\_for\_NTS.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/WeberEPBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromGPVP15,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
title = {A Sorted Semantic Framework for Applied Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(1:8)2016},
doi = {10.2168/LMCS-12(1:8)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromGPVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BorgstromLGS16,
author = {Johannes Borgstr{\"{o}}m and
Ugo Dal Lago and
Andrew D. Gordon and
Marcin Szymczak},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A lambda-calculus foundation for universal probabilistic programming},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {33--46},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951942},
doi = {10.1145/2951913.2951942},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BorgstromLGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BorgstromGORSS16,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Long Ouyang and
Claudio V. Russo and
Adam {\'{S}}cibior and
Marcin Szymczak},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Fabular: regression formulas as probabilistic programming},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {271--283},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837653},
doi = {10.1145/2837614.2837653},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BorgstromGORSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BorgstromHJRVPP15,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
title = {Broadcast psi-calculi with an application to wireless protocols},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {201--216},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0375-z},
doi = {10.1007/S10270-013-0375-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BorgstromHJRVPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BorgstromGRV15,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Ioana Rodhe and
Bj{\"{o}}rn Victor},
title = {The Psi-Calculi Workbench: {A} Generic Tool for Applied Process Calculi},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {1},
pages = {9:1--9:25},
year = {2015},
url = {https://doi.org/10.1145/2682570},
doi = {10.1145/2682570},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BorgstromGRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowBEGW15,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Modal Logics for Nominal Transition Systems},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {198--211},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.198},
doi = {10.4230/LIPICS.CONCUR.2015.198},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/ParrowBEGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GordonRSBRGT15,
author = {Andrew D. Gordon and
Claudio V. Russo and
Marcin Szymczak and
Johannes Borgstr{\"{o}}m and
Nicolas Rolland and
Thore Graepel and
Daniel Tarlow},
editor = {Jan Vitek},
title = {Probabilistic Programs as Spreadsheet Queries},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {1--25},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_1},
doi = {10.1007/978-3-662-46669-8\_1},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GordonRSBRGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromLGS15,
author = {Johannes Borgstr{\"{o}}m and
Ugo Dal Lago and
Andrew D. Gordon and
Marcin Szymczak},
title = {A Lambda-Calculus Foundation for Universal Probabilistic Programming},
journal = {CoRR},
volume = {abs/1512.08990},
year = {2015},
url = {http://arxiv.org/abs/1512.08990},
eprinttype = {arXiv},
eprint = {1512.08990},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BorgstromLGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ParrowBRP14,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Palle Raabjerg and
Johannes {\AA}man Pohjola},
title = {Higher-order psi-calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {2},
year = {2014},
url = {https://doi.org/10.1017/S0960129513000170},
doi = {10.1017/S0960129513000170},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ParrowBRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GordonGRRBG14,
author = {Andrew D. Gordon and
Thore Graepel and
Nicolas Rolland and
Claudio V. Russo and
Johannes Borgstr{\"{o}}m and
John Guiver},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Tabular: a schema-driven probabilistic programming language},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {321--334},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535850},
doi = {10.1145/2535838.2535850},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GordonGRRBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromC14,
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Proceedings Combined 21st International Workshop on Expressiveness
in Concurrency, {EXPRESS} 2014, and 11th Workshop on Structural Operational
Semantics, {SOS} 2014, Rome, Italy, 1st September 2014},
series = {{EPTCS}},
volume = {160},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160},
doi = {10.4204/EPTCS.160},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromGGMG13,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Michael Greenberg and
James Margetson and
Jurgen Van Gael},
title = {Measure Transformer Semantics for Bayesian Machine Learning},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:11)2013},
doi = {10.2168/LMCS-9(3:11)2013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BorgstromGGMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BorgstromGRV13,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Ioana Rodhe and
Bj{\"{o}}rn Victor},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {A Parametric Tool for Applied Process Calculi},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {180--185},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.22},
doi = {10.1109/ACSD.2013.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BorgstromGRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GordonABCGNRR13,
author = {Andrew D. Gordon and
Mihhail Aizatulin and
Johannes Borgstr{\"{o}}m and
Guillaume Claret and
Thore Graepel and
Aditya V. Nori and
Sriram K. Rajamani and
Claudio V. Russo},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {A model-learner pattern for bayesian reasoning},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {403--416},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429119},
doi = {10.1145/2429069.2429119},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GordonABCGNRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ClaretRNGB13,
author = {Guillaume Claret and
Sriram K. Rajamani and
Aditya V. Nori and
Andrew D. Gordon and
Johannes Borgstr{\"{o}}m},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Bayesian inference using data flow analysis},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {92--102},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491423},
doi = {10.1145/2491411.2491423},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ClaretRNGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BhatBGR13,
author = {Sooraj Bhat and
Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Claudio V. Russo},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Deriving Probability Density Functions from Probabilistic Functional
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {508--522},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_35},
doi = {10.1007/978-3-642-36742-7\_35},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BhatBGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BorgstromGPVP13,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {A Sorted Semantic Framework for Applied Process Calculi (Extended
Abstract)},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {103--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_7},
doi = {10.1007/978-3-319-05119-2\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BorgstromGPVP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromL13,
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Proceedings Combined 20th International Workshop on Expressiveness
in Concurrency and 10th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
series = {{EPTCS}},
volume = {120},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120},
doi = {10.4204/EPTCS.120},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BorgstromGP11,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Riccardo Pucella},
title = {Roles, stacks, histories: {A} triple for Hoare},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {159--207},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000134},
doi = {10.1017/S0956796810000134},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BorgstromGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BaltopoulosBG11,
author = {Ioannis G. Baltopoulos and
Johannes Borgstr{\"{o}}m and
Andrew D. Gordon},
editor = {Mira Mezini},
title = {Maintaining Database Integrity with Refinement Types},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {484--509},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_23},
doi = {10.1007/978-3-642-22655-7\_23},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BaltopoulosBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BorgstromGGMG11,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Michael Greenberg and
James Margetson and
Jurgen Van Gael},
editor = {Gilles Barthe},
title = {Measure Transformer Semantics for Bayesian Machine Learning},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 2011, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {77--96},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_5},
doi = {10.1007/978-3-642-19718-5\_5},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/BorgstromGGMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/BorgstromCS11,
author = {Johannes Borgstr{\"{o}}m and
Juan Chen and
Nikhil Swamy},
editor = {Ranjit Jhala and
Wouter Swierstra},
title = {Verifying stateful programs with substructural state and hoare types},
booktitle = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
pages = {15--26},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929529.1929532},
doi = {10.1145/1929529.1929532},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/BorgstromCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BorgstromHJRVPP11,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Broadcast Psi-calculi with an Application to Wireless Protocols},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_7},
doi = {10.1007/978-3-642-24690-6\_7},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BorgstromGP10,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Riccardo Pucella},
editor = {A. W. Roscoe and
Clifford B. Jones and
Kenneth R. Wood},
title = {Roles, Stacks, Histories: {A} Triple for Hoare},
booktitle = {Reflections on the Work of C. A. R. Hoare},
pages = {71--99},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84882-912-1\_4},
doi = {10.1007/978-1-84882-912-1\_4},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/BorgstromGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BorgstromBG09,
author = {Johannes Borgstr{\"{o}}m and
Karthikeyan Bhargavan and
Andrew D. Gordon},
editor = {Stephanie Weirich},
title = {A compositional theory for {STM} Haskell},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2009, Edinburgh, Scotland, UK, 3 September 2009},
pages = {69--80},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596638.1596648},
doi = {10.1145/1596638.1596648},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/BorgstromBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtb/0001BN08,
author = {Sven Schneider and
Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
editor = {Bernd Mahr and
Huanye Sheng},
title = {Towards the Application of Process Calculi in the Domain of Peer-to-Peer
Algorithms},
booktitle = {Autonomous Systems - Self-Organization, Management, and Control, Proceedings
of the 8th International Workshop held at Shanghai Jiao Tong University,
Shanghai, China, October 6-7, 2008},
pages = {97--104},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-1-4020-8889-6\_11},
doi = {10.1007/978-1-4020-8889-6\_11},
timestamp = {Tue, 12 Jan 2021 12:26:52 +0100},
biburl = {https://dblp.org/rec/conf/jtb/0001BN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Borgstrom09,
author = {Johannes Borgstr{\"{o}}m},
editor = {Steve Kremer and
Prakash Panangaden},
title = {A Complete Symbolic Bisimilarity for an Extended Spi Calculus},
booktitle = {Proceedings of the 6th Workshop on Security Issues in Concurrency,
SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {3},
pages = {3--20},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.078},
doi = {10.1016/J.ENTCS.2009.07.078},
timestamp = {Fri, 24 Feb 2023 13:42:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Borgstrom09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorgstromGP08,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Andrew Phillips},
editor = {Roberto M. Amadio and
Thomas T. Hildebrandt},
title = {A Chart Semantics for the Pi-Calculus},
booktitle = {Proceedings of the 14th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2007, Lisbon, Portugal, September 3, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {2},
pages = {3--29},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.11.002},
doi = {10.1016/J.ENTCS.2007.11.002},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorgstromGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BorgstromGK06,
author = {Johannes Borgstr{\"{o}}m and
Olga Grinchtein and
Simon Kramer},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Timed Calculus of Cryptographic Communication},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {16--30},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_2},
doi = {10.1007/978-3-540-75227-1\_2},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BorgstromGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BorgstromN05,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
title = {On bisimulations for the spi calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {3},
pages = {487--552},
year = {2005},
url = {https://doi.org/10.1017/S0960129505004706},
doi = {10.1017/S0960129505004706},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BorgstromN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Borgstrom06,
author = {Johannes Borgstr{\"{o}}m},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Static Equivalence \emph{is} Harder than Knowledge},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {45--57},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.006},
doi = {10.1016/J.ENTCS.2006.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Borgstrom06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BorgstromBN04,
author = {Johannes Borgstr{\"{o}}m and
S{\'{e}}bastien Briais and
Uwe Nestmann},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Symbolic Bisimulation in the Spi Calculus},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {161--176},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_11},
doi = {10.1007/978-3-540-28644-8\_11},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BorgstromBN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BorgstromNAG04,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann and
Luc Onana Alima and
Dilian Gurov},
editor = {Corrado Priami and
Paola Quaglia},
title = {Verifying a Structured Peer-to-Peer Overlay Network: The Static Case},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {250--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_13},
doi = {10.1007/978-3-540-31794-4\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gc/BorgstromNAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BorgstromN02,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {On Bisimulations for the Spi Calculus},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {287--303},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_20},
doi = {10.1007/3-540-45719-4\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BorgstromN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
