Haisheng Wang

According to our database, Haisheng Wang authored at least 7 papers between 2007 and 2021.

Collaborative distances:

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

2021

Measuring Channel State Information by Underwater Acoustic Gliders.

Haisheng Wang, Wei Feng, Wen Xu, Jianlong Li

Proceedings of the 10th IEEE/CIC International Conference on Communications in China, 2021

2014

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description.

Karim Barkati, Haisheng Wang, Pierre Jouvelot

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

REDACT: preventing database deadlocks from application-based transactions.

B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Preventing database deadlocks in applications.

Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2011

Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi

IEEE Trans. Syst. Man Cybern. Part A, 2011

A SCM experiment of engine assembly by WITNESS simulating.

Ling Pei, Jingkui Ruan, Feng Li, Qing Lu, Haisheng Wang, Longzhou Zhang

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2007

Enforcing transition deadlines in time Petri nets.

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007