Yi Deng

	2011
96		Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai, Moti Yung: Resettable Cryptography in Constant Rounds - The Case of Zero Knowledge. ASIACRYPT 2011: 390-406
95		Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai, Moti Yung: Resettable Cryptography in Constant Rounds - the Case of Zero Knowledge. IACR Cryptology ePrint Archive 2011: 408 (2011)
	2010
94		Yi Deng: From Computing to Informatics. DMS 2010
93		Jose Andre Morales, Peter J. Clarke, Yi Deng: Identification of file infecting viruses through detection of self-reference replication. Journal in Computer Virology 6(2): 161-180 (2010)
92		Vagelis Hristidis, Shu-Ching Chen, Tao Li, Steven Luis, Yi Deng: Survey of data management and analysis in disaster situations. Journal of Systems and Software 83(10): 1701-1714 (2010)
91		Chi Zhang, Seyed Masoud Sadjadi, Weixiang Sun, Raju Rangaswami, Yi Deng: A user-centric network communication broker for multimedia collaborative computing. Multimedia Tools Appl. 50(2): 335-357 (2010)
	2009
90		Andrew A. Allen, Yali Wu, Peter J. Clarke, Tariq M. King, Yi Deng: An autonomic framework for user-centric communication services. CASCON 2009: 203-215
89		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
88		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
87		Yi Deng, Vipul Goyal, Amit Sahai: Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy. FOCS 2009: 251-260
86		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
85		Dingding Wang, Li Zheng, Tao Li, Yi Deng: Evolutionary document summarization for disaster management. SIGIR 2009: 680-681
	2008
84		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
83		Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng: A Self-Configuring Communication Virtual Machine. ICNSC 2008: 739-744
82		Jose Andre Morales, Peter J. Clarke, Yi Deng: Characterizing and Detecting Virus Replication. ICONS 2008: 214-219
81		Xianfeng Zhao, Bingbing Xia, Yi Deng: Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. Information Hiding 2008: 309-324
80		Yi Deng: Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3
79		Yi Deng, Dongdai Lin: On Resettably-Sound Resttable Zero Knowledege Arguments. IACR Cryptology ePrint Archive 2008: 233 (2008)
78		Yi Deng: Resettably-Sound Resettable Zero Knowledge Arguments for NP. IACR Cryptology ePrint Archive 2008: 541 (2008)
77		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)
76		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)
75		Yi Deng, Dongdai Lin: Novel Omega-protocols for NP. Science in China Series F: Information Sciences 51(1): 40-52 (2008)
	2007
74		Yi Deng, Dongdai Lin: Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. EUROCRYPT 2007: 148-168
73		Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng: Automatic Generation of User-Centric Multimedia Communication Services. IPCCC 2007: 324-331
72		Yi Deng, Dongdai Lin: Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. Inscrypt 2007: 123-137
71		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
70		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
69		Yingbo Wang, Peter J. Clarke, Yi Deng: Communication Model to Support Rapid Application Development. Communications in Computing 2006: 185-191
68		Yi Deng, Xueyin Lin: A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. ECCV (3) 2006: 201-212
67		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
66		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
65		Yi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption CoRR abs/cs/0607035: (2006)
64		Yi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model CoRR abs/cs/0609057: (2006)
63		Yi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption. IACR Cryptology ePrint Archive 2006: 239 (2006)
62		Yi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model. IACR Cryptology ePrint Archive 2006: 314 (2006)
61		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)
60		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
59		Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang: A Symmetric Patch-Based Correspondence Model for Occlusion Handling. ICCV 2005: 1316-1322
58		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
57		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
56		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290
55		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
54		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420
53		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
52		Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng: A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687
51		Yi Deng, Jiacun Wang, Mengchu Zhou: Consistency verification in modeling of real-time systems. IEEE Transactions on Robotics 20(1): 136-142 (2004)
50		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)
49		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
48		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457
47		Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong: Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73
46		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)
45		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
44		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
43		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
42		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
41		Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278
40		Xudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002)
39		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
38		Kang Zhang, Da-Qian Zhang, Yi Deng: A Visual Approach to XML Document Design and Transformation. HCC 2001: 312-319
37		Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
36		Nathan N. Vuong, Geoffrey Smith, Yi Deng: Managing security policies in a distributed environment using eXtensible markup language (XML). SAC 2001: 405-411
35		Kang Zhang, Da-Qian Zhang, Yi Deng: Graphical Transformation of Multimedia XML Documents. Ann. Software Eng. 12(1): 119-137 (2001)
	2000
34		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)
33		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)
32		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)
31		Xudong He, Yi Deng: Specifying Software Architectural Connectors in SAM. International Journal of Software Engineering and Knowledge Engineering 10(4): 411-431 (2000)
30		Jiacun Wang, Yi Deng, Chun Jin: Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models. International Journal of Software Engineering and Knowledge Engineering 10(6): 735-757 (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	[89] [90]
3	Gonzalo Argote-Garcia	[66]
4	Paul C. Attie	[16] [17]
5	John F. Barkley	[28]
6	David Barton	[13]
7	Farokh B. Bastani	[39]
8	Konstantin Beznosov	[28] [29] [46] [55]
9	Bob Blakley	[28]
10	N. Bowen	[86]
11	Redmond P. Burke	[67]
12	C. Burt	[28]
13	Guohong Cao	[20]
14	J. Caraballo	[86]
15	Shi-Kuo Chang	[1] [2] [3] [4] [5] [9] [10]
16	Shigang Chen	[17]
17	Shu-Ching Chen	[84] [92]
18	Shuyi Chen	[86]
19	Peter J. Clarke	[58] [60] [61] [67] [69] [70] [76] [77] [82] [89] [90] [93]
20	Kendra Cooper (Kendra M. L. Cooper)	[47] [52] [53] [55] [57]
21	Giovanni Di Crescenzo	[62] [64] [88]
22	Lirong Dai	[47] [53] [57]
23	Junhua Ding	[41] [45] [49] [58] [60]
24	Jing Dong	[47] [52]
25	Wenliang Du	[16]
26	Raimund K. Ege	[8]
27	Barbara Espinoza	[89]
28	Michael Evangelist	[16] [18]
29	Dengguo Feng	[88] [95] [96]
30	Brian Field	[4]
31	Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo)	[9]
32	Borko Furht	[86]
33	Shu Gao	[42] [48] [55]
34	Mark Gerken	[32]
35	Vipul Goyal	[87] [95] [96]
36	S. Graham	[86]
37	Sha Guo	[11] [12]
38	Xudong He	[23] [31] [40] [41] [42] [43] [44] [48] [49] [50] [54] [55] [56] [58] [60] [66]
39	Vagelis Hristidis	[67] [70] [76] [84] [92]
40	Chun Jin	[25] [26] [30]
41	Selim Kalayci	[83]
42	Rucha Khisti	[52]
43	B. M. Golam Kibria	[61] [77]
44	Tariq M. King	[90]
45	Tao Li	[84] [85] [92]
46	Wei Li	[12]
47	Dongdai Lin	[62] [63] [64] [65] [72] [74] [75] [79] [88] [95] [96]
48	Xiaola Lin	[10]
49	Xueyin Lin	[59] [68] [71]
50	Yibei Ling	[6]
51	Qing Liu	[12]
52	Leonard Loureiro	[13]
53	Shengkai Lu	[14] [18]
54	S. Luis	[86]
55	Steven Luis	[84] [92]
56	P. Martinez	[86]
57	Lian Mo	[43] [44] [54] [56]
58	Jose Andre Morales	[61] [77] [82] [93]
59	Carlos Ordonez	[13]
60	Cyril U. Orji	[13] [15]
61	Angelo Perkusich	[9]
62	Nagarajan Prabakar	[67] [70] [73]
63	Raju Rangaswami	[70] [73] [76] [91]
64	Naphtali Rishe (Naphtali David Rishe)	[6] [11] [13] [15] [20]
65	Seyed Masoud Sadjadi	[70] [73] [76] [83] [86] [91]
66	Amit Sahai	[87] [95] [96]
67	Khalid Saleem	[84]
68	Mario Sanchez	[13]
69	Artyom Shaposhnikov	[13]
70	Tianjun Shi	[49] [66]
71	Mukesh Singhal	[20]
72	Rakesh Sinha	[19]
73	Geoffrey Smith	[36]
74	Weixiang Sun	[66] [91]
75	Wei Sun	[6] [8] [11] [12] [13] [17] [20]
76	Xiaoou Tang	[59] [71]
77	Jeffrey J. P. Tsai	[37] [46] [50]
78	Nathan N. Vuong	[36]
79	Dingding Wang	[85]
80	Jiacun Wang	[19] [21] [23] [24] [25] [26] [30] [33] [34] [37] [46] [50] [51]
81	Yingbo Wang	[69] [76] [89]
82	Jeffrey A. White	[67]
83	Kent Wreder	[27]
84	Yali Wu	[89] [90]
85	Bingbing Xia	[81]
86	Dianxiang Xu	[45] [58] [60]
87	Gang Xu	[33]
88	Ya Xu	[15]
89	Chia-Rung Yang	[22]
90	Qiong Yang	[59] [71]
91	Jianwen Yin	[45]
92	Huiqun Yu	[42] [43] [44] [48] [49] [54] [55] [56]
93	Moti Yung (Mordechai M. Yung)	[95] [96]
94	Chi Zhang	[70] [91]
95	Da-Qian Zhang	[35] [38]
96	Kang Zhang	[35] [38]
97	Weiping Zhang	[12]
98	Xianfeng Zhao	[81]
99	Li Zheng	[85]
100	MengChu Zhou (Mengchu Zhou)	[34] [51]
101	Taieb Znati	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page