Verification of Distributed Epistemic Gossip Protocols
Apt, Krzysztof R., Wojtczak, Dominik
Published in The Journal of artificial intelligence research (01.01.2018)
Published in The Journal of artificial intelligence research (01.01.2018)
Get full text
Journal Article
Characterization of incentive compatible single-parameter mechanisms revisited
Apt, Krzysztof R., Heering, Jan
Published in Journal of mechanism and institution design (Online) (03.12.2022)
Published in Journal of mechanism and institution design (Online) (03.12.2022)
Get full text
Journal Article
Open Problems in a Logic of Gossips
Apt, Krzysztof R., Wojtczak, Dominik
Published in Electronic proceedings in theoretical computer science (19.07.2019)
Published in Electronic proceedings in theoretical computer science (19.07.2019)
Get full text
Journal Article
Coordination games on graphs
Apt, Krzysztof R., de Keijzer, Bart, Rahn, Mona, Schäfer, Guido, Simon, Sunil
Published in International journal of game theory (01.08.2017)
Published in International journal of game theory (01.08.2017)
Get full text
Journal Article
Common Knowledge in a Logic of Gossips
Apt, Krzysztof R., Wojtczak, Dominik
Published in Electronic proceedings in theoretical computer science (25.07.2017)
Published in Electronic proceedings in theoretical computer science (25.07.2017)
Get full text
Journal Article
Epistemic Protocols for Distributed Gossiping
Apt, Krzysztof R., Grossi, Davide, van der Hoek, Wiebe
Published in Electronic proceedings in theoretical computer science (23.06.2016)
Published in Electronic proceedings in theoretical computer science (23.06.2016)
Get full text
Journal Article
Coordination Games on Directed Graphs
Apt, Krzysztof R., Simon, Sunil, Wojtczak, Dominik
Published in Electronic proceedings in theoretical computer science (23.06.2016)
Published in Electronic proceedings in theoretical computer science (23.06.2016)
Get full text
Journal Article
Verification of object-oriented programs: A transformational approach
Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger, de Gouw, Stijn
Published in Journal of computer and system sciences (01.05.2012)
Published in Journal of computer and system sciences (01.05.2012)
Get full text
Journal Article
Social Network Games with Obligatory Product Selection
Apt, Krzysztof R., Simon, Sunil
Published in Electronic proceedings in theoretical computer science (16.07.2013)
Published in Electronic proceedings in theoretical computer science (16.07.2013)
Get full text
Journal Article
Infinite Qualitative Simulations by Means of Constraint Programming
Get full text
Book Chapter
Conference Proceeding