( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Local Linearizability for Concurrent Container-Type Data Structures.

, , , , , , , , и . CONCUR, том 59 из LIPIcs, стр. 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Ursula Sezgin

Zeynep Sezgin

Erdinc Sezgin

Ursula Sezgin

Ursula Sezgin

 

Другие публикации лиц с тем же именем

Simplifying Linearizability Proofs with Reduction and Abstraction., , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 296-311. Springer, (2010)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , и . POPL, стр. 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , и . POPL, стр. 608-621. ACM, (2016)Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits., , , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 294-309. Springer, (2012)Local Linearizability for Concurrent Container-Type Data Structures., , , , , , , , и . CONCUR, том 59 из LIPIcs, стр. 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning., , и . Design and Validation of Concurrent Systems, том 09361 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)An annotation assistant for interactive debugging of programs with common synchronization idioms., , , и . PADTAD, ACM, (2009)Run-Time Verification of Optimistic Concurrency., , , и . RV, том 6418 из Lecture Notes in Computer Science, стр. 384-398. Springer, (2010)Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning, , и . Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Transient Memory in Gene Regulation., , , , и . CMSB, том 11773 из Lecture Notes in Computer Science, стр. 155-187. Springer, (2019)