Author of the publication

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.

, , , and . CoRR, (2017)

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

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis., , , and . SATE, volume 11293 of Lecture Notes in Computer Science, page 51-67. Springer, (2018)A Regularized Deep Learning Approach for Clinical Risk Prediction of Acute Coronary Syndrome Using Electronic Health Records., , , and . IEEE Trans. Biomed. Eng., 65 (5): 956-968 (2018)L(p, q)-labeling of planar graphs with small girth.. Discret. Appl. Math., (2020)Cyber-related risk assessment and critical asset identification in power grids., , , and . ISGT, page 1-5. IEEE, (2014)Ordered Tomlinson-Harashima Precoding in G.fast Downstream., , , , and . GLOBECOM, page 1-6. IEEE, (2015)Challenges and Solutions in Vectored DSL., , , , and . AccessNets, volume 37 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 192-203. Springer, (2009)DSM from Theory to Practice., , , , , and . GLOBECOM, page 5693-5696. IEEE, (2008)Polarization Mode Dispersion Tolerant Subcarrier-Power Allocation for Improving the Power Amplifier Energy Efficiency of Joint Polarization-Amplitude-Phase Modulation., , and . VTC Spring, page 1-6. IEEE, (2013)An optimal pre-compensation based joint polarization-amplitude-phase modulation scheme for the power amplifier energy efficiency improvement., , and . ICC, page 4137-4142. IEEE, (2013)Sampling approximation of smooth functions via generalized coiflets., and . IEEE Trans. Signal Process., 46 (4): 1133-1138 (1998)