Martin Avanzini

Identifiers

• name variant Martin Avanzini 0.60 · backfill

Papers (13)

1. On Probabilistic Term Rewriting cs.SC · 2018 · author #1
2. Automating Sized Type Inference for Complexity Analysis (Technical Report) cs.LO · 2017 · author #1
3. GUBS Upper Bound Solver (Extended Abstract) cs.LO · 2017 · author #1
4. Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version) cs.LO · 2015 · author #1
5. On Sharing, Memoization, and Polynomial Time (Long Version) cs.CC · 2015 · author #1
6. A New Term Rewriting Characterisation of ETIME functions cs.LO · 2013 · author #1
7. A Haskell Library for Term Rewriting cs.PL · 2013 · author #2
8. A Combination Framework for Complexity cs.CC · 2013 · author #1
9. Polynomial Path Orders: A Maximal Model cs.CC · 2012 · author #1
10. A New Order-theoretic Characterisation of the Polytime Computable Functions cs.CC · 2012 · author #1
11. A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report) cs.CC · 2010 · author #1
12. Efficient Implementation of Rewriting Revisited Technical Report cs.CC · 2010 · author #1
13. Dependency Pairs and Polynomial Path Orders cs.LO · 2009 · author #1

Mentions

• 1010.1128 #1 · backfill · confidence 0.70 Martin Avanzini
• 1001.5404 #1 · backfill · confidence 0.70 Martin Avanzini
• 0904.0981 #1 · backfill · confidence 0.70 Martin Avanzini

Frequent Coauthors

• Georg Moser 7 shared papers
• Ugo Dal Lago 4 shared papers
• Naohi Eguchi 3 shared papers
• Akihisa Yamada 1 shared papers
• Bertram Felgenhauer 1 shared papers
• Christian Sternagel 1 shared papers
• Michael Schaper 1 shared papers