Startseite // SnT // People // Wojciech Jamroga

Wojciech Jamroga

Research scientist

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Department APSIA
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E02 0235-040
E-Mail
Telefon (+352) 46 66 44 5599
Fax (+352) 46 66 44 35599

Wojciech (Wojtek) Jamroga is a Research Scientist at the University of Luxembourg and an Associate Professor at the Polish Academy of Sciences. He obtained his PhD degree from the University of Twente (Netherlands), in 2004 and completed his habilitation at the Clausthal University of Technology (Germany), in 2009. His research focuses on modeling, specification and verification of interaction between autonomous agents. In 2019, Wojtek rejoined the Applied Security and Information Assurance research group, APSIA, headed by Prof. Peter Y.A. Ryan.

Personal webpage:  https://home.ipipan.waw.pl/w.jamroga/

 

Last updated on: Freitag, den 22. Mai 2020

powered by
orbilu.uni.lu

2019

Full Text
See detailStrategy Logic with Simple Goals: Tractable Reasoning about Strategies
Belardinelli, Francesco; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello

in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)

Full Text
See detailReasoning about Strategic Abilities: Agents with Truly Perfect Recall
Bulling, Nils; Jamroga, Wojciech; Popovici, Matei

in ACM Transactions on Computational Logic (2019), 20(2), 101--1046

Full Text
See detailApproximate Verification of Strategic Abilities under Imperfect Information
Jamroga, Wojciech; Knapik, Micha L; Kurpiewski, Damian; Mikulski, Lukasz

in Artificial Intelligence (2019), 277

Full Text
See detailSome Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
Jamroga, Wojciech; Knapik, Michal

in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)

Full Text
See detailNatural Strategic Ability under Imperfect Information
Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Full Text
See detailNatural Strategic Ability
Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello

in Artificial Intelligence (2019), 277

Full Text
See detailRisk-Limiting Tallies
Jamroga, Wojciech; Roenne, Peter; Ryan, Peter; Stark, Philip B.

in Electronic Voting: Proceedings of E-Vote-ID (2019)

Full Text
See detailTimed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure; Jamroga, Wojciech; Penczek, Wojciech

in Journal of Artificial Intelligence Research (2019), 66

Full Text
See detailSTV: Model Checking for Strategies under Imperfect Information
Kurpiewski, Damian; Jamroga, Wojciech; Knapik, Micha L

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Full Text
See detailOn Domination and Control in Strategic Ability
Kurpiewski, Damian; Knapik, Micha L; Jamroga, Wojciech

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Full Text
See detailOn Domination and Control in Strategic Ability (Extended Abstract)
Kurpiewski, Damian; Knapik, Michal; Jamroga, Wojciech

in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC) (2019)

Full Text
See detailStrategic Responsibility Under Imperfect Information
Yazdanpanah, Vahid; Dastani, Mehdi; Alechina, Natasha; Logan, Brian; Jamroga, Wojciech

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Top of Page

2016

Full Text
See detailPreventing Coercion in E-Voting: Be Open and Commit
Jamroga, Wojciech; Tabatabaei, Masoud

in Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID) (2016)

Full Text
See detailInformation Security as Strategic (In)effectivity
Jamroga, Wojciech; Tabatabaei, Masoud

in 12th International Workshop on Security and Trust Management (STM), 2016. (2016)

Full Text
See detailExpressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Tabatabaei, Masoud; Jamroga, Wojciech; Ryan, Peter

in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)

Top of Page

2014

Full Text
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech

in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)

Full Text
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech

in proceedings of Autonomous Agents and Multi-agent Systems (2014)

Top of Page

2013

Full Text
See detailStrategic games and truly playable effectivity functions
Goranko, Valentin; Jamroga, Wojciech; Turrini, Paolo

in Autonomous Agents & Multi-Agent Systems (2013), 26(2), 288-314

Full Text
See detailIncentives and Rationality in Security of Interaction Protocols
Jamroga, Wojciech; Melissen, Matthijs; Schnoor, Henning

in PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings (2013)

Full Text
See detailAccumulative Knowledge Under Bounded Resources.
Jamroga, Wojciech; Tabatabaei, Masoud

in Computational Logic in Multi-Agent Systems (2013, September 16)

Full Text
See detailPreventing Coercion in E-Voting: Be Open and Commit
Tabatabaei, Masoud; Jamroga, Wojciech; Ryan, Peter

Scientific Conference (2013, March 17)

Top of Page

2012

Full Text
See detailState and Path Effectivity Models for Logics of Multi-Player Games
Goranko, Valentin; Jamroga, Wojciech

in Proceedings of AAMAS 2012 (2012)

See detailProceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012
Goranko, Valentin; Jamroga, Wojciech

Book published by IFAAMAS (2012)

Full Text
See detailConcepts, Agents, and Coalitions in Alternating Time
Jamroga, Wojciech

in Proceedings of ECAI 2012 (2012)

See detailLAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems
Jamroga, Wojciech; Goranko, Valentin

Book published by IFAAMAS (2012)

Full Text
See detailFairness in Non-repudiation Protocols
Jamroga, Wojciech; Mauw, Sjouke; Melissen, Matthijs

in Proceedings of STM 2011 (2012)

Full Text
See detailSpecification and Verification of Multi-Agent Systems
Jamroga, Wojciech; Penczek, Wojciech

in Lectures on Logic and Computation (2012)

Full Text
See detailDistance-Based Rules for Weighted Judgment Aggregation (Extended Abstract)
Slavkovik, Marija; Jamroga, Wojciech

in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012 (2012)

Top of Page

2011

Full Text
See detailAlternating Epistemic Mu-Calculus
Bulling, N.; Jamroga, Wojciech

in Proceedings of IJCAI-11 (2011)

Full Text
See detailStrategic Games and Truly Playable Effectivity Functions
Goranko, V.; Jamroga, Wojciech; Turrini, Paolo

in Proceedings of AAMAS2011 (2011)

Full Text
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech; Bulling, N.

in Proceedings of IJCAI-11 (2011)

Full Text
See detailDoubtful Deviations and Farsighted Play
Jamroga, Wojciech; Melissen, Matthijs

in Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (2011)

Full Text
See detailAgents, Actions and Goals in Dynamic Environments
Novak, P.; Jamroga, Wojciech

in Proceedings of IJCAI-11 (2011)

Full Text
See detailDistance-based Judgment Aggregation of Three-valued Judgments with Weights
Slavkovik, Marija; Jamroga, Wojciech

in Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (2011)

Top of Page

2010

Full Text
See detailModel Checking Logics of Strategic Ability: Complexity
Bulling, N.; Dix, J.; Jamroga, Wojciech

in Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems (2010)

Full Text
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech

in AI Communications (2010), 23

Full Text
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech

in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)

Full Text
See detailReasoning about Strategies of Multi-Agent Programs
Dastani, Mehdi; Jamroga, Wojciech

in Proceedings of AAMAS2010 (2010)

Full Text
See detailStrategic Games and Truly Playable Effectivity Functions
Goranko, V.; Jamroga, Wojciech; Turrini, Paolo

in Proceedings of EUMAS2010 (2010)

Full Text
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech; Bulling, N.

in Proceedings of EUMAS2010 (2010)

Full Text
See detailCoalition Description Logic for Individuals
Seylan, I.; Jamroga, Wojciech

in Electronic Notes in Theoretical Computer Science (2010), 262

Top of Page

2009

Full Text
See detailRational Play and Rational Beliefs under Uncertainty
Bulling, N.; Jamroga, Wojciech

in Proceedings of AAMAS'09 (2009)

Full Text
See detailWhat agents can probably enforce
Bulling, N.; Jamroga, Wojciech

in Fundamenta Informaticae (2009)

Full Text
See detailEasy Yet Hard: Model Checking Strategies of Agents
Jamroga, Wojciech

in Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (2009)

Full Text
See detailCode Patterns for Agent Oriented Programming
Novák, P.; Jamroga, Wojciech

in Proceedings of AAMAS'09 (2009)

Full Text
See detailDescription Logic for Coalitions
Seylan, I.; Jamroga, Wojciech

in Proceedings of AAMAS'09 (2009)

Top of Page