Yi Deng

	2009
82		Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng: Towards the Operational Semantics of User-Centric Communication Models. COMPSAC (1) 2009: 254-262
81		Yi Deng, Giovanni Di Crescenzo, Dongdai Lin, Dengguo Feng: Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model. CSR 2009: 80-91
80		Yi Deng, Vipul Goyal, Amit Sahai: Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy. FOCS 2009: 251-260
79		Seyed Masoud Sadjadi, Shuyi Chen, S. Graham, S. Luis, Yi Deng, Borko Furht, P. Martinez, N. Bowen, J. Caraballo: PIRE: a global living laboratory for cyberinfrastructure application enablement. Richard Tapia Celebration of Diversity in Computing Conference 2009: 64-69
78		Dingding Wang, Li Zheng, Tao Li, Yi Deng: Evolutionary document summarization for disaster management. SIGIR 2009: 680-681
	2008
77		Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Chen, Vagelis Hristidis, Tao Li: Towards a business continuity information network for rapid disaster recovery. DG.O 2008: 107-116
76		Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng: A Self-Configuring Communication Virtual Machine. ICNSC 2008: 739-744
75		Jose Andre Morales, Peter J. Clarke, Yi Deng: Characterizing and Detecting Virus Replication. ICONS 2008: 214-219
74		Xianfeng Zhao, Bingbing Xia, Yi Deng: Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. Information Hiding 2008: 309-324
73		Yi Deng: Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3
72		Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria: Characterization of virus replication. Journal in Computer Virology 4(3): 221-234 (2008)
71		Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Vagelis Hristidis, Raju Rangaswami, Yingbo Wang: CVM - A communication virtual machine. Journal of Systems and Software 81(10): 1640-1662 (2008)
70		Yi Deng, Dongdai Lin: Novel Omega-protocols for NP. Science in China Series F: Information Sciences 51(1): 40-52 (2008)
	2007
69		Yi Deng, Dongdai Lin: Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. EUROCRYPT 2007: 148-168
68		Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng: Automatic Generation of User-Centric Multimedia Communication Services. IPCCC 2007: 324-331
67		Yi Deng, Dongdai Lin: Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. Inscrypt 2007: 123-137
66		Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang: Stereo Correspondence with Occlusion Handling in a Symmetric Patch-Based Graph-Cuts Model. IEEE Trans. Pattern Anal. Mach. Intell. 29(6): 1068-1079 (2007)
	2006
65		Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar: A Communication Virtual Machine. COMPSAC (1) 2006: 521-531
64		Yingbo Wang, Peter J. Clarke, Yi Deng: Communication Model to Support Rapid Application Development. Communications in Computing 2006: 185-191
63		Yi Deng, Xueyin Lin: A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. ECCV (3) 2006: 201-212
62		Vagelis Hristidis, Peter J. Clarke, Nagarajan Prabakar, Yi Deng, Jeffrey A. White, Redmond P. Burke: A flexible approach for electronic medical records exchange. HIKM 2006: 33-40
61		Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He: Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE 2006: 463-468
60		Yi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption CoRR abs/cs/0607035: (2006)
59		Yi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model CoRR abs/cs/0609057: (2006)
58		Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria: Testing and evaluating virus detectors for handheld devices. Journal in Computer Virology 2(2): 135-147 (2006)
57		Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng: A formal model-based approach for developing an interoperable mobile agent system. Multiagent and Grid Systems 2(4): 401-412 (2006)
	2005
56		Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang: A Symmetric Patch-Based Correspondence Model for Occlusion Handling. ICCV 2005: 1316-1322
55		Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He: Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE 2005: 560-565
54		Kendra Cooper, Lirong Dai, Yi Deng: Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. Sci. Comput. Program. 57(1): 89-108 (2005)
	2004
53		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290
52		Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper: Applying Aspect-Orientation in Designing Security Systems: A Case Study. SEKE 2004: 360-365
51		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420
50		Kendra Cooper, Lirong Dai, Yi Deng: Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based Approach. Software Engineering Research and Practice 2004: 111-120
49		Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng: A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687
48		Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai: Constraint Propagation And Progressive Verification For Component-Based Process Model. International Journal of Software Engineering and Knowledge Engineering 14(5): 471-496 (2004)
47		Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng: Formally analyzing software architectural specifications using SAM . Journal of Systems and Software 71(1-2): 11-29 (2004)
	2003
46		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457
45		Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong: Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73
44		Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov: An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. 15(5): 1099-1119 (2003)
43		Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding: A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. 29(1): 31-45 (2003)
	2002
42		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
41		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
40		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
39		Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278
38		Xudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002)
37		Yi Deng, Farokh B. Bastani: Guest Editors' Introduction: Special Issue on Embedded Software Engineering. International Journal of Software Engineering and Knowledge Engineering 12(2): 103-105 (2002)
	2001
36		Kang Zhang, Da-Qian Zhang, Yi Deng: A Visual Approach to XML Document Design and Transformation. HCC 2001: 312-319
35		Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
34		Nathan N. Vuong, Geoffrey Smith, Yi Deng: Managing security policies in a distributed environment using eXtensible markup language (XML). SAC 2001: 405-411
33		Kang Zhang, Da-Qian Zhang, Yi Deng: Graphical Transformation of Multimedia XML Documents. Ann. Software Eng. 12(1): 119-137 (2001)
	2000
32		Jiacun Wang, Yi Deng, Mengchu Zhou: Compositional time Petri nets and reduction rules. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(4): 562-572 (2000)
31		Jiacun Wang, Yi Deng, Gang Xu: Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 725-736 (2000)
30		Mark Gerken, Yi Deng: Guest Editors' Introduction - Best Papers from SEKE'98. International Journal of Software Engineering and Knowledge Engineering 10(1): 1-4 (2000)
	1999
29		Konstantin Beznosov, Yi Deng: A Framework for Implementing Role-Based Access Control Using CORBA Security Service. ACM Workshop on Role-Based Access Control 1999: 19-30
28		Konstantin Beznosov, Yi Deng, Bob Blakley, C. Burt, John F. Barkley: A Resource Access Decision Service for CORBA-Based Distributed Systems. ACSAC 1999: 310-319
27		Kent Wreder, Yi Deng: Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. COMPSAC 1999: 250-258
26		Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441
25		Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85
24		Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Software Eng. 7: 47-70 (1999)
23		Jiacun Wang, Xudong He, Yi Deng: Introducing software architecture specification and analysis in SAM through an example. Information & Software Technology 41(7): 451-467 (1999)
22		Yi Deng, Chia-Rung Yang: Architecture-driven modeling of real-time concurrent systems with applications in FMS. Journal of Systems and Software 45(1): 61-78 (1999)
	1998
21		Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278
20		Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun: A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. ICDCS 1998: 444-451
19		Yi Deng, Jiacun Wang, Rakesh Sinha: Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-
	1997
18		Yi Deng, Shengkai Lu, Michael Evangelist: A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) 1997: 481-490
	1996
17		Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun: Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. ICDCS 1996: 613-619
16		Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist: A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417
	1995
15		Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe: An Architecture for Operating System Support of Distributed Multimedia Systems. IW-MMDBMS 1995: 56-63
14		Shengkai Lu, Yi Deng: An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE 1995: 402-410
13		Naphtali Rishe, Wei Sun, David Barton, Yi Deng, Cyril U. Orji, Michael Alexopoulos, Leonard Loureiro, Carlos Ordonez, Mario Sanchez, Artyom Shaposhnikov: Florida International University High Performance Database Research Center. SIGMOD Record 24(3): 71-76 (1995)
	1994
12		Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang: Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS 1994: 382-391
11		Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng: Semantic query optimization by class reference reduction in object- oriented databases. SEKE 1994: 306-313
10		Yi Deng, Shi-Kuo Chang, Xiaola Lin: Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. International Journal of Software Engineering and Knowledge Engineering 4(4): 427-450 (1994)
	1993
9		Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich: Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. Application and Theory of Petri Nets 1993: 206-223
8		Yi Deng, Raimund K. Ege, Wei Sun: Executable Specifications for the Design of Object-Oriented Systems. SEKE 1993: 46-53
7		Yi Deng: Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE 1993: 586
6		Wei Sun, Yibei Ling, Naphtali Rishe, Yi Deng: An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment. SIGMOD Conference 1993: 79-88
	1992
5		Yi Deng, Shi-Kuo Chang: Unifying Multi-Paradigms in Software System Design. SEKE 1992: 386-393
	1991
4		Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang: Multi-level specification and protocol design for distributed multimedia communication. COOCS 1991: 255-268
3		Yi Deng, Shi-Kuo Chang: A HyperNet Model for Large Hypertext Systems. DASFAA 1991: 484-490
2		Yi Deng, Shi-Kuo Chang: A Framework for the Modeling and Prototyping of Distributed Information Systems. International Journal of Software Engineering and Knowledge Engineering 1(3): 203-226 (1991)
	1990
1		Yi Deng, Shi-Kuo Chang: A G-Net Model for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. 2(3): 295-310 (1990)

Coauthor Index

1	Michael Alexopoulos	[13]
2	Andrew A. Allen	[82]
3	Gonzalo Argote-Garcia	[61]
4	Paul C. Attie	[16] [17]
5	John F. Barkley	[28]
6	David Barton	[13]
7	Farokh B. Bastani	[37]
8	Konstantin Beznosov	[28] [29] [44] [52]
9	Bob Blakley	[28]
10	N. Bowen	[79]
11	Redmond P. Burke	[62]
12	C. Burt	[28]
13	Guohong Cao	[20]
14	J. Caraballo	[79]
15	Shi-Kuo Chang	[1] [2] [3] [4] [5] [9] [10]
16	Shigang Chen	[17]
17	Shu-Ching Chen	[77]
18	Shuyi Chen	[79]
19	Peter J. Clarke	[55] [57] [58] [62] [64] [65] [71] [72] [75] [82]
20	Kendra Cooper	[45] [49] [50] [52] [54]
21	Giovanni Di Crescenzo	[59] [81]
22	Lirong Dai	[45] [50] [54]
23	Junhua Ding	[39] [43] [47] [55] [57]
24	Jing Dong	[45] [49]
25	Wenliang Du	[16]
26	Raimund K. Ege	[8]
27	Barbara Espinoza	[82]
28	Michael Evangelist	[16] [18]
29	Dengguo Feng	[81]
30	Brian Field	[4]
31	Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo)	[9]
32	Borko Furht	[79]
33	Shu Gao	[40] [46] [52]
34	Mark Gerken	[30]
35	Vipul Goyal	[80]
36	S. Graham	[79]
37	Sha Guo	[11] [12]
38	Xudong He	[23] [38] [39] [40] [41] [42] [46] [47] [48] [51] [52] [53] [55] [57] [61]
39	Vagelis Hristidis	[62] [65] [71] [77]
40	Chun Jin	[25] [26]
41	Selim Kalayci	[76]
42	Rucha Khisti	[49]
43	B. M. Golam Kibria	[58] [72]
44	Tao Li	[77] [78]
45	Wei Li	[12]
46	Dongdai Lin	[59] [60] [67] [69] [70] [81]
47	Xiaola Lin	[10]
48	Xueyin Lin	[56] [63] [66]
49	Yibei Ling	[6]
50	Qing Liu	[12]
51	Leonard Loureiro	[13]
52	Shengkai Lu	[14] [18]
53	S. Luis	[79]
54	Steven Luis	[77]
55	P. Martinez	[79]
56	Lian Mo	[41] [42] [51] [53]
57	Jose Andre Morales	[58] [72] [75]
58	Carlos Ordonez	[13]
59	Cyril U. Orji	[13] [15]
60	Angelo Perkusich	[9]
61	Nagarajan Prabakar	[62] [65] [68]
62	Raju Rangaswami	[65] [68] [71]
63	Naphtali Rishe	[6] [11] [13] [15] [20]
64	Seyed Masoud Sadjadi	[65] [68] [71] [76] [79]
65	Amit Sahai	[80]
66	Khalid Saleem	[77]
67	Mario Sanchez	[13]
68	Artyom Shaposhnikov	[13]
69	Tianjun Shi	[47] [61]
70	Mukesh Singhal	[20]
71	Rakesh Sinha	[19]
72	Geoffrey Smith	[34]
73	Wei Sun	[6] [8] [11] [12] [13] [17] [20]
74	Weixiang Sun	[61]
75	Xiaoou Tang	[56] [66]
76	Jeffrey J. P. Tsai	[35] [44] [48]
77	Nathan N. Vuong	[34]
78	Dingding Wang	[78]
79	Jiacun Wang	[19] [21] [23] [24] [25] [26] [31] [32] [35] [44] [48]
80	Yingbo Wang	[64] [71] [82]
81	Jeffrey A. White	[62]
82	Kent Wreder	[27]
83	Yali Wu	[82]
84	Bingbing Xia	[74]
85	Dianxiang Xu	[43] [55] [57]
86	Gang Xu	[31]
87	Ya Xu	[15]
88	Chia-Rung Yang	[22]
89	Qiong Yang	[56] [66]
90	Jianwen Yin	[43]
91	Huiqun Yu	[40] [41] [42] [46] [47] [51] [52] [53]
92	Chi Zhang	[65]
93	Da-Qian Zhang	[33] [36]
94	Kang Zhang	[33] [36]
95	Weiping Zhang	[12]
96	Xianfeng Zhao	[74]
97	Li Zheng	[78]
98	Mengchu Zhou	[32]
99	Taieb Znati	[4]

Colors in the list of coauthors