Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Wojciech Jamroga

Wojtek Jamroga

> Home > Persons

Person information

affiliation: Polish Academy of Sciences, Warsaw, Poland
affiliation: University of Luxembourg

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/JamrogaKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/JamrogaKM22
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30(3): 381-409 (2022)
2021
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BelardinelliCDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BelardinelliCDJ21
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276: 104552 (2021)
2020
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/JamrogaKKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JamrogaKKP20
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175(1-4): 207-251 (2020)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/JamrogaPSDM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/JamrogaPSDM20
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68: 817-850 (2020)
2019
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/JamrogaKKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/JamrogaKKM19
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski:
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/JamrogaMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/JamrogaMM19
Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural strategic ability. Artif. Intell. 277 (2019)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/KnapikAPJP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/KnapikAPJP19
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BullingJP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BullingJP19
Nils Bulling, Wojciech Jamroga, Matei Popovici:
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20(2): 10:1-10:46 (2019)
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/JamrogaT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/JamrogaT18
Wojciech Jamroga, Masoud Tabatabaei:
Accumulative knowledge under bounded resources. J. Log. Comput. 28(3): 581-604 (2018)
2017
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/PileckiBJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/PileckiBJ17
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. 27(7): 1871-1895 (2017)
2016
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/aamas/GorankoJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/GorankoJ16
Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30(3): 446-485 (2016)
2014
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/BullingJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/BullingJ14
Nils Bulling, Wojciech Jamroga:
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. 28(3): 474-518 (2014)
2013
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/GorankoJT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/GorankoJT13
Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26(2): 288-314 (2013)
2011
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GorankoJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GorankoJ11
Valentin Goranko, Wojciech Jamroga:
Foreword. J. Appl. Non Class. Logics 21(1): 7-8 (2011)
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/BullingJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/BullingJ10
Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010)
2009
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BullingJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BullingJ09
Nils Bulling, Wojciech Jamroga:
What Agents Can Probably Enforce. Fundam. Informaticae 93(1-3): 81-96 (2009)
2008
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BullingJD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BullingJD08
Nils Bulling, Wojciech Jamroga, Jürgen Dix:
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/JamrogaD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/JamrogaD08
Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008)
2007
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/JamrogaA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/JamrogaA07
Wojciech Jamroga, Thomas Ågotnes:
Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics 17(4): 423-475 (2007)
[j5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Jamroga07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Jamroga07
Wojciech Jamroga:
AAMAS 2007. Künstliche Intell. 21(3): 73 (2007)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/HoekJW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/HoekJW07
Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
Towards a theory of intention revision. Synth. 155(2): 265-290 (2007)
2006
[j3]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BednarczykJP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BednarczykJP06
Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski:
Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundam. Informaticae 72(1-3): 51-63 (2006)
2004
[j2]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/JamrogaH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JamrogaH04
Wojciech Jamroga, Wiebe van der Hoek:
Agents that Know How to Play. Fundam. Informaticae 63(2-3): 185-219 (2004)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/GorankoJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/GorankoJ04
Valentin Goranko, Wojciech Jamroga:
Comparing Semantics of Logics for Multi-Agent Systems. Synth. 139(2): 241-280 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/JamrogaKK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/JamrogaKK24
Wojciech Jamroga, Yan Kim, Damian Kurpiewski:
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) 2024: 149-158
2023
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0001JPPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001JPPS23
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. AAMAS 2023: 382-390
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/TabatabaeiJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/TabatabaeiJ23
Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. AAMAS 2023: 766-774
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DimaJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DimaJ23
Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. AAMAS 2023: 784-792
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/JamrogaK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/JamrogaK23
Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. EUMAS 2023: 363-380
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/KurpiewskiJS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/KurpiewskiJS23
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. ICAART (1) 2023: 396-403
[c89]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Belardinelli0JM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Belardinelli0JM23
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54
[c88]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/JamrogaK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/JamrogaK23
Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI 2023: 7135-7139
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/JamrogaK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/JamrogaK23
Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. KR 2023: 384-394
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/BelardinelliJMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliJMM23
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731
2022
[c85]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/JamrogaMMPPSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/JamrogaMMPPSK22
Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BelardinelliJMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliJMM22
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/MikulskiJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/MikulskiJK22
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS 2022: 1702-1704
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/MikulskiJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/MikulskiJK22
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. PRIMA 2022: 173-191
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/KurpiewskiMJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/KurpiewskiMJ22
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA 2022: 691-696
2021
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/JamrogaPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaPS21
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS 2021: 1545-1547
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KurpiewskiPJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KurpiewskiPJK21
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS 2021: 1770-1772
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/JamrogaRSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JamrogaRSSS21
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. Protocols, Strands, and Logic 2021: 198-217
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/JamrogaPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/JamrogaPS21
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR 2021: 368-378
2020
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0001KKKPJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001KKKPJ20
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/JamrogaKKR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/JamrogaKKR20
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID 2020: 129-146
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/stast/JamrogaKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stast/JamrogaKM20
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. STAST 2020: 45-62
2019
[c73]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/KurpiewskiKJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KurpiewskiKJ19
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. AAMAS 2019: 197-205
[c72]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/YazdanpanahDJAL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YazdanpanahDJAL19
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600
[c71]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaMM19
Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural Strategic Ability under Imperfect Information. AAMAS 2019: 962-970
[c70]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/KurpiewskiJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KurpiewskiJK19
Damian Kurpiewski, Wojciech Jamroga, Michal Knapik:
STV: Model Checking for Strategies under Imperfect Information. AAMAS 2019: 2372-2374
[c69]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/bnaic/KurpiewskiKJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bnaic/KurpiewskiKJ19
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. BNAIC/BENELEARN 2019
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliJKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliJKM19
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/JamrogaK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/JamrogaK19
Wojciech Jamroga, Michal Knapik:
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI 2019: 1734-1740
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/JamrogaRRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/JamrogaRRS19
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. E-VOTE-ID 2019: 183-199
2018
[c65]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaPDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaPDM18
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. AAMAS 2018: 156-165
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/time/Jamroga18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Jamroga18
Wojciech Jamroga:
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). TIME 2018: 3:1-3:10
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/JamrogaKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/JamrogaKK18
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID 2018: 100-116
2017
[c62]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaMM17
Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Reasoning about Natural Strategic Ability. AAMAS 2017: 714-722
[c61]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaKK17
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS 2017: 1241-1249
[c60]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliCDJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliCDJ17
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones:
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS 2017: 1286-1295
[c59]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AndrePJKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AndrePJKP17
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. AAMAS 2017: 1460-1462
2016
[c58]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaKP16
Wojciech Jamroga, Beata Konikowska, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. AAMAS 2016: 1180-1189
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/SchlingloffSJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/SchlingloffSJ16
Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga:
Collaborative embedded systems - a case study. EITEC@CPSWeek 2016: 17-22
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/TabatabaeiJR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/TabatabaeiJR16
Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan:
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI 2016: 1:1-1:8
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SlavkovikJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SlavkovikJ16
Marija Slavkovik, Wojciech Jamroga:
Iterative Judgment Aggregation. ECAI 2016: 1528-1536
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/JamrogaT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/JamrogaT16
Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. STM 2016: 154-169
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/JamrogaT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/JamrogaT16
Wojciech Jamroga, Masoud Tabatabaei:
Preventing Coercion in E-Voting: Be Open and Commit. E-VOTE-ID 2016: 1-17
2015
[c52]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaM15
Wojciech Jamroga, Aniello Murano:
Module Checking of Strategic Ability. AAMAS 2015: 227-235
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/JamrogaM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/JamrogaM15
Wojciech Jamroga, Aniello Murano:
Module Checking for Uncertain Agents. PRIMA 2015: 232-247
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sec/JamrogaT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/JamrogaT15
Wojciech Jamroga, Masoud Tabatabaei:
Strategic Noninterference. SEC 2015: 67-81
2014
[c49]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/JamrogaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaM14
Wojciech Jamroga, Aniello Murano:
On module checking and strategies. AAMAS 2014: 701-708
[c48]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BullingJP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BullingJP14
Nils Bulling, Wojciech Jamroga, Matei Popovici:
Agents with truly perfect recall in alternating-time temporal logic. AAMAS 2014: 1561-1562
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/PileckiBJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/PileckiBJ14
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA 2014: 166-182
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BullingJP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BullingJP14
Nils Bulling, Wojciech Jamroga, Matei Popovici:
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI 2014: 177-182
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/is/PileckiBJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/is/PileckiBJ14
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) 2014: 415-426
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/KazmierczakAJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/KazmierczakAJ14
Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga:
Multi-agency Is Coordination and (Limited) Communication. PRIMA 2014: 91-106
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JamrogaMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaMS14
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
On Defendability of Security Properties. SR 2014: 17-25
2013
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/JamrogaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/JamrogaS13
Wojciech Jamroga, Marija Slavkovik:
Some Complexity Results for Distance-Based Judgment Aggregation. Australasian Conference on Artificial Intelligence 2013: 313-325
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/JamrogaT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/JamrogaT13
Wojciech Jamroga, Masoud Tabatabaei:
Accumulative Knowledge under Bounded Resources. CLIMA 2013: 206-222
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/JamrogaMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/JamrogaMS13
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
Defendable Security in Interaction Protocols. PRIMA 2013: 132-148
[c39]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JamrogaMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaMS13
Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. GandALF 2013: 224-239
2012
[c38]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/GorankoJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/GorankoJ12
Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models for logics of multi-player games. AAMAS 2012: 1123-1130
[c37]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/SlavkovikJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/SlavkovikJ12
Marija Slavkovik, Wojciech Jamroga:
Distance-based rules for weighted judgment aggregation. AAMAS 2012: 1405-1406
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Jamroga12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Jamroga12
Wojciech Jamroga:
Concepts, Agents, and Coalitions in Alternating Time. ECAI 2012: 438-443
2011
[c35]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GorankoJT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GorankoJT11
Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/JamrogaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/JamrogaM11
Wojciech Jamroga, Matthijs Melissen:
Doubtful Deviations and Farsighted Play. EPIA 2011: 506-520
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/esslli/JamrogaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esslli/JamrogaP11
Wojciech Jamroga, Wojciech Penczek:
Specification and Verification of Multi-Agent Systems. ESSLLI 2011: 210-263
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BullingJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BullingJ11
Nils Bulling, Wojciech Jamroga:
Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/JamrogaB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/JamrogaB11
Wojciech Jamroga, Nils Bulling:
Comparing Variants of Strategic Ability. IJCAI 2011: 252-257
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/NovakJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/NovakJ11
Peter Novák, Wojciech Jamroga:
Agents, Actions and Goals in Dynamic Environments. IJCAI 2011: 313-318
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/JamrogaMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/JamrogaMM11
Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen:
Fairness in Non-Repudiation Protocols. STM 2011: 122-139
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DitmarschDGJO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DitmarschDGJO11
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. M4M/LAMAS 2011: 1-2
2010
[c27]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BullingJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BullingJ10
Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. AAMAS 2010: 699-706
[c26]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/DastaniJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniJ10
Mehdi Dastani, Wojciech Jamroga:
Reasoning about strategies of multi-agent programs. AAMAS 2010: 997-1004
2009
[c25]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/NovakJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/NovakJ09
Peter Novák, Wojciech Jamroga:
Code patterns for agent-oriented programming. AAMAS (1) 2009: 105-112
[c24]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BullingJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BullingJ09
Nils Bulling, Wojciech Jamroga:
Rational play and rational beliefs under uncertainty. AAMAS (1) 2009: 257-264
[c23]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SeylanJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SeylanJ09
Inanç Seylan, Wojciech Jamroga:
Description logic for coalitions. AAMAS (1) 2009: 425-432
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SeylanJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SeylanJ10
Inanç Seylan, Wojciech Jamroga:
Coalition Description Logic with Individuals. M4M 2009: 231-248
2008
[c21]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/Jamroga08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Jamroga08
Wojciech Jamroga:
A temporal logic for Markov chains. AAMAS (2) 2008: 697-704
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/Jamroga08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/Jamroga08
Wojciech Jamroga:
Easy Yet Hard: Model Checking Strategies of Agents. CLIMA 2008: 1-12
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/mates/Jamroga08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mates/Jamroga08
Wojciech Jamroga:
Knowledge and Strategic Ability for Model Checking: A Refined Approach. MATES 2008: 99-110
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/Jamroga08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/Jamroga08
Wojciech Jamroga:
A Temporal Logic for Stochastic Multi-Agent Systems. PRIMA 2008: 239-250
2007
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/JamrogaB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaB07
Wojciech Jamroga, Nils Bulling:
A framework for reasoning about rational agents. AAMAS 2007: 88
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/JamrogaA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaA07
Wojciech Jamroga, Thomas Ågotnes:
Modular interpreted systems. AAMAS 2007: 131
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BullingJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BullingJ07
Nils Bulling, Wojciech Jamroga:
Agents, beliefs, and plausible behavior in a temporal setting. AAMAS 2007: 146
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/JamrogaB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/JamrogaB07
Wojciech Jamroga, Nils Bulling:
A Logic for Reasoning about Rational Agents. CLIMA 2007: 42-61
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/AgotnesGJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/AgotnesGJ07
Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24
2006
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/JamrogaA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JamrogaA06
Wojciech Jamroga, Thomas Ågotnes:
What agents can achieve under incomplete information. AAMAS 2006: 232-234
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/eumas/JamrogaD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/JamrogaD06
Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS 2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Jamroga06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Jamroga06
Wojciech Jamroga:
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. KI 2006: 419-433
2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HoekJW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HoekJW05
Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
A logic for strategic reasoning. AAMAS 2005: 157-164
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/bnaic/JamrogaD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bnaic/JamrogaD05
Wojciech Jamroga, Jürgen Dix:
Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC 2005: 143-150
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ceemas/JamrogaD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ceemas/JamrogaD05
Wojciech Jamroga, Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)? CEEMAS 2005: 398-407
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/JamrogaHW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/JamrogaHW05
Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/JamrogaD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/JamrogaD05
Wojciech Jamroga, Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS 2005: 295-308
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/JamrogaHW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/JamrogaHW04
Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
On Obligations and Abilities. DEON 2004: 165-181
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icaisc/Jamroga04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaisc/Jamroga04
Wojciech Jamroga:
Strategic Planning through Model Checking of ATL Formulae. ICAISC 2004: 879-884
2003
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iis/Jamroga03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iis/Jamroga03
Wojciech Jamroga:
Safer Decisions Against A Dynamic Opponent. IIS 2003: 79-86
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Jamroga01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Jamroga01
Wojciech Jamroga:
A Defense Model for Games with Incomplete Information. KI/ÖGAI 2001: 260-274

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2015
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BullingGJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BullingGJ15
Nils Bulling, Valentin Goranko, Wojciech Jamroga:
Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning 2015: 93-136

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2014
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2014
Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents]
2011
[e2]
- view
- export record
  dblp key:
  - conf/m4m/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/m4m/2011
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents]
2010
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2010
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga:
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-01063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-01063
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. CoRR abs/2302.01063 (2023)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13405
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. CoRR abs/2302.13405 (2023)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-00067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-00067
Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. CoRR abs/2303.00067 (2023)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03258
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03258
Wojciech Jamroga:
Pretty Good Strategies for Benaloh Challenge. CoRR abs/2307.03258 (2023)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10068
Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. CoRR abs/2307.10068 (2023)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-15686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-15686
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15686 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-15727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-15727
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15727 (2023)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-15789
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-15789
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR abs/2310.15789 (2023)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-16519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-16519
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-16531
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-16531
Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. CoRR abs/2310.16531 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17219
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17234
Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. CoRR abs/2310.17234 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17240
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-18418
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-18418
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR abs/2310.18418 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-20344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-20344
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. CoRR abs/2310.20344 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-03372
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-03372
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. CoRR abs/2311.03372 (2023)
2022
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-09616
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-09616
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12016
Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR abs/2202.12016 (2022)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-01033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-01033
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR abs/2203.01033 (2022)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-13692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-13692
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR abs/2203.13692 (2022)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-10694
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-10694
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim:
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR abs/2210.10694 (2022)
2021
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-09241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-09241
Wojciech Jamroga:
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. CoRR abs/2101.09241 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-01995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01995
Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan:
Convergence Voting: From Pairwise Comparisons to Consensus. CoRR abs/2102.01995 (2021)
2020
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-03867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-03867
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR abs/2003.03867 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-12412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-12412
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR abs/2007.12412 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-12424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-12424
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. CoRR abs/2007.12424 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07887
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07887
Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot:
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR abs/2011.07887 (2020)
2019
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-04947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04947
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. CoRR abs/1908.04947 (2019)
2016
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SlavkovikJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SlavkovikJ16
Marija Slavkovik, Wojciech Jamroga:
A Deliberation Procedure for Judgment Aggregation Problems. CoRR abs/1604.06356 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JamrogaT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaT16
Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. CoRR abs/1608.02247 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JamrogaKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaKK16
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
An Approach to Model Checking ATLir. CoRR abs/1612.02684 (2016)
2015
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JamrogaKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaKK15
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR abs/1510.06587 (2015)
2011
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DixJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DixJS11
Jürgen Dix, Wojtek Jamroga, Dov Samet:
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1(3): 1-18 (2011)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.