Publications

1992
1993
D. Bjørner, 1992 Annual Report, , 01/1993. Abstract
Z. Chaochen, Anders P. Ravn, and M. R. Hansen, An Extended Duration Calculus for Real-time Systems, , 01/1993. Abstract
D. Bjørner, UNU-IIST Programme, , 02/1993. Abstract
Z. Chaochen, Duration Calculus, , 03/1993. Abstract
D. Bjørner, Issues and Techniques in Rigorous Development of Software, Technology Transfer and Education -- Selected 1992, , 03/1993. Abstract
Z. Chaochen, and L. Xiaoshan, A Mean Value Duration Calculus, , 03/1993. Abstract
Z. Chaochen, Duration Calculi: An Overview, , 06/1993. Abstract
Z. Chaochen, Z. Jingzhong, Z. Y. Lu, and L. Xiaoshan, Linear Duration Invariants, , 07/1993. Abstract
M. R. Hansen, P. K. Pandya, and Z. Chaochen, Finite Divergence, , 11/1993. Abstract
D. Bjørner, Prospects for a Viable Software Industry -- Enterprise Models, Design Calculi, and Reusable Modules, , 11/1993. Abstract  Download: report12.pdf (526.62 KB)
1994
A. M. Frisch, and P. Haddawy, "Anytime deduction for probabilistic logic", Artificial Intelligence, vol. 69, no. 1-2, pp. 93 - 122, 1994. Abstract
C. Zongji, W. Ji, and Z. Chaochen, An Abstraction of Hybrid Control Systems, , 04/1994. Abstract
C. Zongji, W. Ji, and Z. Chaochen, A Design Approach of Hybrid Control Systems, , 04/1994. Abstract