Mate Soos

3 papers and 35 indexed citations i.

Mate Soos has authored 3 papers that have received a total of 35 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Machine Learning and Algorithms (1 paper). Mate Soos is often cited by papers focused on Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Machine Learning and Algorithms (1 paper) and collaborates with scholars based in Singapore. Mate Soos's co-authors include Kuldeep S. Meel and Kian Ming A. Chai and has published in prestigious journals such as and