Author of the publication

A verification system for interval-based specification languages.

, , , and . ACM Trans. Softw. Eng. Methodol., 19 (4): 13:1-13:36 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combinatorial online high-order interactive feature selection based on dynamic graph convolution network., , , , and . Signal Process., (November 2023)Pedestrian Recognition Based on SVM., and . IMECS, page 60-63. Newswood Limited, (2006)An efficient flicker noise reduction method for single images., , , , and . Color Imaging: Displaying, Processing, Hardcopy, and Applications, volume 8652 of SPIE Proceedings, page 86520B. SPIE, (2013)Ubiquitous System Capabilities and User Readiness: an Activity Perspective.. PACIS, page 112. (2016)Tactical Network Integration Test Framework., , , , , , , and . MILCOM, page 2158-2163. IEEE, (2011)Compliant encryption scheme for JPEG 2000 image code streams., and . J. Electronic Imaging, 15 (4): 043013 (2006)HAIL: a language for easy and correct device access., , , and . EMSOFT, page 1-9. ACM, (2005)A ranging method for OFDMA uplink system., , , and . IEEE Trans. Consumer Electronics, 56 (3): 1223-1228 (2010)Wavelet image coding based on directional dilation., , and . VCIP, volume 4671 of Proceedings of SPIE, page 1175-1184. SPIE, (2002)An improved quantum-behaved particle swarm optimization for multi-peak optimization problems., , , and . Int. J. Comput. Math., 88 (3): 517-532 (2011)