Statistics
Publications
1
Citations
31
H-Index
1
Active since
2015
Ioannis Kokkinis is an author specializing in formal methods, computer science, and engineering.
Publications per year
2015–2015
1
1
First steps towards probabilistic justification logic
Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović et al. · Logic Journal of IGPL · 2015 · 31 citations
1–1 of 1