Tunc, Hunkar C.
11  Ergebnisse:
Personensuche X
?
1

Estimation of Parkinson's disease severity using speech fea..:

Tunc, Hunkar C. ; Sakar, C. Okan ; Apaydin, Hulya...
Medical & Biological Engineering & Computing.  58 (2020)  11 - p. 2757-2773 , 2020
 
?
6

CSSTs: A Dynamic Data Structure for Partial Orders in Concu..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
 
?
7

Sound Dynamic Deadlock Prediction in Linear Time:

Tunç, Hünkar Can ; Mathur, Umang ; Pavlogiannis, Andreas.
Proceedings of the ACM on Programming Languages.  7 (2023)  PLDI - p. 1733-1758 , 2023
 
?
8

DyNetKAT: An Algebra of Dynamic Networks:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
 
?
9

A tree clock data structure for causal orderings in concurr..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,
 
?
10

A Language-Based Causal Model for Safety:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
 
?
11

Explaining safety failures in NetKAT:

Caltais, Georgiana ; Tunç, Hünkar Can
Journal of Logical and Algebraic Methods in Programming.  121 (2021)  - p. 100676 , 2021
 
1-11