Adriaan Moors

8 papers and 145 indexed citations i.

Adriaan Moors has authored 8 papers that have received a total of 145 indexed citations. This includes 6 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 3 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (6 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers). Adriaan Moors is often cited by papers focused on Logic, programming, and type systems (6 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Switzerland, Belgium and United States. Adriaan Moors's co-authors include Martin Odersky, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi and Bruno C. d. S. Oliveira and has published in prestigious journals such as ACM SIGPLAN Notices