×
Edit Profile (opens in new tab)

Kiniry, Joseph R.

Co-Author Distance
Author ID: kiniry.joseph-r Recent zbMATH articles by "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

Fields

3 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

1 Publications have been cited 6 times in 6 Documents Cited by ▼ Year ▼
E-matching for fun and profit. Zbl 1277.68142
Moskal, Michał; Łopuszański, Jakub; Kiniry, Joseph R.
6
2008
E-matching for fun and profit. Zbl 1277.68142
Moskal, Michał; Łopuszański, Jakub; Kiniry, Joseph R.
6
2008
all cited Publications top 5 cited Publications
all top 5

Cited by 18 Authors

1 Agarwal, Palak
1 Avigad, Jeremy
1 Barrett, Clark W.
1 Bjørner, Nikolaj S.
1 de Moura, Leonardo
1 Emmi, Michael
1 Enea, Constantin
1 Ge, Yeting
1 Gladisch, Christoph D.
1 Jhunjhunwala, Saket
1 Jovanović, Dejan
1 Kalita, Pankaj Kumar
1 Krishna, Siddharth
1 Lewis, Robert Y.
1 Roux, Cody
1 Roy, Subhajit
1 Singal, Dhruv
1 Tinelli, Cesare

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)

Citations by Year