supported publications or other works A transfer theorem in constructive p-adic algebra Journal Articles Independence for types in algebraically closed valued fields Conferences Tameness properties of theories of valued fields with analytic functions, Preprints