Online first articles

Articles not assigned to an issue 55 articles

  1. Probabilistic causes in Markov chains

    Authors (first, second and last of 5)

    • Robin Ziemek
    • Jakob Piribauer
    • Christel Baier
    • Content type: Original Article
    • Open Access
    • Published: 25 April 2022
  2. Live synthesis

    Authors

    • Bernd Finkbeiner
    • Felix Klein
    • Niklas Metzger
    • Content type: S.I. : ATVA 2021
    • Open Access
    • Published: 31 March 2022
  3. Verifying verified code

    Authors (first, second and last of 6)

    • Siddharth Priya
    • Xiang Zhou
    • Arie Gurfinkel
    • Content type: Original Article
    • Published: 30 March 2022