Kalman Meth

8 papers and 64 indexed citations i.

Kalman Meth has authored 8 papers that have received a total of 64 indexed citations. This includes 4 papers in Computer Networks and Communications, 3 papers in Artificial Intelligence and 3 papers in Information Systems. The topics of these papers are Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Cloud Computing and Resource Management (2 papers). Kalman Meth is often cited by papers focused on Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and Cloud Computing and Resource Management (2 papers) and collaborates with scholars based in United States, Greece and Venezuela. Kalman Meth's co-authors include Daniel Barbará, Shubhani Aggarwal, J. Satran, Indika Kumara and Emmanouel Varvarigos and has published in prestigious journals such as IEEE Communications Magazine, SIAM Journal on Numerical Analysis and IEEE Transactions on Software Engineering