dblp.uni-trier.dewww.uni-trier.de

Magdalena Kacprzak

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13 Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA 2008: 85-96
12EEMagdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008)
11EEKatarzyna Budzynska, Magdalena Kacprzak: A Logic for Reasoning about Persuasion. Fundam. Inform. 85(1-4): 51-65 (2008)
2006
10EEMagdalena Kacprzak: A Strong Completeness Result for a MAS Logic. Fundam. Inform. 72(1-3): 197-213 (2006)
9EEMagdalena 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
8EEMagdalena 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
7EEMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645
6EEMagdalena Kacprzak, Wojciech Penczek: Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS 2004: 646-653
5EEMagdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212
4EEMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Inform. 63(2-3): 221-240 (2004)
2003
3EEMagdalena Kacprzak: Undecidability of a Multi-Agent Logic. Fundam. Inform. 54(2-3): 213-220 (2003)
2002
2EEMagdalena 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)

Coauthor Index

1Katarzyna Budzynska [11] [13]
2T. Lasica [5]
3Alessio Lomuscio [4] [5] [7] [9]
4Wojciech Nabialek [12]
5Artur Niewiadomski [9] [12]
6Wojciech Penczek [4] [5] [6] [7] [8] [9] [12]
7Agata Pólrola [12]
8Franco Raimondi [9]
9Pawel Rembelski [13]
10Maciej Szreter [5] [9] [12]
11Bozena Wozna [12]
12Andrzej Zbrzezny [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)