The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

To-Yat Cheung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. To-Yat Cheung
    Estimating Block Accesses and Number of Recorde in File Management. [Citation Graph (11, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:7, pp:484-487 [Journal]
  2. To-Yat Cheung
    A Method for Equijoin Queries in Distributed Relational Databases. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:8, pp:746-751 [Journal]
  3. To-Yat Cheung
    A Statistical Model for Estimating the Number of Records in a Relational Database. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1982, v:15, n:3, pp:115-118 [Journal]
  4. Jiannong Cao, Weijia Jia, Xiaohua Jia, To-Yat Cheung
    Design and Analysis of An Efficient Algorithm for Coordinated Checkpointing in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:261-269 [Conf]
  5. Huiwei Guan, To-Yat Cheung, Chi-Kwong Li, Songnian Yu
    Parallel Design and Implementation of SOM Neural Computing Model in PVM Environment of a Distributed System. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:26-33 [Conf]
  6. To-Yat Cheung, Yiqin Lu
    Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:384-403 [Conf]
  7. Li Jiao, To-Yat Cheung, Weiming Lu
    Characterizing Liveness of Petri Nets in Terms of Siphons. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:203-216 [Conf]
  8. To-Yat Cheung, Yucheng Ye
    An Executor for Graphical LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:547-550 [Conf]
  9. Yiqin Lu, Gang Wei, To-Yat Cheung
    Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:260-269 [Conf]
  10. Weijia Jia, Jiannong Cao, To-Yat Cheung
    A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. [Citation Graph (0, 0)][DBLP]
    ICPP, Vol. 1, 1996, pp:85-92 [Conf]
  11. H. J. Huang, Li Jiao, To-Yat Cheung
    Property-preserving composition of augmented marked graphs that share common resources. [Citation Graph (0, 0)][DBLP]
    ICRA, 2003, pp:1446-1451 [Conf]
  12. Hai Zhuge, Yanyan Li, Jia Bi, To-Yat Cheung
    KGCL: A Knowledge-Grid-Based Cooperative Learning Environment. [Citation Graph (0, 0)][DBLP]
    ICWL, 2002, pp:192-202 [Conf]
  13. Brian Siu, To-Yat Cheung
    Towards a Method for Schema Translation from Relational to Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
    International Hong Kong Computer Society Database Workshop, 1996, pp:307-323 [Conf]
  14. To-Yat Cheung
    An Integrated Software Environment for the Development of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Software Engineering Education, 1993, pp:221-232 [Conf]
  15. To-Yat Cheung, Youwen Wu, Ye Xinming
    Generating Test Sequences and their Degrees of Indeterminism for Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:301-316 [Conf]
  16. Moses Charikar, Chandra Chekuri, To-Yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li
    Approximation Algorithms for Directed Steiner Problems. [Citation Graph (0, 0)][DBLP]
    SODA, 1998, pp:192-200 [Conf]
  17. Z. Hai, H. Pung, To-Yat Cheung
    Timed Workflow: Concept, Model, and Method. [Citation Graph (0, 0)][DBLP]
    WISE, 2000, pp:183-189 [Conf]
  18. To-Yat Cheung
    An Interactive Graphic Display for Region Partitioning by Linear Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:9, pp:513-516 [Journal]
  19. Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia
    A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1999, v:42, n:3, pp:202-220 [Journal]
  20. Li Jiao, To-Yat Cheung, Weiming Lu
    Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:692-701 [Journal]
  21. To-Yat Cheung, Mike Sablatash
    A Functional Network Model for Analytical File Management in ISDN Systems from Generalization of Videotex Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1989, v:16, n:, pp:299-310 [Journal]
  22. To-Yat Cheung
    Petri nets for protocol engineering. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1250-1257 [Journal]
  23. Li Jiao, To-Yat Cheung
    Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:641-658 [Journal]
  24. Yun-zhou Zhu, To-Yat Cheung
    A New Distributed Breadth-First-Search Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:25, n:5, pp:329-334 [Journal]
  25. Moses Charikar, Chandra Chekuri, To-Yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li
    Approximation Algorithms for Directed Steiner Problems. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1999, v:33, n:1, pp:73-91 [Journal]
  26. Li Jiao, Hejiao Huang, To-Yat Cheung
    Property-preserving Composition by Place Merging. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 2005, v:14, n:4, pp:793-812 [Journal]
  27. To-Yat Cheung
    Approximate Solutions and Error Bounds for Quasilinear Elliptic Boundary Value Problems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1973, v:7, n:3, pp:306-322 [Journal]
  28. To-Yat Cheung
    An Algorithm with Decentralized Control for Sorting Files in a Network. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1989, v:7, n:3, pp:464-481 [Journal]
  29. To-Yat Cheung, Xinming Ye
    A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:28, n:1, pp:94-100 [Journal]
  30. Hai Zhuge, To-Yat Cheung, Hung-keng Pung
    A timed workflow process model. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2001, v:55, n:3, pp:231-243 [Journal]
  31. To-Yat Cheung, Yun-zhou Zhu
    Recognizing Different Types of Beta-Cycles in a Database Scheme. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:81, n:2, pp:295-304 [Journal]
  32. H. J. Huang, Li Jiao, To-Yat Cheung
    Property-preserving subnet reductions for designing manufacturing systems with shared resources. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:332, n:1-3, pp:461-485 [Journal]
  33. Li Jiao, To-Yat Cheung, Weiming Lu
    On liveness and boundedness of asymmetric choice nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:165-197 [Journal]
  34. To-Yat Cheung
    Computational Comparison of Eight Methods for the Maximum Network Flow Problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1980, v:6, n:1, pp:1-16 [Journal]
  35. To-Yat Cheung
    Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1980, v:6, n:3, pp:387-390 [Journal]
  36. To-Yat Cheung
    Algorithm 558: A Program for the Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach [H]. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1980, v:6, n:3, pp:430-431 [Journal]
  37. To-Yat Cheung
    Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1983, v:9, n:4, pp:504-512 [Journal]
  38. To-Yat Cheung
    On the Projection Method for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:11, pp:1088-1095 [Journal]
  39. Fan Zhang, To-Yat Cheung
    Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:1, pp:1-14 [Journal]
  40. To-Yat Cheung, Wei Zeng
    Invariant-preserving transformations for the verification of place/transition systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 1998, v:28, n:1, pp:114-121 [Journal]
  41. Hejiao Huang, To-Yat Cheung, Xiao-Long Wang
    Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2007, v:23, n:1, pp:167-181 [Journal]

Search in 0.063secs, Finished in 0.065secs
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