( en | de | ru )

 

Disambiguation of "Tunç, Hünkar Can"

Author of the publication

copydeleteadd this publication to your clipboard
Sound Dynamic Deadlock Prediction in Linear Time.

, , , and . Proc. ACM Program. Lang., 7 (PLDI): 1733-1758 (2023)

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.

Erdihan Tunç

Cihad Tunç

Dilek Tunç

Sabri Tunç

Nuran Tunç-Skarka

 

Other publications of authors with the same name

Optimal Reads-From Consistency Checking for C11-Style Memory Models., , , , , and . CoRR, (2023)CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis., , , , and . CoRR, (2024)Estimation of Parkinson's disease severity using speech features and extreme gradient boosting., , , , , , and . Medical Biol. Eng. Comput., 58 (11): 2757-2773 (2020)Detection of e-Commerce Anomalies using LSTM-recurrent Neural Networks., , , and . DATA, page 217-224. SciTePress, (2019)DyNetKAT: An Algebra of Dynamic Networks., , , and . CoRR, (2021)A Language-Based Causal Model for Safety., , , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 290-307. Springer, (2022)A tree clock data structure for causal orderings in concurrent executions., , , and . ASPLOS, page 710-725. ACM, (2022)Sound Dynamic Deadlock Prediction in Linear Time., , , and . CoRR, (2023)A comparative analysis of speech signal processing algorithms for Parkinson's disease classification and the use of the tunable Q-factor wavelet transform., , , , , , , , , and . Appl. Soft Comput., (2019)Explaining safety failures in NetKAT., and . J. Log. Algebraic Methods Program., (2021)