Joseph R. Kiniry
About
Joseph R. Kiniry has authored 9 papers that have received a total of 248 indexed citations.
This includes 5 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (4 papers), Distributed and Parallel Computing Systems (2 papers) and Formal Methods in Verification (2 papers). Joseph R. Kiniry is often cited by papers focused on Logic, programming, and type systems (4 papers), Distributed and Parallel Computing Systems (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Ireland and The Netherlands. Joseph R. Kiniry's co-authors include K. Mani Chandy, Adam Rifkin, Michał Moskal, Mikoláš Janota and Michael D. Ernst and has published in prestigious journals such as Parallel Computing, The Journal of Supercomputing and IT Professional.
In The Last Decade
side by side view
Countries citing papers authored by Joseph R. Kiniry
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Daniel B. Horn Breakdown of academic impact, for papers by Robin Stern Breakdown of academic impact, for papers by Joeri Kalter Breakdown of academic impact, for papers by Lutz Kirchrath Breakdown of academic impact, for papers by Marcelo Simonelli Breakdown of academic impact, for papers by Matthew L. Turnbull Breakdown of academic impact, for papers by Martin Sinclair Breakdown of academic impact, for papers by Renata M. Martin