pith. sign in

Georg Moser

Identifiers

  • name variant Georg Moser 0.60 · backfill

Papers (19)

  1. Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version) cs.PL · 2026 · author #2
  2. Automated Expected Cost Analysis for Quantum Programs cs.PL · 2026 · author #1
  3. The Epsilon Calculus with Equality and Herbrand Complexity math.LO · 2019 · author #2
  4. Automated Amortised Resource Analysis for Term Rewrite Systems cs.LO · 2018 · author #1
  5. Analysis of Logarithmic Amortised Complexity cs.PL · 2018 · author #2
  6. The Complexity of Interaction (Long Version) cs.PL · 2015 · author #2
  7. Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version) cs.LO · 2015 · author #3
  8. Amortised Resource Analysis and Typed Polynomial Interpretations (extended version) cs.LO · 2014 · author #2
  9. A Combination Framework for Complexity cs.CC · 2013 · author #2
  10. Polynomial Path Orders: A Maximal Model cs.CC · 2012 · author #2
  11. A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems cs.PL · 2012 · author #1
  12. A New Order-theoretic Characterisation of the Polytime Computable Functions cs.CC · 2012 · author #3
  13. Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity cs.LO · 2011 · author #1
  14. Automated Complexity Analysis Based on the Dependency Pair Method cs.LO · 2011 · author #2
  15. A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report) cs.CC · 2010 · author #3
  16. Efficient Implementation of Rewriting Revisited Technical Report cs.CC · 2010 · author #2
  17. Proof Theory at Work: Complexity Analysis of Term Rewrite Systems cs.LO · 2009 · author #1
  18. Dependency Pairs and Polynomial Path Orders cs.LO · 2009 · author #2
  19. The Epsilon Calculus and Herbrand Complexity math.LO · 2005 · author #1

Mentions

  • 1506.05043 #3 · backfill · confidence 0.70 Georg Moser
  • 1402.1922 #2 · backfill · confidence 0.70 Georg Moser
  • 1302.0973 #2 · backfill · confidence 0.70 Georg Moser
  • 1209.3793 #2 · backfill · confidence 0.70 Georg Moser
  • 1204.1568 #1 · backfill · confidence 0.70 Georg Moser
  • 1201.2553 #3 · backfill · confidence 0.70 Georg Moser
  • 1103.5082 #1 · backfill · confidence 0.70 Georg Moser
  • 1102.3129 #2 · backfill · confidence 0.70 Georg Moser
  • 1010.1128 #3 · backfill · confidence 0.70 Georg Moser
  • 1001.5404 #2 · backfill · confidence 0.70 Georg Moser
  • 0907.5527 #1 · backfill · confidence 0.70 Georg Moser
  • 0904.0981 #2 · backfill · confidence 0.70 Georg Moser

Frequent Coauthors