- 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
- The theory of equipped with addition and additive polynomials.
- Valued modules II
- C-minimal valued modules
- Valued difference fields in positive characteristic -with Martin Hils-.