| 2008 |
|---|
| 15 | EE | Marek A. Bednarczyk,
Wieslaw Pawlowski,
Luca Bernardinello,
Lucia Pomello,
Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems.
Fundam. Inform. 85(1-4): 19-33 (2008) |
| 2006 |
|---|
| 14 | EE | Marek A. Bednarczyk,
Wojciech Jamroga,
Wieslaw Pawlowski:
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
Fundam. Inform. 72(1-3): 51-63 (2006) |
| 2004 |
|---|
| 13 | EE | Marek A. Bednarczyk,
Luca Bernardinello,
Wieslaw Pawlowski,
Lucia Pomello:
Modelling Mobility with Petri Hypernets.
WADT 2004: 28-44 |
| 2003 |
|---|
| 12 | EE | Marek A. Bednarczyk,
Luca Bernardinello,
Benoît Caillaud,
Wieslaw Pawlowski,
Lucia Pomello:
Modular System Development with Pullbacks.
ICATPN 2003: 140-160 |
| 2002 |
|---|
| 11 | EE | Wieslaw Pawlowski:
Presenting and Combining Inference Systems: Presentations with Inference Rules.
WADT 2002: 409-424 |
| 2001 |
|---|
| 10 | | Mieczyslaw A. Klopotek,
Slawomir T. Wierzchon,
Maciej Michalewicz,
Marek A. Bednarczyk,
Wieslaw Pawlowski,
Andrzej Wasowski:
Bayesian Network Mining System.
Intelligent Information Systems 2001: 179-193 |
| 9 | EE | Wieslaw Pawlowski:
Presentations for Abstract Context Institutions.
WADT 2001: 256-279 |
| 2000 |
|---|
| 8 | | Mieczyslaw A. Klopotek,
Slawomir T. Wierzchon,
Andrzej Jodlowski,
Krzysztof Skowronski,
Maciej Michalewicz,
Marek A. Bednarczyk,
Wieslaw Pawlowski:
Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems.
FQAS 2000: 560-569 |
| 1997 |
|---|
| 7 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and Representing Logical Systems.
Category Theory and Computer Science 1997: 177-196 |
| 6 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments.
WADT 1997: 349-364 |
| 5 | | Wieslaw Pawlowski:
Context parchments.
WADT 1997: 381-401 |
| 1996 |
|---|
| 4 | | Wieslaw Pawlowski,
Pawel Paczkowski,
Stefan Sokolowski:
Specifying and Verifying Parametric Processes.
MFCS 1996: 469-481 |
| 1995 |
|---|
| 3 | | Wieslaw Pawlowski:
Context Institutions.
COMPASS/ADT 1995: 436-457 |
| 1990 |
|---|
| 2 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Wieslaw Pawlowski:
Recursive Definitions Revisited.
VDM Europe 1990: 452-476 |
| 1 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Wieslaw Pawlowski:
Towards the Semantics of the Definitional Language of MetaSoft.
VDM Europe 1990: 471-503 |
