Marek A. Bednarczyk

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Topics

Selection Strategies

Visualization Tools

Top Venues

J. Log. Comput.

Publications

Adam Aszyk, Marek A. Bednarczyk, Bartosz Marcinkowski, Pawel Pisarski, Tadeusz Puzniakowski
Towards Optimal Freight Selection Strategies in Transport Planning. KES (2023)
Pawel Pisarski, Marek A. Bednarczyk, Tadeusz Puzniakowski, Adam Aszyk, Bartosz Marcinkowski
Innovative Data Visualization Tools: Facilitating Logistics Management in Times of Crisis. ISD (2023)
Pawel Pisarski, Marek A. Bednarczyk, Tadeusz Puzniakowski, Adam Aszyk, Bartosz Marcinkowski
Innovative Data Visualization Tools: Facilitating Logistics Management in Times of Crisis. ISD (2023)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. 27 (7) (2017)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA (2014)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) (2014)
Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski
A Class of Hypernets with Token Creation and Decidable Reachability Problem. CS&P (2012)
Tadeusz Puzniakowski, Marek A. Bednarczyk
Towards an OpenCL Implementation of Genetic Algorithms on GPUs. SIIS (2011)
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85 (1-4) (2008)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. NATO ASI Mining Massive Data Sets for Security (2007)
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau
Concurrent Secrets. Discret. Event Dyn. Syst. 17 (4) (2007)
Marek A. Bednarczyk
Limits of Modularity. Fundam. Informaticae 74 (2-3) (2006)
Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundam. Informaticae 72 (1-3) (2006)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling Mobility with Petri Hypernets. WADT (2004)
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
Modular System Development with Pullbacks. ICATPN (2003)
Marek A. Bednarczyk
A Non-monotone Logic for Reasoning about Action. Intelligent Information Systems (2002)
Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski
Bayesian Network Mining System. Intelligent Information Systems (2001)
Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau
Generalized Automata and Their Net Representations. Unifying Petri Nets (2001)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
On Concurrent Realization of Reactive Systems and Their Morphisms. Unifying Petri Nets (2001)
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)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
Finite Completeness of Categories of Petri Nets. Fundam. Informaticae 43 (1-4) (2000)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
General Morphisms of Petri Nets (Extended Abstract). ICALP (1999)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
Concurrent Realizations of Reactive Systems. CTCS (1999)
Marek A. Bednarczyk
Logic of Predicates with Explicit Substitutions. MFCS (1996)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
CPO's do not form a CPO, and yet Recursion Works. VDM Europe (1) (1991)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Towards the Semantics of the Definitional Language of MetaSoft. VDM Europe (1990)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. VDM Europe (1990)
Marek A. Bednarczyk
On minimal finite automata - corrigenda. Bull. EATCS 38 (1989)
Marek A. Bednarczyk
On Minimal Finite Automata. Bull. EATCS 36 (1988)