Intelligent database retrieval by visual reasoning. - Shi-Kuo Chang; Yi Deng 001 (COMPSAC, 1990)

A G-Net Model for Knowledge Representation and Reasoning. - Yi Deng 001; Shi-Kuo Chang (IEEE Trans. Knowl. Data Eng., 1990)

A HyperNet Model for Large Hypertext Systems. - Yi Deng 001; Shi-Kuo Chang (DASFAA, 1991)

Multi-level specification and protocol design for distributed multimedia communication. - Taieb Znati; Yi Deng 001; Brian Field; Shi-Kuo Chang (COOCS, 1991)

A Framework for the Modeling and Prototyping of Distributed Information Systems. - Yi Deng 001; Shi-Kuo Chang (Int. J. Softw. Eng. Knowl. Eng., 1991)

Unifying Multi-Paradigms in Software System Design. - Yi Deng 001; Shi-Kuo Chang (SEKE, 1992)

Unifying Multi-Paradigms in Software System Design. - Yi Deng 001; Shi-Kuo Chang (Advances in Software Engineering and Knowledge Engineering, 1993)

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. - Yi Deng 001; Shi-Kuo Chang; Jorge C. A. de Figueiredo; Angelo Perkusich (Application and Theory of Petri Nets, 1993)

Intermediate Executable Architectural Specifications for KBSA, Part II. - Yi Deng 001 (SEKE, 1993)

Executable Specifications for the Design of Object-Oriented Systems. - Yi Deng 001; Raimund K. Ege; Wei Sun 002 (SEKE, 1993)

An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment. - Wei Sun 002; Yibei Ling; Naphtali Rishe; Yi Deng 001 (SIGMOD Conference, 1993)

Panther: An Inexpensive and Integrated Multimedia Environment. - Sha Guo; Wei Sun 002; Yi Deng 001; Wei Li; Qing Liu; Weiping Zhang (ICMCS, 1994)

Semantic query optimization by class reference reduction in object- oriented databases. - Sha Guo; Wei Sun 002; Naphtali Rishe; Yi Deng 001 (SEKE, 1994)

Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. - Yi Deng 001; Shi-Kuo Chang; Xiaola Lin (Int. J. Softw. Eng. Knowl. Eng., 1994)

An Architecture for Operating System Support of Distributed Multimedia Systems. - Ya Xu; Cyril U. Orji; Yi Deng 001; Naphtali Rishe (IW-MMDBMS, 1995)

An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. - Shengkai Lu; Yi Deng 001 (SEKE, 1995)

Efficient algorithms for detection and resolution of distributed deadlocks. - Shigang Chen; Yi Deng 001; Wei Sun 002; Naphtali Rishe (SPDP, 1995)

Florida International University High Performance Database Research Center. - Naphtali Rishe; Wei Sun 002; David Barton; Yi Deng 001; Cyril U. Orji; Michael Alexopoulos; Leonard Loureiro; Carlos Ordonez 002; Mario R. Sánchez; Artyom Shaposhnikov (SIGMOD Rec., 1995)

Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. - Shigang Chen; Yi Deng 001; Paul C. Attie; Wei Sun 002 (ICDCS, 1996)

A Formalism for Architectural Modeling of Distributed Real-Time Systems. - Yi Deng 001; Wenliang Du; Paul C. Attie; Michael Evangelist (SEKE, 1996)

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

A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. - Guohong Cao; Mukesh Singhal; Yi Deng 001; Naphtali Rishe; Wei Sun 002 (ICDCS, 1998)

Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. - Yi Deng 001; Jiacun Wang; Rakesh Sinha (ICFEM, 1998)

Component-level reduction rules for time Petri nets with application in C2 systems. - Jiacun Wang; Yi Deng 001 (SMC, 1998)

A Resource Access Decision Service for CORBA-Based Distributed Systems. - Konstantin Beznosov; Yi Deng 001; Bob Blakley 001; Carol C. Burt; John F. Barkley (ACSAC, 1999)

Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. - Jiacun Wang; Chun Jin; Yi Deng 001 (COMPSAC, 1999)

Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. - Kent Wreder; Yi Deng 001 (COMPSAC, 1999)

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. - Jiacun Wang; Chun Jin; Yi Deng 001 (ICECCS, 1999)

A Framework for Implementing Role-Based Access Control Using CORBA Security Service. - Konstantin Beznosov; Yi Deng 001 (ACM Workshop on Role-Based Access Control, 1999)

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. - Yi Deng 001; Jiacun Wang (Ann. Softw. Eng., 1999)

Introducing software architecture specification and analysis in SAM through an example. - Jiacun Wang; Xudong He; Yi Deng 001 (Inf. Softw. Technol., 1999)

Incremental modeling and verification of flexible manufacturing systems. - Jiacun Wang; Yi Deng 001 (J. Intell. Manuf., 1999)

Architecture-driven modeling of real-time concurrent systems with applications in FMS. - Yi Deng 001; Chia-Rung Yang (J. Syst. Softw., 1999)

Modeling mobile agent systems with high level Petri nets. - Dianxiang Xu; Yi Deng 001 (SMC, 2000)

Guest Editors' Introduction - Best Papers from SEKE'98. - Mark J. Gerken; Yi Deng 001 (Int. J. Softw. Eng. Knowl. Eng., 2000)

Specifying Software Architectural Connectors in SAM. - Xudong He; Yi Deng 001 (Int. J. Softw. Eng. Knowl. Eng., 2000)

Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models. - Jiacun Wang; Yi Deng 001; Chun Jin (Int. J. Softw. Eng. Knowl. Eng., 2000)

Reachability analysis of real-time systems using time Petri nets. - Jiacun Wang; Yi Deng 001; Gang Xu (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Compositional time Petri nets and reduction rules. - Jiacun Wang; Yi Deng 001; Mengchu Zhou (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Formal Analysis of Software Security System Architectures. - Yi Deng 001; Jiacun Wang; Jeffrey J. P. Tsai (ISADS, 2001)

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

A Visual Approach to XML Document Design and Transformation. - Kang Zhang 001; Da-Qian Zhang; Yi Deng 001 (HCC, 2001)

Graphical Transformation of Multimedia XML Documents. - Kang Zhang 001; Da-Qian Zhang; Yi Deng 001 (Ann. Softw. Eng., 2001)

A Formal Method for Analyzing Software Architecture Models in SAM. - Huiqun Yu; Xudong He; Yi Deng 001; Lian Mo (COMPSAC, 2002)

Formal Analysis of Real-Time Systems with SAM. - Huiqun Yu; Xudong He; Yi Deng 001; Lian Mo (ICFEM, 2002)

Modeling and Analyzing SMIL Documents in SAM. - Huiqun Yu; Xudong He; Shu Gao; Yi Deng 001 (ISMSE, 2002)

Model checking software architecture specifications in SAM. - Xudong He; Junhua Ding; Yi Deng 001 (SEKE, 2002)

A Framework for Developing and Analyzing Software Architecture Specifications in SAM. - Xudong He; Yi Deng 001 (Comput. J., 2002)

Guest Editors' Introduction: Special Issue on Embedded Software Engineering. - Yi Deng 001; Farokh B. Bastani (Int. J. Softw. Eng. Knowl. Eng., 2002)

Formal Software Architecture Design of Secure Distributed Systems. - Huiqun Yu; Xudong He; Shu Gao; Yi Deng 001 (SEKE, 2003)

Developing a Formal Design Analysis Framework. - Kendra M. L. Cooper; Lirong Dai 002; Yi Deng 001; Jing Dong (Software Engineering Research and Practice, 2003)

An Approach for Modeling and Analysis of Security System Architectures. - Yi Deng 001; Jiacun Wang; Jeffrey J. P. Tsai; Konstantin Beznosov (IEEE Trans. Knowl. Data Eng., 2003)

A Formal Architectural Model for Logical Agent Mobility. - Dianxiang Xu; Jianwen Yin; Yi Deng 001; Junhua Ding (IEEE Trans. Software Eng., 2003)

A Formal Approach to Designing Secure Software Architectures. - Huiqun Yu; Xudong He; Yi Deng 001; Lian Mo (HASE, 2004)

Applying Aspect-Orientation in Designing Security Systems: A Case Study. - Shu Gao; Yi Deng 001; Huiqun Yu; Xudong He; Konstantin Beznosov; Kendra M. L. Cooper (SEKE, 2004)

Integrating Security Administration into Software Architectures Design. - Huiqun Yu; Xudong He; Yi Deng 001; Lian Mo (SEKE, 2004)

A Component Framework for Resource Management Systems. - Jing Dong; Rucha Khisti; Kendra M. L. Cooper; Yi Deng 001 (Software Engineering Research and Practice, 2004)

Constraint Propagation And Progressive Verification For Component-Based Process Model. - Yi Deng 001; Jiacun Wang; Xudong He; Jeffrey J. P. Tsai (Int. J. Softw. Eng. Knowl. Eng., 2004)

Formally analyzing software architectural specifications using SAM . - Xudong He; Huiqun Yu; Tianjun Shi; Junhua Ding; Yi Deng 001 (J. Syst. Softw., 2004)

Consistency verification in modeling of real-time systems. - Yi Deng 001; Jiacun Wang; Mengchu Zhou (IEEE Trans. Robotics Autom., 2004)

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. - Junhua Ding; Dianxiang Xu; Yi Deng 001; Peter J. Clarke; Xudong He (SEKE, 2005)

Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. - Kendra M. L. Cooper; Lirong Dai 002; Yi Deng 001 (Sci. Comput. Program., 2005)

Communication Model to Support Rapid Application Development. - Yingbo Wang; Peter J. Clarke; Yi Deng 001 (Communications in Computing, 2006)

A Communication Virtual Machine. - Yi Deng 001; Seyed Masoud Sadjadi; Peter J. Clarke; Chi Zhang; Vagelis Hristidis; Raju Rangaswami; Nagarajan Prabakar (COMPSAC (1), 2006)

A Declarative Approach for Specifying User-Centric Communication. - Peter J. Clarke; Vagelis Hristidis; Yingbo Wang; Nagarajan Prabakar; Yi Deng 001 (CTS, 2006)

A flexible approach for electronic medical records exchange. - Vagelis Hristidis; Peter J. Clarke; Nagarajan Prabakar; Yi Deng 001; Jeffrey A. White; Redmond P. Burke (HIKM, 2006)

Achieving a Better Middleware Design through Formal Modeling and Analysis. - Weixiang Sun; Tianjun Shi; Gonzalo Argote-Garcia; Yi Deng 001; Xudong He (SEKE, 2006)

A formal model-based approach for developing an interoperable mobile agent system. - Junhua Ding; Peter J. Clarke; Dianxiang Xu; Xudong He; Yi Deng 001 (Multiagent Grid Syst., 2006)

Testing and evaluating virus detectors for handheld devices. - Jose Andre Morales; Peter J. Clarke; Yi Deng 001; B. M. Golam Kibria (J. Comput. Virol., 2006)

Automatic Generation of User-Centric Multimedia Communication Services. - Raju Rangaswami; Seyed Masoud Sadjadi; Nagarajan Prabakar; Yi Deng 001 (IPCCC, 2007)

Towards a business continuity information network for rapid disaster recovery. - Khalid Saleem; Steven Luis; Yi Deng 001; Shu-Ching Chen; Vagelis Hristidis; Tao Li 001 (DG.O, 2008)

A Self-Configuring Communication Virtual Machine. - Seyed Masoud Sadjadi; Selim Kalayci; Yi Deng 001 (ICNSC, 2008)

Characterizing and Detecting Virus Replication. - Jose Andre Morales; Peter J. Clarke; Yi Deng 001 (ICONS, 2008)

Building Global Ecosystem for Collaborative Computing Research and Education. - Yi Deng 001 (SEKE, 2008)

CVM - A communication virtual machine. - Yi Deng 001; Seyed Masoud Sadjadi; Peter J. Clarke; Vagelis Hristidis; Raju Rangaswami; Yingbo Wang (J. Syst. Softw., 2008)

Characterization of virus replication. - Jose Andre Morales; Peter J. Clarke; Yi Deng 001; B. M. Golam Kibria (J. Comput. Virol., 2008)

An autonomic framework for user-centric communication services. - Andrew A. Allen; Yali Wu; Peter J. Clarke; Tariq M. King; Yi Deng 001 (CASCON, 2009)

Towards the Operational Semantics of User-Centric Communication Models. - Yingbo Wang; Yali Wu; Andrew A. Allen; Barbara Espinoza; Peter J. Clarke; Yi Deng 001 (COMPSAC (1), 2009)

Evolutionary document summarization for disaster management. - Dingding Wang 001; Li Zheng 001; Tao Li 001; Yi Deng 001 (SIGIR, 2009)

PIRE: a global living laboratory for cyberinfrastructure application enablement. - Seyed Masoud Sadjadi; Shuyi Chen; Scott Graham; Steven Luis; Yi Deng 001; Borko Furht; Pele Martinez; Nick Bowen; Juan Caraballo (Richard Tapia Celebration of Diversity in Computing Conference, 2009)

Survey of data management and analysis in disaster situations. - Vagelis Hristidis; Shu-Ching Chen; Tao Li 001; Steven Luis; Yi Deng 001 (J. Syst. Softw., 2010)

A user-centric network communication broker for multimedia collaborative computing. - Chi Zhang; Seyed Masoud Sadjadi; Weixiang Sun; Raju Rangaswami; Yi Deng 001 (Multim. Tools Appl., 2010)

Identification of file infecting viruses through detection of self-reference replication. - Jose Andre Morales; Peter J. Clarke; Yi Deng 001 (J. Comput. Virol., 2010)