Researcher identifiers

External widget

Production year

Number of documents

2

Kostas Chatzikokolakis


"Prakash Panangaden"    "Sophia Knight"   

Journal articles1 document

  • Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩. ⟨inria-00637160⟩

Conference papers1 document

  • Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166. ⟨inria-00424854⟩