Wojtek Jamroga

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Electronic Voting

Top Venues

Publications

Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS (2024)
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). CoRR (2024)
Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS (2022)
Jürgen Dix, Wojtek Jamroga, Dov Samet
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1 (3) (2011)
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
Preface. Electron. Notes Theor. Comput. Sci. 278 (2011)