Yi Deng

Jing Xin, Xiaomin Ma, Yi Deng, Ding Liu, Han Liu: A New Method of Stereo Localization Using Dual-PTZ-Cameras. ICIRA (3) 2012: 460-472

Yi Deng, Philip Coen, Mingzhai Sun, Joshua W. Shaevitz: Efficient Multiple Object Tracking Using Mutually Repulsive Active Membranes. CoRR abs/1212.6209 (2012)

Yi Deng, Juan A. Garay, San Ling, Huaxiong Wang, Moti Yung: On the (Im)Plausibility of Constant-Round Public-Coin Straight-Line-Simulatable Zero-Knowledge Proofs. IACR Cryptology ePrint Archive 2012: 508 (2012)

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

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)

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)

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)

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)

Yi Deng: From Computing to Informatics. DMS 2010

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

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

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

Yi Deng, Vipul Goyal, Amit Sahai: Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy. FOCS 2009: 251-260

Dingding Wang, Li Zheng, Tao Li, Yi Deng: Evolutionary document summarization for disaster management. SIGIR 2009: 680-681

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

Yi Deng, Dongdai Lin: Novel Omega-protocols for NP. Science in China Series F: Information Sciences 51(1): 40-52 (2008)

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)

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)

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

Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng: A Self-Configuring Communication Virtual Machine. ICNSC 2008: 739-744

Jose Andre Morales, Peter J. Clarke, Yi Deng: Characterizing and Detecting Virus Replication. ICONS 2008: 214-219

Xianfeng Zhao, Bingbing Xia, Yi Deng: Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. Information Hiding 2008: 309-324

Yi Deng: Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3

Yi Deng, Dongdai Lin: On Resettably-Sound Resttable Zero Knowledege Arguments. IACR Cryptology ePrint Archive 2008: 233 (2008)

Yi Deng: Resettably-Sound Resettable Zero Knowledge Arguments for NP. IACR Cryptology ePrint Archive 2008: 541 (2008)

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)

Yi Deng, Dongdai Lin: Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. Inscrypt 2007: 123-137

Yi Deng, Dongdai Lin: Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. EUROCRYPT 2007: 148-168

Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng: Automatic Generation of User-Centric Multimedia Communication Services. IPCCC 2007: 324-331

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)

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)

Yingbo Wang, Peter J. Clarke, Yi Deng: Communication Model to Support Rapid Application Development. Communications in Computing 2006: 185-191

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

Peter J. Clarke, Vagelis Hristidis, Yingbo Wang, Nagarajan Prabakar, Yi Deng: A Declarative Approach for Specifying User-Centric Communication. CTS 2006: 89-98

Yi Deng, Xueyin Lin: A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. ECCV (3) 2006: 201-212

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

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

Yi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption. CoRR abs/cs/0607035 (2006)

Yi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model. CoRR abs/cs/0609057 (2006)

Yi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption. IACR Cryptology ePrint Archive 2006: 239 (2006)

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)

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)

Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang: A Symmetric Patch-Based Correspondence Model for Occlusion Handling. ICCV 2005: 1316-1322

Anrong Dang, Qizhi Mao, Huaixiang Ren, Xindong He, Yi Deng: Study on conservation planning for beijing old city based on RS and GIS. IGARSS 2005: 1488-1491

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

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)

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)

Yi Deng, Jiacun Wang, Mengchu Zhou: Consistency verification in modeling of real-time systems. IEEE Transactions on Robotics 20(1): 136-142 (2004)

Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290

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

Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420

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

Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng: A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687

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)

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)

Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457

Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong: Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73

Xudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002)

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)

Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652

Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286

Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139

Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278

Kang Zhang, Da-Qian Zhang, Yi Deng: Graphical Transformation of Multimedia XML Documents. Ann. Software Eng. 12(1): 119-137 (2001)

Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434

Nathan N. Vuong, Geoffrey Smith, Yi Deng: Managing security policies in a distributed environment using eXtensible markup language (XML). SAC 2001: 405-411

Kang Zhang, Da-Qian Zhang, Yi Deng: A Visual Approach to XML Document Design and Transformation. HCC 2001: 312-319

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)

Xudong He, Yi Deng: Specifying Software Architectural Connectors in SAM. International Journal of Software Engineering and Knowledge Engineering 10(4): 411-431 (2000)

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)

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)

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)

Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Software Eng. 7: 47-70 (1999)

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)

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)

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

Kent Wreder, Yi Deng: Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. COMPSAC 1999: 250-258

Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441

Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85

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

Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278

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

Yi Deng, Jiacun Wang, Rakesh Sinha: Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-

Yi Deng, Shengkai Lu, Michael Evangelist: A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) 1997: 481-490

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

Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist: A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417

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)

Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe: An Architecture for Operating System Support of Distributed Multimedia Systems. IW-MMDBMS 1995: 56-63

Shengkai Lu, Yi Deng: An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE 1995: 402-410

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)

Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang: Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS 1994: 382-391

Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng: Semantic query optimization by class reference reduction in object- oriented databases. SEKE 1994: 306-313

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

Yi Deng, Raimund K. Ege, Wei Sun: Executable Specifications for the Design of Object-Oriented Systems. SEKE 1993: 46-53

Yi Deng: Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE 1993: 586

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

Yi Deng, Shi-Kuo Chang: Unifying Multi-Paradigms in Software System Design. SEKE 1992: 386-393

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)

Yi Deng, Shi-Kuo Chang: A HyperNet Model for Large Hypertext Systems. DASFAA 1991: 484-490

Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang: Multi-level specification and protocol design for distributed multimedia communication. COOCS 1991: 255-268

Yi Deng, Shi-Kuo Chang: A G-Net Model for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. 2(3): 295-310 (1990)