| 2008 |
|---|
| 11 | | Katarzyna Budzynska,
Magdalena Kacprzak,
Pawel Rembelski:
Modeling Persuasiveness: change of uncertainty through agents' interactions.
COMMA 2008: 85-96 |
| 2006 |
|---|
| 10 | EE | Magdalena Kacprzak:
A Strong Completeness Result for a MAS Logic.
Fundam. Inform. 72(1-3): 197-213 (2006) |
| 9 | EE | Magdalena Kacprzak,
Alessio Lomuscio,
Artur Niewiadomski,
Wojciech Penczek,
Franco Raimondi,
Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
Fundam. Inform. 72(1-3): 215-234 (2006) |
| 2005 |
|---|
| 8 | EE | Magdalena Kacprzak,
Wojciech Penczek:
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1.
Autonomous Agents and Multi-Agent Systems 11(1): 69-89 (2005) |
| 2004 |
|---|
| 7 | EE | Magdalena Kacprzak,
Alessio Lomuscio,
Wojciech Penczek:
Verification of Multiagent Systems via Unbounded Model Checking.
AAMAS 2004: 638-645 |
| 6 | EE | Magdalena Kacprzak,
Wojciech Penczek:
Unbounded Model Checking for Alternating-Time Temporal Logic.
AAMAS 2004: 646-653 |
| 5 | EE | Magdalena Kacprzak,
Alessio Lomuscio,
T. Lasica,
Wojciech Penczek,
Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking.
FAABS 2004: 189-212 |
| 4 | EE | Magdalena Kacprzak,
Alessio Lomuscio,
Wojciech Penczek:
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.
Fundam. Inform. 63(2-3): 221-240 (2004) |
| 2003 |
|---|
| 3 | EE | Magdalena Kacprzak:
Undecidability of a Multi-Agent Logic.
Fundam. Inform. 54(2-3): 213-220 (2003) |
| 2002 |
|---|
| 2 | EE | Magdalena Kacprzak:
Formalization of Multiagent Reasoning.
PARELEC 2002: 82-86 |
| 1 | | Magdalena Kacprzak:
A Complete Axiomatization of Process Temporal Logic.
Fundam. Inform. 50(1): 15-31 (2002) |
