| Mechanistic interplay between ceramide and insulin resistance F Reali, MJ Morine, O Kahramanoğulları, S Raichur, HC Schneider, ... Scientific reports 7 (1), 41231, 2017 | 58 | 2017 |
| Biophysical mechanism for ras-nanocluster formation and signaling in plasma membrane T Gurry, O Kahramanoğulları, RG Endres PLoS One 4 (7), e6148, 2009 | 50 | 2009 |
| System BV is NP-complete O Kahramanoğulları Annals of Pure and Applied Logic 152 (1-3), 107-121, 2008 | 43 | 2008 |
| A process model of Rho GTP-binding proteins L Cardelli, E Caron, P Gardner, O Kahramanoğulları, A Phillips Theoretical Computer Science 410 (33-34), 3166-3185, 2009 | 39* | 2009 |
| A process model of actin polymerisation L Cardelli, E Caron, P Gardner, O Kahramanoğulları, A Phillips Electronic Notes in Theoretical Computer Science 229 (1), 127-144, 2009 | 38 | 2009 |
| Reducing nondeterminism in the calculus of structures O Kahramanoğulları International Conference on Logic for Programming Artificial Intelligence …, 2006 | 35 | 2006 |
| On linear logic planning and concurrency O Kahramanogullari Information and Computation 207 (11), 1229–1258, 2009 | 30* | 2009 |
| System BV without the equalities for unit O Kahramanoğulları Computer and Information Sciences-ISCIS 2004: 19th International Symposium …, 2004 | 29 | 2004 |
| Quantifying dynamic mechanisms of auto-regulation in Escherichia coli with synthetic promoter in response to varying external phosphate levels C Uluşeker, J Torres-Bacete, JL García, MM Hanczyc, J Nogales, ... Scientific reports 9 (1), 2076, 2019 | 24 | 2019 |
| Towards planning as concurrency O Kahramanogulları The IASTED International Conference on Artificial Intelligence and …, 2005 | 23 | 2005 |
| Implementing system BV of the calculus of structures in Maude O Kahramanogulları Proceedings of the ESSLLI-2004 Student Session, 117-127, 2004 | 22 | 2004 |
| An intuitive modelling interface for systems biology O Kahramanoğullari, L Cardelli International Journal of Software and Informatics, 7 (4), arXiv preprint …, 2009 | 20* | 2009 |
| Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy O Kahramanoğullari, G Fantaccini, P Lecca, D Morpurgo, C Priami PLoS One 7 (12), e50176, 2012 | 19 | 2012 |
| Maude as a platform for designing and implementing deep inference systems O Kahramanoğulları Electronic Notes in Theoretical Computer Science 219, 35-50, 2008 | 17 | 2008 |
| Nondeterminism and language design in deep inference O Kahramanogullari | 17 | 2007 |
| Implementing deep inference in TOM O Kahramanogullari, PE Moreau, A Reilles ICALP Workshop on Structures and Deduction, 158--172, 2005 | 17 | 2005 |
| Interaction and depth against nondeterminism in proof search O Kahramanogullari Logical Methods in Computer Science 10 (2:5), arXiv preprint arXiv:1403.2628, 2014 | 16 | 2014 |
| Stochastic flux analysis of chemical reaction networks O Kahramanoğulları, JF Lynch BMC Systems Biology 7 (1), 133, 2013 | 11 | 2013 |
| From the calculus of structures to term rewriting systems S Hölldobler, O Kahramanogulları Technical Report WV-04-03, TU Dresden, 2004 | 8 | 2004 |
| : An Imperative DSL to Stochastically Simulate Biological Systems R Zunino, Ɖ Nikolić, C Priami, O Kahramanoğulları, T Schiavinotto Programming Languages with Applications to Biology and Security: Essays …, 2015 | 7 | 2015 |
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
