Yexuan Gui

According to our database, Yexuan Gui authored at least 3 papers between 1993 and 2007.

Collaborative distances:

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

2007

Experiences in Deploying Model-Driven Engineering.

Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul H. Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

1993

LAMBDALG: Higher Order Algebraic Specification Language.

Yexuan Gui, Mitsuhiro Okada

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

System Description of LAMBDALG - A Higher Order Algebraic Specification Language.

Yexuan Gui, Mitsuhiro Okada

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993