×
Author ID: lee.peter-p Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year