default search action

combined dblp search
author search
venue search
publication search

ask others

Damian Kurpiewski

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2024
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KaminskiKJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KaminskiKJ24
Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga:
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS 2024: 2812-2814
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/KurpiewskiJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/KurpiewskiJ24
Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga:
STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. ECAI 2024: 4483-4486
[c17]
- 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
[c16]
- 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
[c15]
- 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
[i13]
- 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)
[i12]
- 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)
[i11]
- 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)
[i10]
- 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)
[i9]
- 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)
[i8]
- 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)
[i7]
- 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)
[i6]
- 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)
2022
[j4]
- 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)
[c14]
- 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
[c13]
- 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
[c12]
- 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
[c11]
- 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
[i5]
- 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)
2021
[c10]
- 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
2020
[j3]
- 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)
[c9]
- 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
[c8]
- 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
[c7]
- 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
[i4]
- 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)
[i3]
- 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)

2010 – 2019

see FAQ

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

2019
[j2]
- 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)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/KurpiewskiM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/KurpiewskiM19
Damian Kurpiewski, Diego Marmsoler:
Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 201-212 (2019)
[c6]
- 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
[c5]
- 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
[c4]
- 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
[c3]
- 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
2018
[c2]
- 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
[c1]
- 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
2016
[i2]
- 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
[i1]
- 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)

Coauthor Index

see FAQ

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.