Yujun Zheng

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
First Detection and Tunneling Time of a Quantum Walk.
Entropy, August, 2023

2018
PAR: A Practicable Formal Method and Its Supporting Platform.
Proceedings of the Formal Methods and Software Engineering, 2018

2010
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.
Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

2007
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.
J. Digit. Inf. Manag., 2007


  Loading...