| 2013 |
|---|
| 101 | Memory partitioning for multidimensional arrays in high-level synthesis. Yuxin Wang, Peng Li, Peng Zhang, Chen Zhang, Jason Cong. DAC 2013, 12. Web SearchBibTeXDownload |
| 100 | Automatic multidimensional memory partitioning for FPGA-based accelerators (abstract only). Yuxin Wang, Peng Li, Peng Zhang, Chen Zhang, Jason Cong. FPGA 2013, 269. Web SearchBibTeXDownload |
| 99 | Automatically building templates for entity summary construction. Peng Li, Yinglin Wang, Jing Jiang. Inf. Process. Manage. (49): 330-340 (2013). Web SearchBibTeXDownload |
| 98 | A Built-In Self-Test (BIST) system with non-intrusive TPG and ORA for FPGA test and diagnosis. Aiwu Ruan, Shi Kang, Yu Wang, Xiao Han, Zujian Zhu, Yongbo Liao, Peng Li. Microelectronics Reliability (53): 488-498 (2013). Web SearchBibTeXDownload |
| 2012 |
|---|
| 97 | Co-regularized PLSA for Multi-view Clustering. Yu Jiang, Jing Liu, Zechao Li, Peng Li, Hanqing Lu. ACCV (2) 2012, 202-213. Web SearchBibTeXDownload |
| 96 | High order compact finite difference schemes for a system of third order boundary value problem. Shusen Xie, Peng Li, Zhen Gao, Hui Wang. Applied Mathematics and Computation (219): 2564-2573 (2012). Web SearchBibTeXDownload |
| 95 | The Intelligent Identification and Elimination of Non-precipitation Echoes in the Environment of Low-Latitude Plateaus. Jian Wang, Na Zhao, Peng Li, Yong Yu, Fei Dai, Zhongwen Xie, Jianglong Qin. BICS 2012, 403-410. Web SearchBibTeXDownload |
| 94 | Heterogeneous multi-channel: fine-grained DRAM control for both system performance and power efficiency. Guangfei Zhang, Huandong Wang, Xinke Chen, Shuai Huang, Peng Li. DAC 2012, 876-881. Web SearchBibTeXDownload |
| 93 | An efficient implementation of numerical integration using logical computation on stochastic bit streams. Weikang Qian, Chen Wang, Peng Li, David J. Lilja, Kia Bazargan, Marc D. Riedel. ICCAD 2012, 156-162. Web SearchBibTeXDownload |
| 92 | Memory partitioning and scheduling co-optimization in behavioral synthesis. Peng Li, Yuxin Wang, Peng Zhang, Guojie Luo, Tao Wang, Jason Cong. ICCAD 2012, 488-495. Web SearchBibTeXDownload |
| 91 | Theoretical Investigation of the Closed Type Parabolic Trough. Zhong-Zhu Qiu, Qiming Li, Peng Li, Yi Zhang, Jia He, Wenwen Guo. ICDMA 2012, 958-966. Web SearchBibTeXDownload |
| 90 | Quantifying Dynamic Stability of Genetic Memory Circuits. Yong Zhang, Peng Li, Garng M. Huang. IEEE/ACM Trans. Comput. Biology Bioinform. (9): 871-884 (2012). Web SearchBibTeXDownload |
| 89 | Capacity of MIMO Systems With Mutual Coupling: Transmitter Optimization With Dual Power Constraints. Liang Sun, Peng Li, Matthew R. McKay, Ross D. Murch. IEEE Transactions on Signal Processing (60): 848-861 (2012). Web SearchBibTeXDownload |
| 88 | Decentralized Control of a Stochastic Multi-Agent Queueing System. Peng Li, Andrew E. B. Lim, J. George Shanthikumar. IEEE Trans. Automat. Contr. (57): 2762-2777 (2012). Web SearchBibTeXDownload |
| 87 | Unicast and Broadcast Throughput Maximization in Amplify-and-Forward Relay Networks. Peng Li, Song Guo, Yong Xiang, Hai Jin. IEEE T. Vehicular Technology (61): 2768-2776 (2012). Web SearchBibTeXDownload |
| 86 | Application of dynamic service composition in web question answering. Liu Wang, Lejian Liao, Peng Li. IJWMC (5): 300-307 (2012). Web SearchBibTeXDownload |
| 85 | Improving Web Document Clustering through Employing User-Related Tag Expansion Techniques. Peng Li, Bin Wang, Wei Jin. J. Comput. Sci. Technol. (27): 554-566 (2012). Web SearchBibTeXDownload |
| 84 | Linking brain behavior to underlying cellular mechanisms via large-scale brain modeling and simulation. Yong Zhang, Boyuan Yan, Mingchao Wang, Jingzhen Hu, Haokai Lu, Peng Li. Neurocomputing (97): 317-331 (2012). Web SearchBibTeXDownload |
| 83 | A digital neuromorphic VLSI architecture with memristor crossbar synaptic array for machine learning. Yongtae Kim, Yong Zhang, Peng Li. SoCC 2012, 328-333. Web SearchBibTeXDownload |
| 82 | Load-aware stochastic feedback control for DVFS with tight performance guarantee. Bin Wu, Peng Li. VLSI-SoC 2012, 231-236. Web SearchBibTeXDownload |
| 81 | On the Prediction of Re-tweeting Activities in Social Networks - A Report on WISE 2012 Challenge. Sayan Unankard, Ling Chen, Peng Li, Sen Wang, Zi Huang, Mohamed A. Sharaf, Xue Li. WISE 2012, 744-754. Web SearchBibTeXDownload |
| 2011 |
|---|
| 80 | Exploring categorization property of social annotations for information retrieval. Peng Li, Bin Wang, Wei Jin, Jian-Yun Nie, Zhiwei Shi, Ben He. CIKM 2011, 557-562. Web SearchBibTeXDownload |
| 79 | User-Related Tag Expansion for Web Document Clustering. Peng Li, Bin Wang, Wei Jin, Yachao Cui. ECIR 2011, 19-31. Web SearchBibTeXDownload |
| 78 | Study and design of fine marking and accurate positing for expressway network. Licheng Qu, Dayue Sun, Wei Cao, Peng Li. EMEIT 2011, 2443-2446. Web SearchBibTeXDownload |
| 77 | Generating Aspect-oriented Multi-Document Summarization with Event-aspect model. Peng Li, Yinglin Wang, Wei Gao, Jing Jiang. EMNLP 2011, 1137-1146. Web SearchBibTeXDownload |
| 76 | Visual Simulation of Upland Rice Root as Related to Soil Compaction. Yong Ge, Zhenyang Ge, Huaifeng Yi, Peng Li, Hao Guo. ICDMA 2011, 1392-1394. Web SearchBibTeXDownload |
| 75 | A cross-layer algorithm of packet scheduling and resource allocation for multi-user wireless video transmission. Peng Li, Yilin Chang, Nina Feng, Fuzheng Yang. IEEE Trans. Consumer Electronics (57): 1128-1134 (2011). Web SearchBibTeXDownload |
| 74 | Irregular code-aided low-complexity three-stage turbo space time processing. Yi Wang, Peng Li, Li (Alex) Li, Alister G. Burr, Rodrigo C. de Lamare. ISWCS 2011, 604-608. Web SearchBibTeXDownload |
| 73 | A novel hybrid method for mobile robot path planning in unknown dynamic environment based on hybrid DSm model grid map. Peng Li, Xinhan Huang, Min Wang. J. Exp. Theor. Artif. Intell. (23): 5-22 (2011). Web SearchBibTeXDownload |
| 72 | A key binding system based on n-nearest minutiae structure of fingerprint. Eryun Liu, Heng Zhao, Jimin Liang, Liaojun Pang, Min Xie, Hongtao Chen, Yanhua Li, Peng Li, Jie Tian. Pattern Recognition Letters (32): 666-675 (2011). Web SearchBibTeXDownload |
| 71 | Monaural voiced speech segregation based on elaborate harmonic grouping strategies. Wenju Liu, Xueliang Zhang, Wei Jiang, Peng Li, Bo Xu. SCIENCE CHINA Information Sciences (54): 2471-2480 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 70 | Generating Templates of Entity Summaries with an Entity-Aspect Model and Pattern Mining. Peng Li, Jing Jiang, Yinglin Wang. ACL 2010, 640-649. Web SearchBibTeXDownload |
| 69 | Performance evaluation of the time-delayed dynamic Bayesian network approach to inferring gene regulatory networks from time series microarray data. Haoni Li, Peng Li, Chaoyang Zhang, Nan Wang, Ping Gong, Edward J. Perkins. BCB 2010, 466-468. Web SearchBibTeXDownload |
| 68 | Decentralized control of a stochastic dynamic resource allocation problem. Peng Li, Andrew E. B. Lim, J. George Shanthikumar. CDC 2010, 4553-4558. Web SearchBibTeXDownload |
| 67 | Using Clustering to Improve Retrieval Evaluation without Relevance Judgments. Zhiwei Shi, Peng Li, Bin Wang. COLING (Posters) 2010, 1131-1139. Web SearchBibTeXDownload |
| 66 | Monaural speech separation based on MAXVQ and CASA for robust speech recognition. Peng Li, Yong Guan, Shijin Wang, Bo Xu, Wenju Liu. Computer Speech & Language (24): 30-44 (2010). Web SearchBibTeXDownload |
| 65 | Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis. Yong Zhang, Peng Li, Garng M. Huang. DAC 2010, 567-572. Web SearchBibTeXDownload |
| 64 | Maximum Lifetime Broadcast and Multicast Routing in Unreliable Wireless Ad-Hoc Networks. Peng Li, Song Guo, Hai Jin, Victor C. M. Leung. GLOBECOM 2010, 1-5. Web SearchBibTeXDownload |
| 63 | A novel hierarchical QAM-based unequal error protection scheme for H.264/AVC video over frequency-selective fading channels. Peng Li, Yilin Chang, Nina Feng, Fuzheng Yang. IEEE Trans. Consumer Electronics (56): 2741-2746 (2010). Web SearchBibTeXDownload |
| 62 | Secure Data Objects Replication in Data Grid. Manghui Tu, Peng Li, I-Ling Yen, Bhavani M. Thuraisingham, Latifur Khan. IEEE Trans. Dependable Sec. Comput. (7): 50-64 (2010). Web SearchBibTeXDownload |
| 61 | Using Global Statistics to Rank Retrieval Systems without Relevance Judgments. Zhiwei Shi, Bin Wang, Peng Li, Zhongzhi Shi. Intelligent Information Processing 2010, 183-192. Web SearchBibTeXDownload |
| 60 | Self-rescue mechanism for screw drive in-pipe robots. Peng Li, Shugen Ma, Bin Li, Yuechao Wang, Yunhui Liu. IROS 2010, 2843-2849. Web SearchBibTeXDownload |
| 59 | A New Hybrid Method for Mobile Robot Dynamic Local Path Planning in Unknown Environment. Peng Li, Xinhan Huang, Min Wang. JCP (5): 773-781 (2010). Web SearchBibTeXDownload |
| 58 | Time-dependent density functional theory study on the electronic excited-state hydrogen-bonding dynamics of 4-aminophthalimide (4AP) in aqueous solution: 4AP and 4AP-(H2O)1, 2 clusters. Rui Wang, Ce Hao, Peng Li, Ning-Ning Wei, Jingwen Chen, Jieshan Qiu. Journal of Computational Chemistry (31): 2157-2163 (2010). Web SearchBibTeXDownload |
| 57 | Research on LFS Algorithm in Software Network. Wei Wang, Hai Zhao, Hui Li, Jun Zhang, Peng Li, Zheng Liu, Naiming Guo, Jian Zhu, Bo Li, Shuang Yu, Hong Liu, Kunzhan Yang. JSEA (3): 185-189 (2010). Web SearchBibTeXDownload |
| 56 | Analysis and Comparison of Five Kinds of Typical Device-Level Embedded Operating Systems. Jialiang Wang, Hai Zhao, Peng Li, Hui Li, Bo Li. JSEA (3): 81-90 (2010). Web SearchBibTeXDownload |
| 55 | Application of Design Patterns in Process of Large-Scale Software Evolving. Wei Wang, Hai Zhao, Hui Li, Peng Li, Dong Yao, Zheng Liu, Bo Li, Shuang Yu, Hong Liu, Kunzhan Yang. JSEA (3): 58-64 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 54 | Diversity Technique Based Secure Video Watermarking for Broadcast Monitoring. Li Liu, Xiaoju Li, Peng Li. CSIE (7) 2009, 285-289. Web SearchBibTeXDownload |
| 53 | A Reliable Multi-path Routing Protocol in Wireless Sensor Network Design and Implementation. Peng Li, Hai Zhao, Jialiang Wang, Zheng Liu, Yu Chun-yang. HIS (2) 2009, 271-274. Web SearchBibTeXDownload |
| 52 | Monaural voiced speech segregation based on elaborate harmonic grouping strategy. Xueliang Zhang, Wenju Liu, Peng Li, Bo Xu. ICASSP 2009, 4661-4664. Web SearchBibTeXDownload |
| 51 | A Novel Fingerprint Matching Algorithm Using Ridge Curvature Feature. Peng Li, Xin Yang, Qi Su, Yangyang Zhang, Jie Tian. ICB 2009, 607-616. Web SearchBibTeXDownload |
| 50 | Gene-regulatory memories: Electrical-equivalent modeling, simulation and parameter identification. Yong Zhang, Peng Li. ICCAD 2009, 491-496. Web SearchBibTeXDownload |
| 49 | Relation Extraction from Chinese News Web Documents Based on Weakly Supervised Learning. Jing Qiu, Lejian Liao, Peng Li. INCoS 2009, 219-225. Web SearchBibTeXDownload |
| 48 | Combining Syntactic Structured and Flat Features for Relation Extraction Using Co-training. Jing Qiu, Lejian Liao, Peng Li. INCoS 2009, 401-404. Web SearchBibTeXDownload |
| 47 | A Novel Association Rule Decision Algorithm Based on Knowledge Space. Ying Li, Peng Li, Chengzhi Long. ISCID (1) 2009, 333-336. Web SearchBibTeXDownload |
| 46 | An Efficient Knowledge Discovery Method Based on Swarm Intelligence. Ying Li, Peng Li, Chengzhi Long. ISCID (1) 2009, 337-340. Web SearchBibTeXDownload |
| 45 | The Mechanism and Performance Comparison of Two Wireless Sensor Network Operating System Kernels. Jialiang Wang, Hai Zhao, Peng Li, Zheng Liu, Jie Zhao, Wei Gao. ITNG 2009, 1442-1446. Web SearchBibTeXDownload |
| 44 | An Optimization Model for IO Jitter in Device-Level RTOS. Zheng Liu, Hai Zhao, Peng Li, Jialiang Wang. ITNG 2009, 1528-1533. Web SearchBibTeXDownload |
| 43 | Allocation of partitioned data by using a neural network based approach. Manghui Tu, Zhonghang Xia, Peng Li, Nasser Tadayon. Neurocomputing (72): 1000-1011 (2009). Web SearchBibTeXDownload |
| 42 | Evidence Reasoning Machine based on DSmT for mobile robot mapping in unknown dynamic environment. Xinhan Huang, Peng Li, Min Wang. ROBIO 2009, 753-758. Web SearchBibTeXDownload |
| 41 | News Recommender System Based on Topic Detection and Tracking. Jing Qiu, Lejian Liao, Peng Li. RSKT 2009, 690-697. Web SearchBibTeXDownload |
| 40 | Fairness and Interactivity of Three CPU Schedulers in Linux. Shen Wang, Yu Chen, Wei Jiang, Peng Li, Ting Dai, Yan Cui. RTCSA 2009, 172-177. Web SearchBibTeXDownload |
| 39 | TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li. TestCom/FATES 2009, 163-178. Web SearchBibTeXDownload |
| 38 | QueryTrans: Finding Similar Queries Based on Query Trace Graph. Yanan Li, Bin Wang, Sheng Xu, Peng Li, Jintao Li. Web Intelligence 2009, 260-263. Web SearchBibTeXDownload |
| 2008 |
|---|
| 37 | The Research on the Algorithms of Keyword Search in Relational Database. Peng Li, Qing Zhu, Shan Wang. APWeb Workshops 2008, 134-143. Web SearchBibTeXDownload |
| 36 | Design of a mobile mechanism possessing driving ability and detecting function for in-pipe inspection. Peng Li, Shugen Ma, Bin Li, Yuechao Wang. ICRA 2008, 3992-3997. Web SearchBibTeXDownload |
| 35 | An effective microphone array post-filter in arbitrary environments. Ning Cheng, Wenju Liu, Peng Li, Bo Xu. INTERSPEECH 2008, 439-442. Web SearchBibTeXDownload |
| 34 | Multifunctional Mobile Units with a same platform for in-pipe inspection robots. Peng Li, Shugen Ma, Bin Li, Yuechao Wang. IROS 2008, 2643-2648. Web SearchBibTeXDownload |
| 33 | Distinguishing between FE and DDoS Using Randomness Check. Hyundo Park, Peng Li, Debin Gao, Heejo Lee, Robert H. Deng. ISC 2008, 131-145. Web SearchBibTeXDownload |
| 32 | Approach to Missing Data Recovery. E. Xu, Shaocheng Tong, Yuan Wang, Shang Xu, Peng Li. ISECS 2008, 189-192. Web SearchBibTeXDownload |
| 31 | AtPID: Arabidopsis thaliana protein interactome database - an integrative platform for plant systems biology. Jian Cui, Peng Li, Guang Li, Feng Xu, Chen Zhao, Yuhua Li, Zhongnan Yang, Guang Wang, Qingbo Yu, Yi-Xue Li, Tieliu Shi. Nucleic Acids Research (36): 999-1008 (2008). Web SearchBibTeXDownload |
| 30 | Multiple Mobile Robots Map Building Based on DSmT. Peng Li, Xinhan Huang, Min Wang, Xiangjin Zeng. RAM 2008, 509-514. Web SearchBibTeXDownload |
| 29 | The Depth Information Estimation of Microscope Defocus Image Based-on Markov Random Field. Xiangjin Zeng, Xinhan Huang, Min Wang, Peng Li. RAM 2008, 999-1004. Web SearchBibTeXDownload |
| 2007 |
|---|
| 28 | Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction. Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, Sani R. Nassif. CoRR (abs/0710.4654) (2007). Web SearchBibTeXDownload |
| 27 | Preference update for e-commerce applications: Model, language, and processing. Peng Li, Manghui Tu, I-Ling Yen, Zhonghang Xia. Electronic Commerce Research (7): 17-44 (2007). Web SearchBibTeXDownload |
| 26 | An in-pipe inspection robot based on adaptive mobile mechanism: mechanical design and basic experiments. Peng Li, Shugen Ma, Bin Li, Yuechao Wang, Changlong Ye. IROS 2007, 2576-2581. Web SearchBibTeXDownload |
| 2006 |
|---|
| 25 | Monaural Speech Separation Based on Computational Auditory Scene Analysis and Objective Quality Assessment of Speech. P. Li, Y. Guan, B. Xu, Wenju Liu. ICICIC (2) 2006, 742-745. Web SearchBibTeXDownload |
| 24 | Study of Priority Inversion in Embedded Linux. Chun-tao Man, Peng Li, Yan Li. ICICIC (3) 2006, 217-219. Web SearchBibTeXDownload |
| 23 | Replica Placement Algorithms for Mobile Transaction Systems. Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani. IEEE Trans. Knowl. Data Eng. (18): 954-970 (2006). Web SearchBibTeXDownload |
| 22 | Design and Implementation of Reconfigurable Gateway Array of Multiple Fabrics (RGAMF). Qin Zhang, Peng Li, Jizhong Han, Chengde Han. IWNAS 2006, 81-86. Web SearchBibTeXDownload |
| 21 | An integrated admission control scheme for the delivery of streaming media. Zhonghang Xia, I-Ling Yen, Donglei Du, Peng Li. J. Parallel Distrib. Comput. (66): 334-344 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 20 | Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction. Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, Sani R. Nassif. DATE 2005, 958-963. Web SearchBibTeXDownload |
| 19 | Parameterized interconnect order reduction with explicit-and-implicit multi-parameter moment matching for inter/intra-die variations. Xin Li, Peng Li, Lawrence T. Pileggi. ICCAD 2005, 806-812. Web SearchBibTeX |
| 18 | A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems. Zhonghang Xia, Wei Hao, I-Ling Yen, Peng Li. IEEE Trans. Parallel Distrib. Syst. (16): 1143-1153 (2005). Web SearchBibTeXDownload |
| 17 | M3-Update: A New Update Model for E-Commerce and Web-Based Applications. Peng Li, Zhonghang Xia, Manghui Tu, I-Ling Yen. I. J. Comput. Appl. (12): 152-162 (2005). Web SearchBibTeX |
| 16 | On the Optimal Placement of Secure Data Objects over Internet. Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani. IPDPS 2005. Web SearchBibTeXDownload |
| 2004 |
|---|
| 15 | A frequency relaxation approach for analog/RF system-level simulation. Xin Li, Yang Xu, Peng Li, Padmini Gopalakrishnan, Lawrence T. Pileggi. DAC 2004, 842-847. Web SearchBibTeXDownload |
| 14 | Detecting Abnormal Regions in Colonoscopic Images by Patch-based Classifier Ensemble. Peng Li, Kap Luk Chan, Shankar Muthu Krishnan, Yan Gao. ICPR (3) 2004, 774-777. Web SearchBibTeXDownload |
| 13 | Transaction Based Dynamic Partial Replication in Mobile Environments. Manghui Tu, Peng Li, I-Ling Yen. IPDPS 2004. Web SearchBibTeXDownload |
| 12 | A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. Zhonghang Xia, Peng Li, I-Ling Yen. IPDPS 2004. Web SearchBibTeXDownload |
| 11 | Practical Routing and Torus Assignment for RDT. Tao Li, Yang Yu, Peng Li, Jingpeng Xu, Xirong Ma, Yulu Yang. ISPAN 2004, 30-36. Web SearchBibTeXDownload |
| 10 | Hand-Free Speech Recognition in Adverse Environment with Microphone Arrays. Zhuo Wang, Peng Li, Shuwu Zhang, Bo Xu. Journal of Chinese Language and Computing (14) (2004). Web SearchBibTeX |
| 2003 |
|---|
| 9 | A frequency separation macromodel for system-level simulation of RF circuits. Xin Li, Peng Li, Yang Xu, Robert Dimaggio, Lawrence T. Pileggi. ASP-DAC 2003, 891-896. Web SearchBibTeXDownload |
| 8 | Analog and RF circuit macromodels for system-level analysis. Xin Li, Peng Li, Yang Xu, Lawrence T. Pileggi. DAC 2003, 478-483. Web SearchBibTeXDownload |
| 7 | Noise Macromodel for Radio Frequency Integrated Circuits. Yang Xu, Xin Li, Peng Li, Lawrence T. Pileggi. DATE 2003, 10150-10155. Web SearchBibTeXDownload |
| 6 | A distributed admission control model for large-scale continuous media services. Zhonghang Xia, I-Ling Yen, Peng Li. GLOBECOM 2003, 4001-4005. Web SearchBibTeXDownload |
| 5 | A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits. Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi. ICCAD 2003, 454-462. Web SearchBibTeXDownload |
| 4 | M3TAgent : A Transaction Processing System for B2C E-Commerce. Peng Li, I-Ling Yen, Zhonghang Xia. IKE 2003, 186-192. Web SearchBibTeX |
| 3 | A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li. ISORC 2003, 105-112. Web SearchBibTeXDownload |
| 2002 |
|---|
| 2 | Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. Binoy Ravindran, Gérard Le Lann, Peng Li. HASE 2002, 89-92. Web SearchBibTeXDownload |
| 2001 |
|---|
| 1 | Multi-Criteria Transaction for E-Commerce Applications. Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai. COMPSAC 2001, 596-602. Web SearchBibTeXDownload |
