Yingjia Ding

According to our database, Yingjia Ding authored at least 2 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Object Orientation in Hierarchical Predicate Transition Nets.

Xudong He, Yingjia Ding

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1992

A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets.

Xudong He, Yingjia Ding

Proceedings of the Algorithms, Software, Architecture, 1992