Hünkar Can Tunç - Forskning - Aarhus Universitet

Aarhus Universitets segl

Til studerende
Til ph.d.er
Til medarbejdere
Institutter og fakulteter
Bibliotek
Presse

Hünkar Can Tunç

Ph.d.-studerende, Lønnet ph.d-stipendiat

Institut for Datalogi
Åbogade 34
8200 Aarhus N
Danmark
tunc@cs.au.dk

Seneste publikationer

Udgivet
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Udgivet
Sound Dynamic Deadlock Prediction in Linear Time
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Udgivet
A Language-Based Causal Model for Safety
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Vis alle (5) »

ID: 220785387