Rodrigo Tuna, Yassine Baghoussi, Carlos Soares, Joo Mendes-Moreira
Browse the full IDA paper archive.