To-yat Cheung

Available identifiers

zbMath Open cheung.to-yatMaRDI QIDQ703480

List of research outcomes

Publication	Date of Publication	Type
Property-Preserving Petri Net Process Algebra in Software Engineering	2011-06-23	Paper
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties	2005-10-19	Paper
Structure and behavior preservation by Petri-net-based refinements in system design	2005-01-11	Paper
On liveness and boundedness of asymmetric choice nets	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3045261	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4408371	2003-06-29	Paper
Approximation Algorithms for Directed Steiner Problems	2000-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4250182	1999-06-17	Paper
A fault-detection approach to the conformance testing of nondeterministic systems	1995-09-24	Paper
Recognizing different types of beta-cycles in a database scheme	1991-01-01	Paper
On the projection method for protocol verification	1986-01-01	Paper
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation	1983-01-01	Paper
A Method for Equijoin Queries in Distributed Relational Databases	1982-01-01	Paper
A statistical model for estimating the number of records in a relational database	1982-01-01	Paper
Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach	1980-01-01	Paper
Computational Comparison of Eight Methods for the Maximum Network Flow Problem	1980-01-01	Paper
Newton's method for nonlinear ordinary and partial differential equations	1979-01-01	Paper
Recent Developments in the Numerical Solution of Partial Differential Equations by Linear Programming	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3869082	1978-01-01	Paper
A Note on Minimum Cost Networks with Nonlinear Costs	1978-01-01	Paper
Three Nonlinear Initial Value Problems of the Hyperbolic Type	1977-01-01	Paper
Approximate Solutions and Error Bounds for Quasi-Linear Hyperbolic Initial Boundary Value Problems	1975-01-01	Paper
An interactive graphic display for region partitioning by linear programming	1974-01-01	Paper
Approximate solutions and error bounds for quasilinear elliptic boundary value problems	1973-01-01	Paper
Quasilinear Parabolic Boundary Value Problems. Approximate Solutions and Error Bounds by Linear Programming	1973-01-01	Paper

Research outcomes over time

This page was built for person: To-yat Cheung