×

Petersen, Rasmus Lerchedahl

Author ID: petersen.rasmus-lerchedahl Recent zbMATH articles by "Petersen, Rasmus Lerchedahl"
Published as: Petersen, Rasmus Lerchedahl; Petersen, Rasmus L.; Petersen, Rasmus; Petersen, R. L.
External Links: MGP
Documents Indexed: 14 Publications since 2006, including 1 Additional arXiv Preprint
Co-Authors: 22 Co-Authors with 14 Joint Publications
402 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 66 times in 60 Documents Cited by Year
Automated cyclic entailment proofs in separation logic. Zbl 1341.68184
Brotherston, James; Distefano, Dino; Petersen, Rasmus Lerchedahl
22
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
12
2011
Runtime verification based on register automata. Zbl 1381.68165
Grigore, Radu; Distefano, Dino; Petersen, Rasmus Lerchedahl; Tzevelekos, Nikos
8
2013
A realizability model for impredicative Hoare type theory. Zbl 1133.68311
Petersen, Rasmus Lerchedahl; Birkedal, Lars; Nanevski, Aleksandar; Morrisett, Greg
5
2008
Abstract modelling of tethered DNA circuits. Zbl 1423.68172
Lakin, Matthew R.; Petersen, Rasmus; Gray, Kathryn E.; Phillips, Andrew
4
2014
On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072
O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar
4
2015
Linear Abadi & Plotkin logic. Zbl 1127.03022
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl
3
2006
Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2008
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2006
Domain-theoretical models of parametric polymorphism. Zbl 1138.03027
Birkedal, L.; Møgelberg, R. E.; Petersen, R. L.
1
2007
A strand graph semantics for DNA-based computation. Zbl 1339.68084
Petersen, Rasmus L.; Lakin, Matthew R.; Phillips, Andrew
1
2016
A strand graph semantics for DNA-based computation. Zbl 1339.68084
Petersen, Rasmus L.; Lakin, Matthew R.; Phillips, Andrew
1
2016
On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072
O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar
4
2015
Abstract modelling of tethered DNA circuits. Zbl 1423.68172
Lakin, Matthew R.; Petersen, Rasmus; Gray, Kathryn E.; Phillips, Andrew
4
2014
Runtime verification based on register automata. Zbl 1381.68165
Grigore, Radu; Distefano, Dino; Petersen, Rasmus Lerchedahl; Tzevelekos, Nikos
8
2013
Automated cyclic entailment proofs in separation logic. Zbl 1341.68184
Brotherston, James; Distefano, Dino; Petersen, Rasmus Lerchedahl
22
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
12
2011
A realizability model for impredicative Hoare type theory. Zbl 1133.68311
Petersen, Rasmus Lerchedahl; Birkedal, Lars; Nanevski, Aleksandar; Morrisett, Greg
5
2008
Category-theoretic models of linear Abadi & Plotkin logic. Zbl 1140.03012
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2008
Domain-theoretical models of parametric polymorphism. Zbl 1138.03027
Birkedal, L.; Møgelberg, R. E.; Petersen, R. L.
1
2007
Linear Abadi & Plotkin logic. Zbl 1127.03022
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus Lerchedahl
3
2006
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. Zbl 1273.03099
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.
3
2006
all top 5

Cited by 96 Authors

5 Birkedal, Lars
5 Hoare, C. A. R. Tony
4 Tatsuta, Makoto
3 Berardi, Stefano
3 Das, Anupam
3 Møgelberg, Rasmus Ejlers
3 Möller, Bernhard
3 Petersen, Rasmus Lerchedahl
3 Struth, Georg
3 Tzevelekos, Nikos
3 van Staden, Stephan
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Dang, Han-Hing
2 Dongol, Brijesh
2 Girlando, Marianna
2 Hou, Zhe
2 Jipsen, Peter
2 Lakin, Matthew R.
2 Matheja, Christoph
2 Moerman, Joshua
2 Murawski, Andrzej S.
2 Phillips, Andrew
2 Ramsay, Steven J.
2 Sammartino, Matteo
2 Simpson, Alex K.
2 Støvring, Kristian
2 Thamsborg, Jacob
2 Tiu, Alwen Fernanto
2 Wu, Zhilin
2 Zuleger, Florian
1 Afshari, Bahareh
1 Al Ameen, Mahmudul Faisal
1 Bandukara, M. H.
1 Blanchette, Jasmin Christian
1 Boemo, Michael A.
1 Cardelli, Luca
1 Charlton, Nathaniel
1 Cohen, Liron
1 Degano, Pierpaolo
1 Docherty, Simon
1 Ferrari, Gian Luigi
1 Filinski, Andrzej
1 Francalanza, Adrian
1 Frank, Florian
1 Gomes, Victor B. F.
1 Goré, Rajeev Prabhakar
1 Gu, Xincai
1 Hayes, Ian J.
1 Hussain, Akbar
1 Iosif, Radu
1 Jansen, Christina
1 Johann, Patricia
1 Katelaan, Jens
1 Khoo, Siau-Cheng
1 Kimura, Daisuke
1 Le, Quang Loc
1 Le, Ton Chanh
1 Le, Xuan-Bach D.
1 Litak, Tadeusz
1 Löding, Christof
1 Madhusudan, Parthasarathy
1 Maksimov, Vyacheslav Ivanovich
1 Malecha, Gregory
1 McIver, Annabelle K.
1 Mezzetti, Gianluca
1 Milius, Stefan
1 Morgan, Carroll C.
1 Morrisett, Greg
1 Moshier, M. Andrew
1 Müller, Martin Eric
1 Murali, Adithya
1 Nakazawa, Koji
1 Nanevski, Aleksandar
1 Noll, Thomas
1 O’Hearn, Peter W.
1 Pagel, Jens
1 Peña, Lucas
1 Popescu, Andrei
1 Pym, David J.
1 Rabehaja, Tahiry M.
1 Reus, Bernhard
1 Rosolini, Giuseppe
1 Saotome, Kenji
1 Song, Fu
1 Sterling, Jonathan
1 Surkov, Platon Gennad’evich
1 Svendsen, Kasper
1 Ta, Quang-Trung
1 Traytel, Dmitry
1 Turberfield, Andrew J.
1 Urbat, Henning
1 Villard, Jules
1 Voigtlander, Janis
1 Wehr, Dominik
1 Wisnesky, Ryan

Citations by Year