On Minimal Finite Automata. - Marek A. Bednarczyk (Bull. EATCS, 1988)

On minimal finite automata - corrigenda. - Marek A. Bednarczyk (Bull. EATCS, 1989)

Recursive Definitions Revisited. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Wieslaw Pawlowski (VDM Europe, 1990)

Towards the Semantics of the Definitional Language of MetaSoft. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Wieslaw Pawlowski (VDM Europe, 1990)

CPO's do not form a CPO, and yet Recursion Works. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski (VDM Europe (1), 1991)

Logic of Predicates with Explicit Substitutions. - Marek A. Bednarczyk (MFCS, 1996)

General Morphisms of Petri Nets (Extended Abstract). - Marek A. Bednarczyk; Andrzej M. Borzyszkowski (ICALP, 1999)

Concurrent Realizations of Reactive Systems. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski (CTCS, 1999)

Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems. - Mieczyslaw A. Klopotek; Slawomir T. Wierzchon; Andrzej Jodlowski; Krzysztof Skowronski; Maciej Michalewicz; Marek A. Bednarczyk; Wieslaw Pawlowski (FQAS, 2000)

Finite Completeness of Categories of Petri Nets. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Rafal Somla (Fundam. Informaticae, 2000)

Generalized Automata and Their Net Representations. - Éric Badouel; Marek A. Bednarczyk; Philippe Darondeau (Unifying Petri Nets, 2001)

On Concurrent Realization of Reactive Systems and Their Morphisms. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski (Unifying Petri Nets, 2001)

Bayesian Network Mining System. - Mieczyslaw A. Klopotek; Slawomir T. Wierzchon; Maciej Michalewicz; Marek A. Bednarczyk; Wieslaw Pawlowski; Andrzej Wasowski (Intelligent Information Systems, 2001)

A Non-monotone Logic for Reasoning about Action. - Marek A. Bednarczyk (Intelligent Information Systems, 2002)

Modular System Development with Pullbacks. - Marek A. Bednarczyk; Luca Bernardinello; Benoît Caillaud; Wieslaw Pawlowski; Lucia Pomello (ICATPN, 2003)

Modelling Mobility with Petri Hypernets. - Marek A. Bednarczyk; Luca Bernardinello; Wieslaw Pawlowski; Lucia Pomello (WADT, 2004)

Limits of Modularity. - Marek A. Bednarczyk (Fundam. Informaticae, 2006)

Expressing and Verifying Temporal and Structural Properties of Mobile Agents. - Marek A. Bednarczyk; Wojciech Jamroga; Wieslaw Pawlowski (Fundam. Informaticae, 2006)

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. - Marek A. Bednarczyk; Luca Bernardinello; Wieslaw Pawlowski; Lucia Pomello (NATO ASI Mining Massive Data Sets for Security, 2007)

Concurrent Secrets. - Éric Badouel; Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Benoît Caillaud; Philippe Darondeau (Discret. Event Dyn. Syst., 2007)

A Multi-facet Approach to Dynamic Agent Systems. - Marek A. Bednarczyk; Wieslaw Pawlowski; Luca Bernardinello; Lucia Pomello; Tomasz Borzyszkowski (Fundam. Informaticae, 2008)

Towards an OpenCL Implementation of Genetic Algorithms on GPUs. - Tadeusz Puzniakowski; Marek A. Bednarczyk (SIIS, 2011)

A Class of Hypernets with Token Creation and Decidable Reachability Problem. - Marek A. Bednarczyk; Piotr Józwiak; Wieslaw Pawlowski (CS&P, 2012)

Synthesis and Verification of Uniform Strategies for Multi-agent Systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (CLIMA, 2014)

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (IEEE Conf. on Intelligent Systems (1), 2014)

SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (J. Log. Comput., 2017)

Innovative Data Visualization Tools: Facilitating Logistics Management in Times of Crisis. - Pawel Pisarski; Marek A. Bednarczyk; Tadeusz Puzniakowski; Adam Aszyk; Bartosz Marcinkowski (ISD, 2023)

Towards Optimal Freight Selection Strategies in Transport Planning. - Adam Aszyk; Marek A. Bednarczyk; Bartosz Marcinkowski; Pawel Pisarski; Tadeusz Puzniakowski (KES, 2023)