| Predicting DNA hybridization kinetics from sequence JX Zhang, JZ Fang, W Duan, LR Wu, AW Zhang, N Dalchau, B Yordanov, ... Nature chemistry 10 (1), 91-98, 2018 | 183 | 2018 |
| A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012 | 163 | 2012 |
| Computational design of nucleic acid feedback control circuits B Yordanov, J Kim, RL Petersen, A Shudy, VV Kulkarni, A Phillips ACS synthetic biology 3 (8), 600-616, 2014 | 118 | 2014 |
| Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 99 | 2011 |
| Runtime verification based on register automata R Grigore, D Distefano, RL Petersen, N Tzevelekos Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 59 | 2013 |
| Program analysis for overlaid data structures O Lee, H Yang, R Petersen Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 48 | 2011 |
| Abstract modelling of tethered DNA circuits MR Lakin, R Petersen, KE Gray, A Phillips DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014 | 38 | 2014 |
| A realizability model for impredicative Hoare Type Theory RL Petersen, L Birkedal, A Nanevski, G Morrisett Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 37 | 2008 |
| On locality and the exchange law for concurrent processes CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 34 | 2011 |
| A strand graph semantics for DNA-based computation RL Petersen, MR Lakin, A Phillips Theoretical computer science 632, 43-73, 2016 | 30 | 2016 |
| Linear abadi and plotkin logic L Birkedal, RE Møgelberg, RL Petersen Logical Methods in Computer Science 2, 2006 | 27 | 2006 |
| Synthesizing and tuning stochastic chemical reaction networks with specified behaviours N Murphy, R Petersen, A Phillips, B Yordanov, N Dalchau Journal of The Royal Society Interface 15 (145), 20180283, 2018 | 23 | 2018 |
| On the relation between concurrent separation logic and concurrent Kleene algebra PW O'Hearn, RL Petersen, J Villard, A Hussain Journal of Logical and Algebraic Methods in Programming 84 (3), 285-302, 2015 | 15 | 2015 |
| Domain-theoretical models of parametric polymorphism L Birkedal, RE Møgelberg, RL Petersen Theoretical Computer Science 388 (1-3), 152-172, 2007 | 15 | 2007 |
| Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus L Birkedal, RE Møgelberg, RL Petersen Electronic Notes in Theoretical Computer Science 155, 191-217, 2006 | 15 | 2006 |
| Categorical models of PILL RE Møgelberg, L Birkedal, RL Petersen Technical Report TR-2005-58, IT University of Copenhagen 1 (4), 4, 2005 | 13 | 2005 |
| Category-theoretic models of linear Abadi & Plotkin Logic. L Birkedal, RE Møgelberg, RL Petersen Theory and Applications of Categories [electronic only] 20, 116-151, 2008 | 11 | 2008 |
| Circulating miRNAs as potential biomarkers for patient stratification in bipolar disorder: a combined review and data mining approach AR Clausen, S Durand, RL Petersen, NH Staunstrup, P Qvist Genes 13 (6), 1038, 2022 | 9 | 2022 |
| Parametric domain-theoretic models of linear Abadi & Plotkin logic L Birkedal, RE Møgelberg, RL Petersen Technical Report TR-2005-57, IT University of Copenhagen, 2005 | 9 | 2005 |
| Canonical labelling of site graphs N Oury, M Pedersen, R Petersen arXiv preprint arXiv:1306.2405, 2013 | 6 | 2013 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
