Marek A. Bednarczyk

2008
20	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)
2007
19	EE	Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
2006
18	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)
17	EE	Marek A. Bednarczyk: Limits of Modularity. Fundam. Inform. 74(2-3): 167-187 (2006)
2004
16	EE	Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello: Modelling Mobility with Petri Hypernets. WADT 2004: 28-44
2003
15	EE	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
2002
14		Marek A. Bednarczyk: A Non-monotone Logic for Reasoning about Action. Intelligent Information Systems 2002: 287-300
2001
13		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
12	EE	Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau: Generalized Automata and Their Net Representations. Unifying Petri Nets 2001: 304-345
11	EE	Marek A. Bednarczyk, Andrzej M. Borzyszkowski: On Concurrent Realization of Reactive Systems and Their Morphisms. Unifying Petri Nets 2001: 346-379
2000
10		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
9		Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla: Finite Completeness of Categories of Petri Nets. Fundam. Inform. 43(1-4): 21-48 (2000)
1999
8	EE	Marek A. Bednarczyk, Andrzej M. Borzyszkowski: General Morphisms of Petri Nets (Extended Abstract). ICALP 1999: 190-199
7	EE	Marek A. Bednarczyk, Andrzej M. Borzyszkowski: Concurrent Realizations of Reactive Systems. Electr. Notes Theor. Comput. Sci. 29: (1999)
1996
6		Marek A. Bednarczyk: Logic of Predicates with Explicit Substitutions. MFCS 1996: 192-205
1991
5		Marek A. Bednarczyk, Andrzej M. Borzyszkowski: CPO's do not form a CPO, and yet Recursion Works. VDM Europe (1) 1991: 268-278
1990
4		Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski: Recursive Definitions Revisited. VDM Europe 1990: 452-476
3		Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski: Towards the Semantics of the Definitional Language of MetaSoft. VDM Europe 1990: 471-503
1989
2		Marek A. Bednarczyk: On minimal finite automata - corrigenda. Bulletin of the EATCS 38: 135 (1989)
1988
1		Marek A. Bednarczyk: On Minimal Finite Automata. Bulletin of the EATCS 36: 113-115 (1988)

Coauthor Index

1	Eric Badouel	[12] [19]
2	Luca Bernardinello	[15] [16] [20]
3	Andrzej M. Borzyszkowski	[3] [4] [5] [7] [8] [9] [11] [19]
4	Tomasz Borzyszkowski	[20]
5	Benoît Caillaud	[15] [19]
6	Philippe Darondeau	[12] [19]
7	Wojciech Jamroga	[18]
8	Andrzej Jodlowski	[10]
9	Mieczyslaw A. Klopotek	[10] [13]
10	Maciej Michalewicz	[10] [13]
11	Wieslaw Pawlowski	[3] [4] [10] [13] [15] [16] [18] [20]
12	Lucia Pomello	[15] [16] [20]
13	Krzysztof Skowronski	[10]
14	Rafal Somla	[9]
15	Andrzej Wasowski	[13]
16	Slawomir T. Wierzchon	[10] [13]