Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Wojciech Jamroga

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Michal Knapik

> Home > Persons > Wojciech Jamroga

Publications

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)
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)
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
[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
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)
[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)
[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
[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
[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
2018
[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
[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
[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
[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)

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.