共 50 条
- [41] The Role of HMGB1 in the Pathogenesis of Cystic FibrosisFREE RADICAL BIOLOGY AND MEDICINE, 2008, 45 : S45 - S45Entezari-Zaher, Tahera论文数: 0 引用数: 0 h-index: 0机构: St Johns Univ, Coll Pharm, Feinstein Inst Med Res, Collegeville, MN 56321 USA St Johns Univ, Coll Pharm, Feinstein Inst Med Res, Collegeville, MN 56321 USAMantell, Lin论文数: 0 引用数: 0 h-index: 0机构: St Johns Univ, Coll Pharm, Feinstein Inst Med Res, Collegeville, MN 56321 USA St Johns Univ, Coll Pharm, Feinstein Inst Med Res, Collegeville, MN 56321 USA
- [42] HMGB1 Mediates Paraquat-Induced Neuroinflammatory Responses via Activating RAGE Signaling PathwayNEUROTOXICITY RESEARCH, 2020, 37 (04) : 913 - 925Huang, Min论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaGuo, Muzhen论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaWang, Kai论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaWu, Kexin论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaLi, Yingying论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaTian, Tian论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaWang, Yifan论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaYan, Weiguang论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaZhou, Zhijun论文数: 0 引用数: 0 h-index: 0机构: Fudan Univ, Sch Publ Hlth, Dept Occupat Hlth & Toxicol, Shanghai, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R ChinaYang, Huifang论文数: 0 引用数: 0 h-index: 0机构: Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China Ningxia Med Univ, Sch Publ Hlth, Dept Occupat & Environm Hlth, Yinchuan, Ningxia, Peoples R China
- [43] Baiying qingmai formulation ameliorates thromboangiitis obliterans by inhibiting HMGB1/RAGE/NF-κB signaling pathwaysFRONTIERS IN PHARMACOLOGY, 2022, 13Zou, Chongchong论文数: 0 引用数: 0 h-index: 0机构: Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Liyuan Hosp, Tongji Med Coll, Dept Pharm, Wuhan, Peoples R China Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R ChinaLiu, Li论文数: 0 引用数: 0 h-index: 0机构: Hubei Univ Chinese Med, Sch Pharm, Wuhan, Peoples R China Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R ChinaHuang, Chuanqi论文数: 0 引用数: 0 h-index: 0机构: Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R China Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R ChinaHu, Song论文数: 0 引用数: 0 h-index: 0机构: Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R China Hubei Univ Chinese Med, Sch Pharm, Wuhan, Peoples R China Wuhan Hosp Tradit Chinese & Western Med, Dept Pharm, Wuhan, Peoples R China
- [44] Use of single-point mutated HMGB1 box a variants as therapeutic agents in HMGB1 and rage related pathologiesINFLAMMATION RESEARCH, 2007, 56 : S190 - S190Lorenzetto, Chiara论文数: 0 引用数: 0 h-index: 0Fumero, Silvano论文数: 0 引用数: 0 h-index: 0Barone, Domenico论文数: 0 引用数: 0 h-index: 0Traversa, Silvio论文数: 0 引用数: 0 h-index: 0Guyon, Thierry论文数: 0 引用数: 0 h-index: 0Borrelly, Gilles论文数: 0 引用数: 0 h-index: 0
- [45] Inhibition of HMGB1/RAGE-mediated endocytosis by HMGB1 antagonist box A, anti-HMGB1 antibodies, and cholinergic agonists suppresses inflammationMOLECULAR MEDICINE, 2019, 25 (1)Yang, Huan论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USALiu, Hui论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAZeng, Qiong论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAImperato, Gavin H.论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAAddorisio, Meghan E.论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USALi, Jianhua论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAHe, Mingzhu论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Mol Innovat, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USACheng, Kai Fan论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Mol Innovat, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAAl-Abed, Yousef论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Bioelect Med, Manhasset, NY 11030 USA Northwell Hlth, Elmezzi Grad Sch Mol Med, Feinstein Inst Med Res, Manhasset, NY USA Donald & Barbara Zucker Sch Med Hofstra Northwell, Hempstead, NY USA Feinstein Inst Med Res, Ctr Mol Innovat, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAHarris, Helena E.论文数: 0 引用数: 0 h-index: 0机构: Karolinska Inst, Ctr Mol Med, Dept Med Solna, S-17176 Stockholm, Sweden Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAChavan, Sangeeta S.论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Bioelect Med, Manhasset, NY 11030 USA Northwell Hlth, Elmezzi Grad Sch Mol Med, Feinstein Inst Med Res, Manhasset, NY USA Donald & Barbara Zucker Sch Med Hofstra Northwell, Hempstead, NY USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USAAndersson, Ulf论文数: 0 引用数: 0 h-index: 0机构: Karolinska Inst, Karolinska Univ Hosp, Dept Womens & Childrens Hlth, S-17176 Stockholm, Sweden Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USATracey, Kevin J.论文数: 0 引用数: 0 h-index: 0机构: Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA Feinstein Inst Med Res, Ctr Bioelect Med, Manhasset, NY 11030 USA Northwell Hlth, Elmezzi Grad Sch Mol Med, Feinstein Inst Med Res, Manhasset, NY USA Donald & Barbara Zucker Sch Med Hofstra Northwell, Hempstead, NY USA Feinstein Inst Med Res, Ctr Biomed Sci, 350 Community Dr, Manhasset, NY 11030 USA
- [46] Inhibition of HMGB1/RAGE-mediated endocytosis by HMGB1 antagonist box A, anti-HMGB1 antibodies, and cholinergic agonists suppresses inflammationMolecular Medicine, 2019, 25Huan Yang论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineHui Liu论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineQiong Zeng论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineGavin H. Imperato论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineMeghan E. Addorisio论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineJianhua Li论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineMingzhu He论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineKai Fan Cheng论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineYousef Al-Abed论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineHelena E. Harris论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineSangeeta S. Chavan论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineUlf Andersson论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic MedicineKevin J. Tracey论文数: 0 引用数: 0 h-index: 0机构: Center for Biomedical Science The Feinstein Institute for Medical Research,Center for Bioelectronic Medicine
- [47] The HMGB1/RAGE Pro-Inflammatory Axis in the Human Placenta: Modulating Effect of Low Molecular Weight HeparinMOLECULES, 2017, 22 (11):Zenerino, Cristian论文数: 0 引用数: 0 h-index: 0机构: Univ Turin, Dept Surg Sci, I-10126 Turin, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, Italy论文数: 引用数: h-index:机构:Giuffrida, Domenica论文数: 0 引用数: 0 h-index: 0机构: Univ Turin, Dept Surg Sci, I-10126 Turin, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, ItalyBiolcati, Marilisa论文数: 0 引用数: 0 h-index: 0机构: Univ Turin, Dept Surg Sci, I-10126 Turin, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, ItalyZicari, Alessandra论文数: 0 引用数: 0 h-index: 0机构: Sapienza Univ Rome, Dept Expt Med, I-00185 Rome, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, ItalyTodros, Tullia论文数: 0 引用数: 0 h-index: 0机构: Univ Turin, Dept Surg Sci, I-10126 Turin, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, ItalyRolfo, Alessandro论文数: 0 引用数: 0 h-index: 0机构: Univ Turin, Dept Surg Sci, I-10126 Turin, Italy Univ Turin, Dept Surg Sci, I-10126 Turin, Italy
- [48] Extracellular HMGB1 Contributes to the Chronic Cardiac Allograft Vasculopathy/Fibrosis by Modulating TGF-β1 SignalingFRONTIERS IN IMMUNOLOGY, 2021, 12Zou, Huijuan论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Anhui Med Univ, Affiliated Hosp 1, Reprod Med Ctr, Dept Gynaecol & Obstet, Hefei, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaMing, Bingxia论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Hosp, Tongji Med Coll, Dept Rheumatol & Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaLi, Jun论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaXiao, Yifan论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaLai, Lin论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaGao, Ming论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaXu, Yong论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaTan, Zheng论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaGong, Feili论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R ChinaZheng, Fang论文数: 0 引用数: 0 h-index: 0机构: Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China Chinese Acad Med Sci, Key Lab Organ Transplantat, Minist Educ, Wuhan, Peoples R China Chinese Acad Med Sci, NHC Key Lab Organ Transplantat, Wuhan, Peoples R China Chinese Acad Med Sci, Key Lab Organ Transplantat, Wuhan, Peoples R China Huazhong Univ Sci & Technol, Tongji Med Coll, Sch Basic Med, Dept Immunol, Wuhan, Peoples R China
- [49] Sodium butyrate ameliorates Schistosoma japonicum-induced liver fibrosis by inhibiting HMGB1 expressionEXPERIMENTAL PARASITOLOGY, 2021, 231 : 108171Chen, Hui论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaLi, Gang论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Jingmen Second Peoples Hosp, Dept Gastroenterol, Jingmen 448000, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaZhang, Jianqiang论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaZheng, Ting论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaChen, Qianglin论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaZhang, Yanxiang论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaYang, Fei论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaWang, Chao论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaNie, Hao论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaZheng, Bing论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R ChinaGong, Quan论文数: 0 引用数: 0 h-index: 0机构: Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Clin Mol Immunol Ctr, Sch Med, Jingzhou 434023, Hubei, Peoples R China Yangtze Univ, Sch Med, Dept Immunol, Jingzhou 434023, Hubei, Peoples R China
- [50] Analysis and verification of the HMGB1 signaling pathwayBMC Bioinformatics, 11Haijun Gong论文数: 0 引用数: 0 h-index: 0机构: Carnegie Mellon University,Computer Science DepartmentPaolo Zuliani论文数: 0 引用数: 0 h-index: 0机构: Carnegie Mellon University,Computer Science DepartmentAnvesh Komuravelli论文数: 0 引用数: 0 h-index: 0机构: Carnegie Mellon University,Computer Science DepartmentJames R Faeder论文数: 0 引用数: 0 h-index: 0机构: Carnegie Mellon University,Computer Science DepartmentEdmund M Clarke论文数: 0 引用数: 0 h-index: 0机构: Carnegie Mellon University,Computer Science Department