T. Milo

7 papers and 109 indexed citations i.

T. Milo has authored 7 papers that have received a total of 109 indexed citations. This includes 5 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Cryptography and Data Security (1 paper). T. Milo is often cited by papers focused on Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Cryptography and Data Security (1 paper) and collaborates with scholars based in Israel, United States and France. T. Milo's co-authors include Catriel Beeri, Noga Alon, Dan Suciu, Victor Vianu and Serge Abiteboul and has published in prestigious journals such as Clinical & Experimental Immunology, Journal of Computer and System Sciences and Lecture notes in computer science