Edit Profile (opens in new tab) Lee, Peter P. Co-Author Distance Author ID: lee.peter-p Published as: Lee, Peter P.; Lee, P. P. Documents Indexed: 42 Publications since 1988, including 1 Book and 2 Additional arXiv Preprints Co-Authors: 17 Co-Authors with 15 Joint Publications 512 Co-Co-Authors all top 5 Co-Authors 5 single-authored 12 Kim, Peter S. 9 Levy, Doron 5 Necula, George C. 2 Alber, Mark S. 2 Biagioni, Edoardo 2 Casal, Arancha 2 Chander, Ajay 2 Colby, Christopher 2 Espinosa, David 2 Harper, Robert 2 Islam, Nayeem 2 Kumbhari, Adarsh 2 Park, Jongwon 2 Pfenning, Frank 2 Ray, Asok Kumar 2 Sumen, Cenk 1 Atwal, Gurinder Singh 1 Bernard, Andrew B. 1 Boni, Andrea 1 Chang, YuTeng 1 Chaug, Hung-Teng 1 Che, Xiaogang 1 Ciocarlie, Calin 1 Clementel, Luca 1 Cline, Ken 1 Crary, Karl 1 DeConde, Rob 1 Fu, Jinbo 1 Gu, Keqin 1 He, Ting-Fang 1 Levine, Herbert 1 Li, Xuefei 1 Lo, Chihyao 1 Magill, Stephen 1 McBader, Stephanie 1 Mittelstein, D. R. 1 Niculescu, Silviu-Iulian 1 Okasaki, Chris 1 Ooguri, Hirosi 1 Ortiz, Michael 1 Paquin, Dana 1 Paschalakis, Stavros 1 Philips, Chris 1 Phoha, Shashi P. 1 Pleban, Uwe F. 1 Reddy, Tim 1 Reddy, Timothy E. 1 Rosario, Anthony 1 Rose, Danya 1 Sartori, Alvise 1 Schibber, E. F. 1 Schmolze, Daniel 1 Shapiro, M. G. 1 Stone, Chris M. 1 Tsai, Ming-Hsien 1 Tsay, Yih-Kuen 1 Wang, Roger 1 Wortman, Juliana C. 1 Yang, Yibai 1 Yost, Susan E. 1 Yu, Clare C. 1 Yuan, Yuan all top 5 Serials 5 Bulletin of Mathematical Biology 5 Journal of Theoretical Biology 2 Nuclear Physics. B 2 Theoretical Computer Science 2 Higher-Order and Symbolic Computation 1 Mathematical Biosciences 1 Mathematical Social Sciences 1 Journal of Knot Theory and its Ramifications 1 Selecta Mathematica. New Series 1 Journal of Interdisciplinary Mathematics 1 Discrete and Continuous Dynamical Systems. Series B 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 18 Computer science (68-XX) 16 Biology and other natural sciences (92-XX) 4 Ordinary differential equations (34-XX) 4 Numerical analysis (65-XX) 3 Mathematical logic and foundations (03-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Manifolds and cell complexes (57-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 77 times in 62 Documents Cited by ▼ Year ▼ Emergent group dynamics governed by regulatory cells produce a robust primary T cell response. Zbl 1189.92013 Kim, Peter S.; Lee, Peter P.; Levy, Doron 14 2010 Boundary states for AdS\(_2\) branes in AdS\(_3\). Zbl 0995.81090 Lee, Peter; Ooguri, Hirosi; Park, Jongwon 13 2002 A PDE model for imatinib-treated chronic myelogenous leukemia. Zbl 1149.92018 Kim, Peter S.; Lee, Peter P.; Levy, Doron 10 2008 Automatic numeric abstractions for heap-manipulating programs. Zbl 1312.68063 Magill, Stephen; Tsai, Ming-Hsien; Lee, Peter; Tsay, Yih-Kuen 10 2010 Modeling regulation mechanisms in the immune system. Zbl 1451.92097 Kim, Peter S.; Lee, Peter P.; Levy, Doron 10 2007 Strategic treatment interruptions during imatinib treatment of chronic myelogenous leukemia. Zbl 1215.92035 Paquin, Dana; Kim, Peter S.; Lee, Peter P.; Levy, Doron 9 2011 Stability crossing boundaries of delay systems modeling immune dynamics in leukemia. Zbl 1195.34128 Niculescu, Silviu-Iulian; Kim, Peter S.; Gu, Keqin; Lee, Peter P.; Levy, Doron 8 2010 Modeling imatinib-treated chronic myelogenous leukemia: reducing the complexity of agent-based models. Zbl 1142.92017 Kim, Peter S.; Lee, Peter P.; Levy, Doron 8 2008 A theory of immunodominance and adaptive regulation. Zbl 1225.92010 Kim, Peter S.; Lee, Peter P.; Levy, Doron 7 2011 The pure virtual braid group is quadratic. Zbl 1290.16022 Lee, Peter 7 2013 Efficient representation and validation of proofs. Zbl 0945.03527 Necula, George C.; Lee, Peter 5 1998 Enforcing resource bounds via static verification of dynamic checks. Zbl 1108.68419 Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George 4 2005 Metacircularity in the polymorphic \(\lambda\)-calculus. Zbl 0736.03003 Pfenning, Frank; Lee, Peter 4 1991 Post-transplantation dynamics of the immune response to chronic myelogenous leukemia. Zbl 1442.92029 DeConde, Rob; Kim, Peter S.; Levy, Doron; Lee, Peter P. 4 2005 Basic principles in modeling adaptive regulation and immunodominance. Zbl 1345.92092 Kim, Peter S.; Lee, Peter P.; Levy, Doron 4 2013 Proof generation in the Touchstone theorem prover. Zbl 0963.68523 Necula, George C.; Lee, Peter 3 2000 Temporal logic for proof-carrying code. Zbl 1072.68563 Bernard, Andrew; Lee, Peter 2 2002 The impact of resale on entry in second price auctions. Zbl 1280.91082 Che, XiaoGang; Lee, Peter; Yang, Yibai 2 2013 A proof-carrying code architecture for Java. Zbl 0974.68546 Colby, Christopher; Lee, Peter; Necula, George C. 1 2000 A network protocol stack in standard ML. Zbl 1017.68005 Biagioni, Edoardo; Harper, Robert; Lee, Peter 1 2001 Safe-for-space threads in standard ML. Zbl 0929.68021 Biagioni, Edoardo; Cline, Ken; Lee, Peter; Okasaki, Chris; Stone, Chris 1 1998 Proof of a conjectured formula for the Alexander invariant. Zbl 1314.57017 Lee, Peter 1 2014 Optimisation of anti-cancer peptide vaccines to preferentially elicit high-avidity T cells. Zbl 1429.92082 Kumbhari, Adarsh; Kim, Peter S.; Lee, Peter P. 1 2020 Agent-based modeling of the context dependency in T cell recognition. Zbl 1442.92028 Casal, Arancha; Sumen, Cenk; Reddy, Timothy E.; Alber, Mark S.; Lee, Peter P. 1 2005 T cell state transition produces an emergent change detector. Zbl 1405.92060 Kim, Peter S.; Lee, Peter P. 1 2011 Optimisation of anti-cancer peptide vaccines to preferentially elicit high-avidity T cells. Zbl 1429.92082 Kumbhari, Adarsh; Kim, Peter S.; Lee, Peter P. 1 2020 Proof of a conjectured formula for the Alexander invariant. Zbl 1314.57017 Lee, Peter 1 2014 The pure virtual braid group is quadratic. Zbl 1290.16022 Lee, Peter 7 2013 Basic principles in modeling adaptive regulation and immunodominance. Zbl 1345.92092 Kim, Peter S.; Lee, Peter P.; Levy, Doron 4 2013 The impact of resale on entry in second price auctions. Zbl 1280.91082 Che, XiaoGang; Lee, Peter; Yang, Yibai 2 2013 Strategic treatment interruptions during imatinib treatment of chronic myelogenous leukemia. Zbl 1215.92035 Paquin, Dana; Kim, Peter S.; Lee, Peter P.; Levy, Doron 9 2011 A theory of immunodominance and adaptive regulation. Zbl 1225.92010 Kim, Peter S.; Lee, Peter P.; Levy, Doron 7 2011 T cell state transition produces an emergent change detector. Zbl 1405.92060 Kim, Peter S.; Lee, Peter P. 1 2011 Emergent group dynamics governed by regulatory cells produce a robust primary T cell response. Zbl 1189.92013 Kim, Peter S.; Lee, Peter P.; Levy, Doron 14 2010 Automatic numeric abstractions for heap-manipulating programs. Zbl 1312.68063 Magill, Stephen; Tsai, Ming-Hsien; Lee, Peter; Tsay, Yih-Kuen 10 2010 Stability crossing boundaries of delay systems modeling immune dynamics in leukemia. Zbl 1195.34128 Niculescu, Silviu-Iulian; Kim, Peter S.; Gu, Keqin; Lee, Peter P.; Levy, Doron 8 2010 A PDE model for imatinib-treated chronic myelogenous leukemia. Zbl 1149.92018 Kim, Peter S.; Lee, Peter P.; Levy, Doron 10 2008 Modeling imatinib-treated chronic myelogenous leukemia: reducing the complexity of agent-based models. Zbl 1142.92017 Kim, Peter S.; Lee, Peter P.; Levy, Doron 8 2008 Modeling regulation mechanisms in the immune system. Zbl 1451.92097 Kim, Peter S.; Lee, Peter P.; Levy, Doron 10 2007 Enforcing resource bounds via static verification of dynamic checks. Zbl 1108.68419 Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George 4 2005 Post-transplantation dynamics of the immune response to chronic myelogenous leukemia. Zbl 1442.92029 DeConde, Rob; Kim, Peter S.; Levy, Doron; Lee, Peter P. 4 2005 Agent-based modeling of the context dependency in T cell recognition. Zbl 1442.92028 Casal, Arancha; Sumen, Cenk; Reddy, Timothy E.; Alber, Mark S.; Lee, Peter P. 1 2005 Boundary states for AdS\(_2\) branes in AdS\(_3\). Zbl 0995.81090 Lee, Peter; Ooguri, Hirosi; Park, Jongwon 13 2002 Temporal logic for proof-carrying code. Zbl 1072.68563 Bernard, Andrew; Lee, Peter 2 2002 A network protocol stack in standard ML. Zbl 1017.68005 Biagioni, Edoardo; Harper, Robert; Lee, Peter 1 2001 Proof generation in the Touchstone theorem prover. Zbl 0963.68523 Necula, George C.; Lee, Peter 3 2000 A proof-carrying code architecture for Java. Zbl 0974.68546 Colby, Christopher; Lee, Peter; Necula, George C. 1 2000 Efficient representation and validation of proofs. Zbl 0945.03527 Necula, George C.; Lee, Peter 5 1998 Safe-for-space threads in standard ML. Zbl 0929.68021 Biagioni, Edoardo; Cline, Ken; Lee, Peter; Okasaki, Chris; Stone, Chris 1 1998 Metacircularity in the polymorphic \(\lambda\)-calculus. Zbl 0736.03003 Pfenning, Frank; Lee, Peter 4 1991 all cited Publications top 5 cited Publications all top 5 Cited by 157 Authors 8 Levy, Doron 6 Kim, Peter S. 5 Lee, Peter P. 3 Bunimovich-Mendrazitsky, Svetlana 2 Abid, Faiza 2 Berezansky, Leonid M. 2 Blyuss, Konstantin B. 2 Bocharov, Gennady A. 2 Bonnet, Catherine 2 Clairambault, Jean 2 Fatehi, Farzad 2 Flå, Tor 2 Jaberi-Douraki, Majid 2 Khadra, Anmar 2 Kyrychko, Yuliya N. 2 Lenhart, Suzanne M. 2 Malik, Hafiz Abid Mahmood 2 Özbay, Hitay 2 Parajdi, Lorand Gabriel 2 Pietropaolo, Massimo 2 Röder, Ingo 2 Rupp, Florian H.-H. 2 Shi, Junping 2 Wahiddin, Mohamed Ridza 2 Wilson, Shelby N. 2 Woywod, Clemens 2 Yan, Xiangping 1 Acosta, Francisco J. 1 Ajami, Maryam 1 Alshorman, Areej 1 Amin, Karim 1 Andersen, Morten 1 Andrew, Sarah M. 1 Andrieu, T. 1 Arias, Clemente F. 1 Arpin, Christophe 1 Avila, José Louis 1 Badralexi, Irina 1 Bahrami, Fariba 1 Baker, Christopher Thomas Hale 1 Ballesta, Annabelle 1 Behn, Ulrich 1 Benjelloun, Houda 1 Bernard, Samuel 1 Besse, Apollos 1 Bessonov, Nikolay M. 1 Bhatti, Zeeshan 1 Bodnar, Marek 1 Cantrell, Doreen A. 1 Chekroun, Abdennasser 1 Chulián, Salvador 1 Crauste, Fabien 1 de Carvalho, Tiago 1 Delice, Ismail Ilker 1 Djebali, Smail 1 Domoshnitsky, Alexander I. 1 Doumic, Marie 1 Eftimie, Raluca 1 Fassoni, Artur César 1 Federico, Paula 1 Fernandez-Arias, Cristina 1 Figueroa-Morales, Nuris 1 Fitzpatrick, Ben G. 1 Foryś, Urszula 1 Gandrillon, Olivier 1 Gillard, Joseph J. 1 Glauche, Ingmar 1 Gonçalves, Luiz Fernando 1 Groß, Fridolin 1 Guo, Ting 1 Hajati, Jamshid 1 Halanay, Andrei 1 Haplea, Ioan Ştefan 1 Hasselbalch, Hans C. 1 He, Danhua 1 Heffernan, Jane Marie 1 Helal, Mohamed Atef 1 Herberg, Maria 1 Herrero, Miguel Ángel 1 Horn, Matthias 1 Kanarek, Andrew R. 1 Kaneko, Gouki 1 Khalili, Pariya 1 Kherbouche, Nawal 1 Kjær, Lasse 1 Kostelich, Eric J. 1 Krishnapriya, P. 1 Kuang, Yang 1 Kumbhari, Adarsh 1 Lakmeche, Abdelkader 1 Laubenbacher, Reinhard C. 1 Le Mercier, I. 1 Leon, Kalet 1 Lepoutre, Thomas 1 Mafille, J. 1 Mahesar, Abdul Waheed 1 Mallik, Ranjan K. 1 Mancera, Paulo F. A. 1 Marie, Jean-Pierre 1 Martínez-Rubio, Álvaro ...and 57 more Authors all top 5 Cited in 33 Serials 12 Bulletin of Mathematical Biology 8 Journal of Theoretical Biology 4 Mathematical Biosciences 2 Theoretical Population Biology 2 Journal of Biological Systems 2 Journal of Biological Dynamics 2 Mathematical Modelling of Natural Phenomena 1 Journal of Mathematical Biology 1 Mathematical Methods in the Applied Sciences 1 Nonlinearity 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Automatica 1 Journal of Computational and Applied Mathematics 1 Journal of Optimization Theory and Applications 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Ricerche di Matematica 1 Optimal Control Applications & Methods 1 Acta Mathematicae Applicatae Sinica. English Series 1 Applied Mathematical Modelling 1 SIAM Review 1 Journal of Dynamics and Differential Equations 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Complexity 1 Differential Equations and Dynamical Systems 1 Communications in Nonlinear Science and Numerical Simulation 1 International Journal of Applied Mathematics and Computer Science 1 Nonlinear Analysis. Real World Applications 1 Discrete and Continuous Dynamical Systems. Series B 1 Advances in Difference Equations 1 Mathematical Biosciences and Engineering 1 S\(\vec{\text{e}}\)MA Journal 1 Mathematics and Mechanics of Complex Systems all top 5 Cited in 13 Fields 59 Biology and other natural sciences (92-XX) 16 Ordinary differential equations (34-XX) 11 Partial differential equations (35-XX) 8 Dynamical systems and ergodic theory (37-XX) 7 Systems theory; control (93-XX) 3 Numerical analysis (65-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 Difference and functional equations (39-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year