Marek A. Bednarczyk

According to our database, Marek A. Bednarczyk authored at least 27 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Optimal Freight Selection Strategies in Transport Planning.

Adam Aszyk, Marek A. Bednarczyk, Bartosz Marcinkowski, Pawel Pisarski, Tadeusz Puzniakowski

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2017

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

2014

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall.

Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga

Proceedings of the Intelligent Systems'2014, 2014

Synthesis and Verification of Uniform Strategies for Multi-agent Systems.

Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2012

A Class of Hypernets with Token Creation and Decidable Reachability Problem.

Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Towards an OpenCL Implementation of Genetic Algorithms on GPUs.

Tadeusz Puzniakowski, Marek A. Bednarczyk

Proceedings of the Security and Intelligent Information Systems, 2011

2008

A Multi-facet Approach to Dynamic Agent Systems.

Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski

Fundam. Informaticae, 2008

2007

Concurrent Secrets.

Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau

Discret. Event Dyn. Syst., 2007

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems.

Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Mining Massive Data Sets for Security, 2007

2006

Expressing and Verifying Temporal and Structural Properties of Mobile Agents.

Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski

Fundam. Informaticae, 2006

Limits of Modularity.

Marek A. Bednarczyk

Fundam. Informaticae, 2006

2004

Modelling Mobility with Petri Hypernets.

Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003

Modular System Development with Pullbacks.

Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

A Non-monotone Logic for Reasoning about Action.

Marek A. Bednarczyk

Proceedings of the Intelligent Information Systems 2002, 2002

2001

Bayesian Network Mining System.

Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski

Proceedings of the Intelligent Information Systems 2001, 2001

On Concurrent Realization of Reactive Systems and Their Morphisms.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Generalized Automata and Their Net Representations.

Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Finite Completeness of Categories of Petri Nets.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla

Fundam. Informaticae, 2000

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

Proceedings of the Flexible Query Answering Systems, 2000

1999

Concurrent Realizations of Reactive Systems.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski

Proceedings of the Conference on Category Theory and Computer Science, 1999

General Morphisms of Petri Nets (Extended Abstract).

Marek A. Bednarczyk, Andrzej M. Borzyszkowski

Proceedings of the Automata, 1999

1996

Logic of Predicates with Explicit Substitutions.

Marek A. Bednarczyk

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1991

CPO's do not form a CPO, and yet Recursion Works.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski

Proceedings of the VDM '91, 1991

1990

Towards the Semantics of the Definitional Language of MetaSoft.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski

Proceedings of the VDM '90, 1990

Recursive Definitions Revisited.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski

Proceedings of the VDM '90, 1990

1989

On minimal finite automata - corrigenda.

Marek A. Bednarczyk

Bull. EATCS, 1989

1988

On Minimal Finite Automata.

Marek A. Bednarczyk

Bull. EATCS, 1988