Wieslaw Pawlowski

	2008
15		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		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		Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello: Modelling Mobility with Petri Hypernets. WADT 2004: 28-44
	2003
12		Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
	2002
11		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		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

Coauthor Index

1	Marek A. Bednarczyk	[1] [2] [8] [10] [12] [13] [14] [15]
2	Luca Bernardinello	[12] [13] [15]
3	Andrzej M. Borzyszkowski	[1] [2]
4	Tomasz Borzyszkowski	[15]
5	Benoît Caillaud	[12]
6	Wojciech Jamroga	[14]
7	Andrzej Jodlowski	[8]
8	Mieczyslaw A. Klopotek	[8] [10]
9	Maciej Michalewicz	[8] [10]
10	Till Mossakowski	[6] [7]
11	Pawel Paczkowski	[4]
12	Lucia Pomello	[12] [13] [15]
13	Krzysztof Skowronski	[8]
14	Stefan Sokolowski	[4]
15	Andrzej Tarlecki	[6] [7]
16	Andrzej Wasowski	[10]
17	Slawomir T. Wierzchon	[8] [10]