Entre sus traducciones en colaboración con Platón de Tívoli se hallan el "Quadripartitum" de Claudio Ptolomeo., la "Esférica" de Teodosio y el "De Motu Stellarum" de al-Battani, obra que comentó y en la que se inspiró posteriormente Regiomontano.