Marek A. Bednarczyk - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2023

2017

SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systemsJerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. logcom, 27(7):1871-1895, 2017. [doi]

2014

Synthesis and Verification of Uniform Strategies for Multi-agent SystemsJerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. clima 2014: 166-182 [doi]

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect RecallJerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. is 2015: 415-426 [doi]

2012

A Class of Hypernets with Token Creation and Decidable Reachability ProblemMarek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski. csp 2012: 37-48 [doi]

2011

Towards an OpenCL Implementation of Genetic Algorithms on GPUsTadeusz Puzniakowski, Marek A. Bednarczyk. iis 2012: 190-203 [doi]

2008

A Multi-facet Approach to Dynamic Agent SystemsMarek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski. FUIN, 85(1-4):19-33, 2008. [doi]

2007

Concurrent SecretsEric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau. deds, 17(4):425-446, 2007. [doi]

Modelling and Analysing Systems of Agents by Agent-aware Transition SystemsMarek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello. nato 2008: 103-112 [doi]

2006

Limits of ModularityMarek A. Bednarczyk. FUIN, 74(2-3):167-187, 2006. [doi]

Expressing and Verifying Temporal and Structural Properties of Mobile AgentsMarek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski. FUIN, 72(1-3):51-63, 2006. [doi]

2004

Modelling Mobility with Petri HypernetsMarek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello. WADT 2004: 28-44 [doi]

2003

Modular System Development with PullbacksMarek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello. apn 2003: 140-160 [doi]

2002

A Non-monotone Logic for Reasoning about ActionMarek A. Bednarczyk. iis 2002: 287-300

2001

Generalized Automata and Their Net RepresentationsEric Badouel, Marek A. Bednarczyk, Philippe Darondeau. apn 2001: 304-345 [doi]

On Concurrent Realization of Reactive Systems and Their MorphismsMarek A. Bednarczyk, Andrzej M. Borzyszkowski. apn 2001: 346-379 [doi]

Bayesian Network Mining SystemMieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski. iiswc 2001: 179-193

2000

Finite Completeness of Categories of Petri NetsMarek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla. FUIN, 43(1-4):21-48, 2000.

Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring SystemsMieczyslaw A. Klopotek, Slawomir T. Wierzchon, Andrzej Jodlowski, Krzysztof Skowronski, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski. fqas 2000: 560-569

1999

General Morphisms of Petri Nets (Extended Abstract)Marek A. Bednarczyk, Andrzej M. Borzyszkowski. icalp 1999: 190-199 [doi]

Concurrent Realizations of Reactive SystemsMarek A. Bednarczyk, Andrzej M. Borzyszkowski. TCS, 29:2-20, 1999. [doi]

1996

Logic of Predicates with Explicit SubstitutionsMarek A. Bednarczyk. mfcs 1996: 192-205

1991

CPO s do not form a CPO, and yet Recursion WorksMarek A. Bednarczyk, Andrzej M. Borzyszkowski. FM 1991: 268-278

1990

Recursive Definitions RevisitedMarek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski. FM 1990: 452-476

Towards the Semantics of the Definitional Language of MetaSoftMarek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski. FM 1990: 471-503

1989

On minimal finite automata - corrigendaMarek A. Bednarczyk. eatcs, 38:135, 1989.

1988

On Minimal Finite AutomataMarek A. Bednarczyk. eatcs, 36:113-115, 1988.

Sign in or sign up to see more results.

runs on WebDSL