All Stories

  1. Does Every Computer Scientist Need to Know Formal Methods?

    Article • Formal Aspects of Computing, December 2024, ACM (Association for Computing Machinery)

    Markus Kuppe, Alexandra Mendes, Jan Oliver Ringert

  2. Really understanding Consistency in Azure Cosmos DB

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Markus Kuppe