Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Common Knowledge in a Logic of Gossips. .


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Decidability of Fair Termination of Gossip Protocols. .


Apt, Krzysztof, Kopczyński, Eryk and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) On the Computational Complexity of Gossip Protocols. .


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018) Verification of Distributed Epistemic Gossip Protocols. JAIR, 62. 101 - 133.


Van Der Hoek, W, Apt, Krzysztof and Grossi, Davide ORCID: 0000-0002-9709-030X
(2018) When Are Two Gossips the Same? In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2018-11-16 - 2018-11-21, Awassa, Ethopia.

This list was generated on Mon Oct 14 06:34:17 2019 BST.