The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yi Deng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wei Sun, Yibei Ling, Naphtali Rishe, Yi Deng
    An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment. [Citation Graph (12, 18)][DBLP]
    SIGMOD Conference, 1993, pp:79-88 [Conf]
  2. Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun
    Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. [Citation Graph (1, 0)][DBLP]
    ICDCS, 1996, pp:613-619 [Conf]
  3. Yi Deng, Shi-Kuo Chang
    A G-Net Model for Knowledge Representation and Reasoning. [Citation Graph (1, 3)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1990, v:2, n:3, pp:295-310 [Journal]
  4. Konstantin Beznosov, Yi Deng, Bob Blakley, C. Burt, John F. Barkley
    A Resource Access Decision Service for CORBA-Based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ACSAC, 1999, pp:310-319 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:206-223 [Conf]
  6. Yingbo Wang, Peter J. Clarke, Yi Deng
    Communication Model to Support Rapid Application Development. [Citation Graph (0, 0)][DBLP]
    Communications in Computing, 2006, pp:185-191 [Conf]
  7. Jiacun Wang, Chun Jin, Yi Deng
    Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:436-441 [Conf]
  8. Kent Wreder, Yi Deng
    Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:250-258 [Conf]
  9. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    A Formal Method for Analyzing Software Architecture Models in SAM. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:645-652 [Conf]
  10. Yi Deng, S. Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar
    A Communication Virtual Machine. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:521-531 [Conf]
  11. Yi Deng, Shi-Kuo Chang
    A HyperNet Model for Large Hypertext Systems. [Citation Graph (0, 13)][DBLP]
    DASFAA, 1991, pp:484-490 [Conf]
  12. Yi Deng, Xueyin Lin
    A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. [Citation Graph (0, 0)][DBLP]
    ECCV (3), 2006, pp:201-212 [Conf]
  13. Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang
    Multi-level specification and protocol design for distributed multimedia communication. [Citation Graph (0, 0)][DBLP]
    COOCS, 1991, pp:255-268 [Conf]
  14. Yi Deng, Jiacun Wang
    Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:270-278 [Conf]
  15. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    A Formal Approach to Designing Secure Software Architectures. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:289-290 [Conf]
  16. Yi Deng, Shengkai Lu, Michael Evangelist
    A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:481-490 [Conf]
  17. Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang
    A Symmetric Patch-Based Correspondence Model for Occlusion Handling. [Citation Graph (0, 0)][DBLP]
    ICCV, 2005, pp:1316-1322 [Conf]
  18. Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun
    A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:444-451 [Conf]
  19. Jiacun Wang, Chun Jin, Yi Deng
    Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:77-85 [Conf]
  20. Yi Deng, Jiacun Wang, Rakesh Sinha
    Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:26-0 [Conf]
  21. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    Formal Analysis of Real-Time Systems with SAM. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:275-286 [Conf]
  22. Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang
    Panther: An Inexpensive and Integrated Multimedia Environment. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1994, pp:382-391 [Conf]
  23. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai
    Formal Analysis of Software Security System Architectures. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:426-434 [Conf]
  24. Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe
    An Architecture for Operating System Support of Distributed Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    IW-MMDBMS, 1995, pp:56-63 [Conf]
  25. Huiqun Yu, Xudong He, Shu Gao, Yi Deng
    Modeling and Analyzing SMIL Documents in SAM. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:132-139 [Conf]
  26. Konstantin Beznosov, Yi Deng
    A Framework for Implementing Role-Based Access Control Using CORBA Security Service. [Citation Graph (0, 0)][DBLP]
    ACM Workshop on Role-Based Access Control, 1999, pp:19-30 [Conf]
  27. Nathan N. Vuong, Geoffrey Smith, Yi Deng
    Managing security policies in a distributed environment using eXtensible markup language (XML). [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:405-411 [Conf]
  28. Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
    A Formalism for Architectural Modeling of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:408-417 [Conf]
  29. Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper
    Applying Aspect-Orientation in Designing Security Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:360-365 [Conf]
  30. Xudong He, Junhua Ding, Yi Deng
    Model checking software architecture specifications in SAM. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:271-278 [Conf]
  31. Shengkai Lu, Yi Deng
    An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:402-410 [Conf]
  32. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    Integrating Security Administration into Software Architectures Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:416-420 [Conf]
  33. Huiqun Yu, Xudong He, Shu Gao, Yi Deng
    Formal Software Architecture Design of Secure Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:450-457 [Conf]
  34. Yi Deng, Raimund K. Ege, Wei Sun
    Executable Specifications for the Design of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:46-53 [Conf]
  35. Yi Deng
    Intermediate Executable Architectural Specifications for KBSA, Part II. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:586- [Conf]
  36. Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng
    Semantic query optimization by class reference reduction in object- oriented databases. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:306-313 [Conf]
  37. Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
    Achieving a Better Middleware Design through Formal Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:463-468 [Conf]
  38. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
    Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:560-565 [Conf]
  39. Yi Deng, Shi-Kuo Chang
    Unifying Multi-Paradigms in Software System Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:386-393 [Conf]
  40. Kendra Cooper, Lirong Dai, Yi Deng
    Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based Approach. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:111-120 [Conf]
  41. Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong
    Developing a Formal Design Analysis Framework. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:68-73 [Conf]
  42. Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng
    A Component Framework for Resource Management Systems. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:681-687 [Conf]
  43. Kang Zhang, Da-Qian Zhang, Yi Deng
    A Visual Approach to XML Document Design and Transformation. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:312-319 [Conf]
  44. Vagelis Hristidis, Peter J. Clarke, Nagarajan Prabakar, Yi Deng, Jeffrey A. White, Redmond P. Burke
    A flexible approach for electronic medical records exchange. [Citation Graph (0, 0)][DBLP]
    HIKM, 2006, pp:33-40 [Conf]
  45. Yi Deng, Jiacun Wang
    Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:47-70 [Journal]
  46. Kang Zhang, Da-Qian Zhang, Yi Deng
    Graphical Transformation of Multimedia XML Documents. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2001, v:12, n:1, pp:119-137 [Journal]
  47. Xudong He, Yi Deng
    A Framework for Developing and Analyzing Software Architecture Specifications in SAM. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:111-128 [Journal]
  48. Yi Deng, Farokh B. Bastani
    Guest Editors' Introduction: Special Issue on Embedded Software Engineering. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2002, v:12, n:2, pp:103-105 [Journal]
  49. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
    Constraint Propagation And Progressive Verification For Component-Based Process Model. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:5, pp:471-496 [Journal]
  50. Mark Gerken, Yi Deng
    Guest Editors' Introduction - Best Papers from SEKE'98. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2000, v:10, n:1, pp:1-4 [Journal]
  51. Jiacun Wang, Xudong He, Yi Deng
    Introducing software architecture specification and analysis in SAM through an example. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:7, pp:451-467 [Journal]
  52. Yi Deng, Chia-Rung Yang
    Architecture-driven modeling of real-time concurrent systems with applications in FMS. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:45, n:1, pp:61-78 [Journal]
  53. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng
    Formally analyzing software architectural specifications using SAM . [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:71, n:1-2, pp:11-29 [Journal]
  54. Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang
    Stereo Correspondence with Occlusion Handling in a Symmetric Patch-Based Graph-Cuts Model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 2007, v:29, n:6, pp:1068-1079 [Journal]
  55. Kendra Cooper, Lirong Dai, Yi Deng
    Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:1, pp:89-108 [Journal]
  56. Naphtali Rishe, Wei Sun, David Barton, Yi Deng, Cyril U. Orji, Michael Alexopoulos, Leonard Loureiro, Carlos Ordonez 0002, Mario Sanchez, Artyom Shaposhnikov
    Florida International University High Performance Database Research Center. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 1995, v:24, n:3, pp:71-76 [Journal]
  57. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov
    An Approach for Modeling and Analysis of Security System Architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:5, pp:1099-1119 [Journal]
  58. Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
    A Formal Architectural Model for Logical Agent Mobility. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:1, pp:31-45 [Journal]
  59. Jiacun Wang, Yi Deng, Gang Xu
    Reachability analysis of real-time systems using time Petri nets. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:5, pp:725-736 [Journal]
  60. Jiacun Wang, Yi Deng, Mengchu Zhou
    Compositional time Petri nets and reduction rules. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:4, pp:562-572 [Journal]
  61. Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria
    Testing and evaluating virus detectors for handheld devices. [Citation Graph (0, 0)][DBLP]
    Journal in Computer Virology, 2006, v:2, n:2, pp:135-147 [Journal]
  62. Yi Deng, Dongdai Lin
    Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. [Citation Graph (0, 0)][DBLP]
    EUROCRYPT, 2007, pp:148-168 [Conf]
  63. Yi Deng, Giovanni Di Crescenzo, Dongdai Lin
    Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  64. Yi Deng, Dongdai Lin
    Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  65. Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. [Citation Graph (, )][DBLP]


  66. Towards the Operational Semantics of User-Centric Communication Models. [Citation Graph (, )][DBLP]


  67. Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model. [Citation Graph (, )][DBLP]


  68. Towards a business continuity information network for rapid disaster recovery. [Citation Graph (, )][DBLP]


  69. Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy. [Citation Graph (, )][DBLP]


  70. Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. [Citation Graph (, )][DBLP]


  71. Building Global Ecosystem for Collaborative Computing Research and Education. [Citation Graph (, )][DBLP]


  72. Evolutionary document summarization for disaster management. [Citation Graph (, )][DBLP]


  73. PIRE: a global living laboratory for cyberinfrastructure application enablement. [Citation Graph (, )][DBLP]


  74. Automatic Generation of User-Centric Multimedia Communication Services. [Citation Graph (, )][DBLP]


  75. Characterizing and Detecting Virus Replication. [Citation Graph (, )][DBLP]


  76. A Self-Configuring Communication Virtual Machine. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002