Kalman Meth
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by N. Meza are about Top countries impacted by papers by Ignacio Aramendi Top journals papers by Bimal Ghosh are published in Top journals papers by C. B. Perry are published in Top countries impacted by papers by M. C. Runyan Top countries impacted by papers by William Cheetham Top countries impacted by papers by Wenhong Zu Top countries impacted by papers by Qunxiong Zeng