( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Detecting deadlock in programs with data-centric synchronization.

, , , , , и . ICSE, стр. 322-331. IEEE Computer Society, (2013)

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.

Martin Vitek

Lucie Vitek

Helga Walter-Vitek

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)
 

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

Cooking the Books: Formalizing JMM Implementation Recipes., , и . ECOOP, том 37 из LIPIcs, стр. 445-469. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks., , , и . ICETE (3), стр. 142-149. INSTICC Press, (2004)Repeatability, reproducibility and rigor in CS research.. PLMW@POPL, стр. 12:1. ACM, (2015)Encapsulating objects with confined types., , и . ACM Trans. Program. Lang. Syst., 29 (6): 32 (2007)Flexible Alias Protection., , и . ECOOP, том 1445 из Lecture Notes in Computer Science, стр. 158-185. Springer, (1998)Evaluating the Design of the R Language, , , и . ECOOP'12: 26th European Conference on Object-Oriented Programming, 25, (2012)Matchete: Paths through the Pattern Matching Jungle., , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 150-166. Springer, (2008)Resource Management for Safe Languages., и . ECOOP Workshops, том 2548 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2002)R3: repeatability, reproducibility and rigor., и . ACM SIGPLAN Notices, 47 (4a): 30-36 (2012)Changing of the Guard.. J. Object Technol., (2013)