Publikationen, an denen er mitarbeitet SAMIR GENAIM (2)

2017

  1. May-happen-in-parallel analysis with returned futures

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)