An effective version of Wilkie's theorem of the complement and some effective o-minimality results. - Alessandro Berarducci; Tamara Servi (Ann. Pure Appl. Log., 2004)

Noetherian varieties in definably complete structures. - Tamara Servi (Log. Anal., 2008)

On the decidability of the real field with a generic power function. - Gareth Jones; Tamara Servi (J. Symb. Log., 2011)