PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Shi, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
Loop Invariant Generation for Non-monotone Loop Structures.

, , , and . COMPSAC (1), page 304-309. IEEE Computer Society, (2018)

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.

Univ. -Prof. Dr. -Ing. Kai Hufendiek University of Stuttgart

Kai Waldner University of Stuttgart

Abhishekkumar Shingala University of Stuttgart

Dr. Florian Kaiser University of Stuttgart

Ashkan Shiravand University of Stuttgart

 

Other publications of authors with the same name

Continuous-mode frame synchronization for frequency-selective channels., , and . IEEE Trans. Vehicular Technology, 53 (3): 865-871 (2004)Fast timing recovery for linearly and nonlinearly modulated systems., and . IEEE Trans. Vehicular Technology, 54 (6): 2017-2023 (2005)Impacts of Narrowband Interference on OFDM-UWB Receivers: Analysis and Mitigation., , , , , and . IEEE Trans. Signal Processing, 55 (3): 1118-1128 (2007)On the design of a digital blind feedforward, nearly jitter-free timing-recovery scheme for linear modulations., , and . IEEE Trans. Communications, 52 (9): 1464-1469 (2004)Wind turbine gearbox condition monitoring based on extreme gradient boosting., , , and . IECON, page 6017-6023. IEEE, (2017)iCPBBOCO: A Combination Evaluation Algorithm Based on the Extensional BBO., , , and . iThings/GreenCom/CPSCom/SmartData, page 717-723. IEEE, (2016)HERO: Heterogeneity-aware erasure coded redundancy optimal allocation for reliable storage in distributed networks., , , , , and . IPCCC, page 246-255. IEEE Computer Society, (2012)Expander code: A scalable erasure-resilient code to keep up with data growth in distributed storage., , , , and . IPCCC, page 1-9. IEEE Computer Society, (2013)Relative health index of wind turbines based on kernel density estimation., , , and . IECON, page 5957-5961. IEEE, (2017)A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines., , , , , and . International Journal of Software Engineering and Knowledge Engineering, 29 (4): 489-513 (2019)