dblp.uni-trier.dewww.uni-trier.de

Yiping Cheng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEYiping Cheng, Da-Zhong Zheng: An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities. Discrete Event Dynamic Systems 17(1): 99-129 (2007)
2005
4EEYiping Cheng: A Survey of the Theory of Min-Max Systems. ICIC (2) 2005: 616-625
3EEYiping Cheng, Da-Zhong Zheng: Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints. Discrete Event Dynamic Systems 15(2): 119-143 (2005)
2EEYiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao: Contributing Authors. Discrete Event Dynamic Systems 15(2): 199-200 (2005)
2004
1EEYiping Cheng, Da-Zhong Zheng: A Cycle Time Computing Algorithm and its Application in the Structural Analysis of Min-max Systems. Discrete Event Dynamic Systems 14(1): 5-30 (2004)

Coauthor Index

1Xi-Ren Cao [2]
2Stéphane Lafortune [2]
3Kurt Rohloff [2]
4Da-Zhong Zheng [1] [2] [3] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)