Showing 1 - 2 results of 2 for search 'Christian Haack', query time: 0.02s Refine Results
  1. 1
    Permission-Based Separation Logic for Multithreaded Java Programs

    Permission-Based Separation Logic for Multithreaded Java Programs by Christian Haack, Marieke Huisman, Clément Hurlin, Afshin Amighi

    Published 2015-02-01
    Get full text
    Article
  2. 2
    The impact of digital contact tracing on the SARS-CoV-2 pandemic—a comprehensive modelling study

    The impact of digital contact tracing on the SARS-CoV-2 pandemic—a comprehensive modelling study by Tina R. Pollmann, Stefan Schönert, Johannes Müller, Julia Pollmann, Elisa Resconi, Christoph Wiesinger, Christian Haack, Lolian Shtembari, Andrea Turcati, Birgit Neumair, Stephan Meighen-Berger, Giovanni Zattera, Matthias Neumair, Uljana Apel, Augustine Okolie

    Published 2021-07-01
    Get full text
    Article

Search Tools: