Hark, Marcel

1. Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
   2020/10/13 by Meyer, Fabian, Hark, Marcel, Giesl, Jürgen · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Termination of Triangular Polynomial Loops
   2019/10/25 by Marcel Hark, Hark, Marcel, Florian Frohn +3 · 2 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #graph theory and CDMA systems
3. Computing Expected Runtimes for Constant Probability Programs
   2019/05/23 by Giesl, Jürgen, Giesl, Peter, Hark, Marcel · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)