1 Đơn định và tối thiểu hóa otomat khoảng / Bùi Vũ Anh // Tin học và Điều khiển học .- 2014 .- Tập 30, Số 2/2014 .- Tr. 148-162 .- 621

Tập trung vào hai bài toán đơn định và tối tiểu hóa otomat khoảng. Các bài toán nhỏ hơn cũng được giải quyết là: tách/ghép các khoảng trên các cung của otomat mà không làm thay đổi ngôn ngữ được đoán nhận, loại các trạng thái không đạt được (có và không có yếu tố khoảng). Những bài toán này được dụng trong việc giải bài toán chính: đơn định hóa và tối tiểu hóa otomat khoảng.