Edit Profile (opens in new tab) Petersen, Rasmus Lerchedahl Co-Author Distance Author ID: petersen.rasmus-lerchedahl Published as: Petersen, Rasmus Lerchedahl; Petersen, Rasmus L.; Petersen, Rasmus; Petersen, R. L. more...less 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 all top 5 Co-Authors 0 single-authored 5 Birkedal, Lars 4 Møgelberg, Rasmus Ejlers 2 Distefano, Dino 2 Hussain, Akbar 2 Lakin, Matthew R. 2 O’Hearn, Peter W. 2 Phillips, Andrew 1 Dalchau, Neil 1 Gray, Kathryn E. 1 Grigore, Radu 1 Hoare, C. A. R. Tony 1 Lee, Oukseh 1 Möller, Bernhard 1 Morrisett, Greg 1 Murphy, Niall 1 Nanevski, Aleksandar 1 Oury, Nicolas 1 Struth, Georg 1 Tzevelekos, Nikos 1 Villard, Jules 1 Yang, Hongseok 1 Yordanov, Boyan Serials 2 Theoretical Computer Science 1 Formal Methods in System Design 1 Theory and Applications of Categories 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 13 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 2 Biology and other natural sciences (92-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 14 Serials 5 Logical Methods in Computer Science 4 Theoretical Computer Science 3 Information and Computation 2 Acta Informatica 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 MSCS. Mathematical Structures in Computer Science 2 ACM Transactions on Computational Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Computer and System Sciences 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Natural Computing 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki all top 5 Cited in 9 Fields 52 Computer science (68-XX) 30 Mathematical logic and foundations (03-XX) 3 Biology and other natural sciences (92-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Citations by Year