Self-suppression of common-mode noises of the different fiber optic interferometric accelerometers von Duo, Yi, Xiangge, He, Fei, Liu, Lijuan, Gu, Min, Zhang, Xiaokang, Qiu, Han, Ye

Volltext

Efficient Common-Mode Noise Suppression for Fiber-Optic Interferometric Sensor Using Heterodyne Demodulation von Liu, Fei, Xie, Shangran, Qiu, Xiaokang, Wang, Xiaofei, Cao, Shan, Qin, Mengzhe, He, Xiangge, Xie, Bin, Zheng, Xiaoping, Zhang, Min

Volltext

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations von Ding, Yuantian, Qiu, Xiaokang

Volltext

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures von Bagchi, Saurabh, Aggarwal, Vaneet, Chaterji, Somali, Douglis, Fred, Gamal, Aly El, Han, Jiawei, Henz, Brian J., Hoffmann, Henry, Jana, Suman, Kulkarni, Milind, Lin, Felix Xiaozhu, Marais, Karen, Mittal, Prateek, Mou, Shaoshuai, Qiu, Xiaokang, Scutari, Gesualdo

Volltext

Decidable logics combining heap structures and data von Madhusudan, P., Parlato, Gennaro, Qiu, Xiaokang

Volltext

Natural synthesis of provably-correct data-structure manipulations von Qiu, Xiaokang, Solar-Lezama, Armando

Volltext

Bootstrapping Library-Based Synthesis von Huang, Kangjing, Qiu, Xiaokang

Volltext

Microblog Topic-Words Detection Model for Earthquake Emergency Responses Based on Information Classification Hierarchy von Su, Xiaohui, Ma, Shurui, Qiu, Xiaokang, Shi, Jiabin, Zhang, Xiaodong, Chen, Feixiang

Volltext

Comparative Synthesis: Learning Near-Optimal Network Designs by Query von Wang, Yanjun, Li, Zixuan, Jiang, Chuan, Qiu, Xiaokang, Rao, Sanjay

Volltext

Runtime verification of java programs for scenario-based specifications von Xuandong, Li, Linzhang, Wang, Xiaokang, Qiu, Bin, Lei, Jiesong, Yuan, Jianhua, Zhao, Guoliang, Zheng

Volltext

HiAtGang: How to Mine the Gangs Hidden Behind DDoS Attacks von ZHU, Tian, QIU, Xiaokang, RAO, Yu, YAN, Hanbing, ZHOU, Yu, SHI, Guixin

Volltext

A Decidable Logic for Tree Data-Structures with Measurements von Qiu, Xiaokang, Wang, Yanjun

Volltext

Program synthesis with algebraic library specifications von Mariano, Benjamin, Reese, Josh, Xu, Siyuan, Nguyen, ThanhVu, Qiu, Xiaokang, Foster, Jeffrey S., Solar-Lezama, Armando

Volltext

An empirical study of adaptive concretization for parallel program synthesis von Jeon, Jinseong, Qiu, Xiaokang, Solar-Lezama, Armando, Foster, Jeffrey S.

Volltext

Application of optical sensing system in heavy oil recovery von Pan, Jingjun, You, Hongjuan, Pan, Yong, Wu, Di, Yu, Le, Wang, Xiaofei, Qiu, Xiaokang, Zhang, Min

Volltext

Natural proofs for data structure manipulation in C using separation logic von Pek, Edgar, Qiu, Xiaokang, Madhusudan, P.

Volltext

Streaming Transformations of Infinite Ordered-Data Words von Qiu, Xiaokang

Volltext bestellen

Efficient Decision Procedures for Heaps Using STRAND von Madhusudan, P., Qiu, Xiaokang

Volltext

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs von Chen, Mingsong, Qiu, Xiaokang, Xu, Wei, Wang, Linzhang, Zhao, Jianhua, Li, Xuandong

Volltext

Reproduction Package (VirtualBox Image) for the POPL 2024 Article `Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations von Ding, Yuantian, Qiu, Xiaokang

Volltext bestellen