Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Martin Avanzini, Georg Moser, Romain Péchoux +1
In this paper, we study quantitative properties of quantum programs. Properties of interest include (positive) almost-sure termination, expected runtime or expected cost, that is,…