Enn Tyugu

29 papers and 99 indexed citations i.

About

Enn Tyugu has authored 29 papers that have received a total of 99 indexed citations. This includes 16 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (7 papers), Formal Methods in Verification (5 papers) and Semantic Web and Ontologies (5 papers). Enn Tyugu is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (5 papers) and Semantic Web and Ontologies (5 papers) and collaborates with scholars based in Estonia, Sweden and United Kingdom. Enn Tyugu's co-authors include Donald Michie, Vladimir Vlassov, Ando Saabas, V. E. Kotov and G. E. Mints and has published in prestigious journals such as Communications of the ACM, Knowledge-Based Systems and Future Generation Computer Systems

In The Last Decade

Rankless by CCL
2025