Hong P. Liu

According to our database, Hong P. Liu authored at least 5 papers between 2006 and 2017.

Collaborative distances:

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

2017

Using Model-Based Learning to Promote Computational Thinking Education.

Hong P. Liu, Sirani M. Perera, Jerry W. Klein

Proceedings of the Emerging Research, Practice, and Policy on Computational Thinking., 2017

2012

ACE - A Model Centered REU Program Standing on the Three Legs of CSE: Analysis, Computation and Experiment.

Hong P. Liu, Andrei Ludu

Proceedings of the International Conference on Computational Science, 2012

On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs.

Pu Gao, Hong P. Liu, David P. Gluch

Proceedings of the International Conference on Computational Science, 2012

2009

Formal verification of AADL behavior models: a feasibility investigation.

Hong P. Liu, David P. Gluch

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2006

Templates and automation for temporal query generation.

Hong P. Liu, David P. Gluch

Proceedings of the 44st Annual Southeast Regional Conference, 2006