Kiniry, Joseph R.
Author ID: | kiniry.joseph-r |
Published as: | Kiniry, Joseph; Kiniry, Joseph R. |
External Links: | MGP |
Documents Indexed: | 3 Publications since 1998 |
Co-Authors: | 7 Co-Authors with 3 Joint Publications |
117 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
1 | Chandy, Kanianthra Mani |
1 | Hubbers, Engelbert |
1 | Jacobs, Bart |
1 | Łopuszański, Jakub |
1 | Moskal, Michał |
1 | Oostdijk, Martijn Diederik |
1 | Rifkin, Adam |
Serials
1 | Parallel Computing |
Publications by Year
all
top 5
Cited by 18 Authors
Cited in 3 Serials
1 | Journal of Automated Reasoning |
1 | Formal Methods in System Design |
1 | Annals of Mathematics and Artificial Intelligence |
Cited in 3 Fields
6 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |
1 | Real functions (26-XX) |