R.E. Presented Linear Orders. - Dev Kumar Roy (J. Symb. Log., 1983)

Linear Order Types of Nonrecursive Presentability. - Dev Kumar Roy (Math. Log. Q., 1985)

Finite condensations of recursive linear orders. - Dev Kumar Roy; Richard Watnick (Stud Logica, 1988)

Effective extensions of partial orders. - Dev Kumar Roy (Math. Log. Q., 1990)

Recursive versus recursively enumerable binary relations. - Dev Kumar Roy (Stud Logica, 1993)

On Berry's paradox and nondiagonal constructions. - Dev Kumar Roy (Complex., 1999)

The shortest definition of a number in Peano arithmetic. - Dev Kumar Roy (Math. Log. Q., 2003)