• 2013 Valued modules I (accepted; to appear in Journal of Symbolic logic). preprint
  • 2015 Quantifier elimination for valued fields equipped with an automorphism –with Salih Durhan- Selecta Mathematica-New Series, DOI: 10.1007/s00029-015-0183-0, 2015. arxiv / journal
  • 2017 Fields with automorphism and valuations, – with O.Beyarslan, D.Hofmann and D. Pierce, arXiv:1710.07173  preprint

In preparation

  • The theory of \mathbb{F}_p((X)) equipped with addition and additive polynomials.
  • Valued modules II
  • C-minimal valued modules
  • Valued difference fields in positive characteristic -with Martin Hils-.