Ioannis Kokkinis

From MaRDI portal
Person:1783739

Available identifiers

zbMath Open kokkinis.ioannisMaRDI QIDQ1783739

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58742242023-02-07Paper
Reachability and expectation in gossiping2022-11-02Paper
The dynamic complexity of acyclic hypergraph homomorphisms2022-06-08Paper
Justification Logics with Probability Operators2022-01-27Paper
Probabilistic justification logic2020-04-29Paper
Cyclic Proofs for Linear Temporal Logic2020-04-03Paper
Reachability of five gossip protocols2019-10-22Paper
First steps towards probabilistic justification logic2019-01-08Paper
The complexity of satisfiability in non-iterated and iterated probabilistic logics2018-09-21Paper
Probabilistic Justification Logic2017-07-21Paper
The Complexity of Non-Iterated Probabilistic Justification Logic2016-05-19Paper

Research outcomes over time

This page was built for person: Ioannis Kokkinis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1783739&oldid=6484341"
Powered by MediaWiki