Author of the publication

Theorem prover approach to semistructured data design.

, , , and . Formal Methods Syst. Des., 37 (1): 1-60 (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

A 1-μm-Band Injection-Locked Semiconductor Laser with a High Side-Mode Suppression Ratio and Narrow Linewidth., , , , , , , , , and 2 other author(s). Sensors, 22 (23): 9239 (2022)Boosting performance of gene mention tagging system by classifiers ensemble., , and . NLPKE, page 1-4. IEEE, (2010)Cross-Project and Within-Project Semisupervised Software Defect Prediction: A Unified Approach., , , , , , and . IEEE Trans. Reliability, 67 (2): 581-597 (2018)Semi-Interpenetrating Cooperative Localization in Connected Vehicle Networks., , , and . CoRR, (2017)Improving Localization Accuracy in Connected Vehicle Networks Using Rao-Blackwellized Particle Filters: Theory, Simulations, and Experiments., , , and . CoRR, (2017)Saliency detection based on integration of boundary and soft-segmentation., , and . ICIP, page 1085-1088. IEEE, (2012)Parallel Verification of Software Architecture Design., , , and . HASE, page 50-57. IEEE, (2019)Enhancements to CDMA2000 1x for M2M communications., , , , and . GLOBECOM Workshops, page 1675-1680. IEEE, (2012)Knowledge Management in Graduate Research., , , , , and . QRS Companion, page 480-485. IEEE, (2017)Fiber-coupling Efficiency for Satellite-to-ground Laser Links with Angle-of-arrival Fluctuations., , and . ICCT, page 705-709. IEEE, (2019)