Marek A. Bednarczyk

	2011
21		Tadeusz Puzniakowski, Marek A. Bednarczyk: Towards an OpenCL Implementation of Genetic Algorithms on GPUs. SIIS 2011: 190-203
	2008
20		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		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		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		Marek A. Bednarczyk: Limits of Modularity. Fundam. Inform. 74(2-3): 167-187 (2006)
	2004
16		Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello: Modelling Mobility with Petri Hypernets. WADT 2004: 28-44
	2003
15		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		Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau: Generalized Automata and Their Net Representations. Unifying Petri Nets 2001: 304-345
11		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		Marek A. Bednarczyk, Andrzej M. Borzyszkowski: General Morphisms of Petri Nets (Extended Abstract). ICALP 1999: 190-199
7		Marek A. Bednarczyk, Andrzej M. Borzyszkowski: Concurrent Realizations of Reactive Systems. Electr. Notes Theor. Comput. Sci. 29: 2-20 (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 (Wojtek 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	Tadeusz Puzniakowski	[21]
14	Krzysztof Skowronski	[10]
15	Rafal Somla	[9]
16	Andrzej Wasowski	[13]
17	Slawomir T. Wierzchon	[10] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page