Marcel Hark

Identifiers

• name variant Marcel Hark 0.60 · backfill

Papers (5)

1. Improving Automatic Complexity Analysis of Integer Programs cs.LO · 2022 · author #3
2. Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes cs.LO · 2020 · author #2
3. Termination of Triangular Polynomial Loops cs.LO · 2019 · author #1
4. Computing Expected Runtimes for Constant Probability Programs cs.LO · 2019 · author #3
5. Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification cs.LO · 2019 · author #1

Mentions

• 1910.11588 #1 · arxiv_oai · confidence 0.70 Marcel Hark
• 2202.01769 #3 · arxiv_oai · confidence 0.70 Marcel Hark
• 1904.01117 #1 · arxiv_oai · confidence 0.70 Marcel Hark
• 2010.06367 #2 · arxiv_oai · confidence 0.70 Marcel Hark
• 1905.09544 #3 · arxiv_oai · confidence 0.70 Marcel Hark

Frequent Coauthors

• J\"urgen Giesl 5 shared papers
• Fabian Meyer 2 shared papers
• Benjamin Lucien Kaminski 1 shared papers
• Florian Frohn 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Nils Lommen 1 shared papers
• Peter Giesl 1 shared papers