Author of the publication

Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.

, , , , and . ICCAD, page 408-415. IEEE Computer Society / ACM, (2003)

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

RBMP: a relay-based MAC protocol for nanonetworks in the terahertz band., , and . NANOCOM, page 12:1-12:2. ACM, (2017)Pulse Position Coding for Information Capacity Promotion in Electromagnetic Nanonetworks., , , , , and . NANOCOM, page 16:1-16:6. ACM, (2015)Interference and Coverage Analysis for Terahertz Band Communication in Nanonetworks., , , and . GLOBECOM, page 1-6. IEEE, (2017)Interference and Coverage Analysis for Indoor THz Communications with Beamforming Antennas., , and . ICCC Workshops, page 147-152. IEEE, (2019)基于决策树的HEVC编码单元划分算法 (Decision Tree Based Coding Unit Splitting Algorithm for HEVC)., , , , and . 计算机科学, 43 (4): 308-312 (2016)Interference and Coverage Modeling for Indoor Terahertz Communications with Beamforming Antennas., , and . Comput. J., 63 (10): 1597-1606 (2020)Multi-Beam On-Demand Power Allocation MAC Protocol for MIMO Terahertz Communication Networks., , and . ICCC Workshops, page 158-163. IEEE, (2019)IIS-MSP: An Intelligent Interactive System of Patrol Robot with Multi-source Perception., , , , , and . CDVE, volume 11151 of Lecture Notes in Computer Science, page 126-133. Springer, (2018)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , and . CAV'06, page 137-151. (2006)An analysis of coherence optimization methods in compact polarimetric SAR interferometry., , , and . IGARSS, page 3943-3946. IEEE, (2011)