Marek A. Bednarczyk

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