| First steps towards probabilistic justification logic I Kokkinis, P Maksimović, Z Ognjanović, T Studer Logic Journal of the IGPL 23 (4), 662-687, 2015 | 54 | 2015 |
| Probabilistic justification logic I Kokkinis, Z Ognjanović, T Studer International Symposium on Logical Foundations of Computer Science, 174-186, 2015 | 40 | 2015 |
| Cyclic proofs for linear temporal logic I Kokkinis, T Studer Concepts of Proof in Mathematics, Philosophy, and Computer Science, 171-192, 2016 | 18 | 2016 |
| Reachability and expectation in gossiping H van Ditmarsch, I Kokkinis, A Stockmarr International Conference on Principles and Practice of Multi-Agent Systems …, 2017 | 16 | 2017 |
| The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics I Kokkinis arXiv preprint arXiv:1712.00810, 2017 | 6 | 2017 |
| The complexity of non-iterated probabilistic justification logic I Kokkinis FoIKS, 292-310, 2016 | 6 | 2016 |
| Dynamic Complexity Meets Parameterised Algorithms J Schmidt, T Schwentick, N Vortmeier, T Zeume, I Kokkinis arXiv preprint arXiv:1910.06281, 2019 | 5 | 2019 |
| The expected duration of sequential gossiping H van Ditmarsch, I Kokkinis Multi-Agent Systems and Agreement Technologies: 15th European Conference …, 2018 | 4 | 2018 |
| Probabilistic justification logic I Kokkinis, Z Ognjanović, T Studer Journal of Logic and Computation 30 (1), 257-280, 2020 | 3 | 2020 |
| The complexity of probabilistic justification logic I Kokkinis 11th Panhelleic Logic Symposium, 2017 | 3 | 2017 |
| Reachability of Five Gossip Protocols H Van Ditmarsch, M Gattinger, I Kokkinis, LB Kuijer International Conference on Reachability Problems, 218-231, 2019 | 2 | 2019 |
| Uncertain Reasoning in Justification Logic I Kokkinis Univeristy of Bern, 2016 | 2 | 2016 |
| Justification Logics with Probability Operators I Kokkinis, N Savić, T Studer Probabilistic Extensions of Various Logical Systems, 215-234, 2020 | 1 | 2020 |
| The dynamic complexity of acyclic hypergraph homomorphisms N Vortmeier, I Kokkinis Graph-Theoretic Concepts in Computer Science: 47th International Workshop …, 2021 | | 2021 |
| 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) V Cortier, A Dawar, A Jeż, D Kesner, E Bonelli, A Viso, I Tzameret, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| Annotated Sequent Systems for Linear Temporal Logic I Kokkinis University of Athens, 2015 | | 2015 |
| Typing and Termination in Lambda Calculus I Kokkinis National Technical University of Athens, 2010 | | 2010 |
Thomas StuderUniversität BernVerified email at iam.unibe.ch
