Marek A. Bednarczyk

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Towards Optimal Freight Selection Strategies in Transport Planning.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Innovative Data Visualization Tools: Facilitating Logistics Management in Times of Crisis.
Proceedings of the Information Systems Development: Organizational Aspects and Societal Trends (ISD2023 Proceedings), Lisbon, Portugal, 30 August, 2023

2017
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems.
J. Log. Comput., 2017

2014
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall.
Proceedings of the Intelligent Systems'2014, 2014

Synthesis and Verification of Uniform Strategies for Multi-agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2012
A Class of Hypernets with Token Creation and Decidable Reachability Problem.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Towards an OpenCL Implementation of Genetic Algorithms on GPUs.
Proceedings of the Security and Intelligent Information Systems, 2011

2008
A Multi-facet Approach to Dynamic Agent Systems.
Fundam. Informaticae, 2008

2007
Concurrent Secrets.
Discret. Event Dyn. Syst., 2007

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems.
Proceedings of the Mining Massive Data Sets for Security, 2007

2006
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
Fundam. Informaticae, 2006

Limits of Modularity.
Fundam. Informaticae, 2006

2004
Modelling Mobility with Petri Hypernets.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003
Modular System Development with Pullbacks.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
A Non-monotone Logic for Reasoning about Action.
Proceedings of the Intelligent Information Systems 2002, 2002

2001
Bayesian Network Mining System.
Proceedings of the Intelligent Information Systems 2001, 2001

On Concurrent Realization of Reactive Systems and Their Morphisms.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Generalized Automata and Their Net Representations.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Finite Completeness of Categories of Petri Nets.
Fundam. Informaticae, 2000

Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems.
Proceedings of the Flexible Query Answering Systems, 2000

1999
Concurrent Realizations of Reactive Systems.
Proceedings of the Conference on Category Theory and Computer Science, 1999

General Morphisms of Petri Nets (Extended Abstract).
Proceedings of the Automata, 1999

1996
Logic of Predicates with Explicit Substitutions.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1991
CPO's do not form a CPO, and yet Recursion Works.
Proceedings of the VDM '91, 1991

1990
Towards the Semantics of the Definitional Language of MetaSoft.
Proceedings of the VDM '90, 1990

Recursive Definitions Revisited.
Proceedings of the VDM '90, 1990

1989
On minimal finite automata - corrigenda.
Bull. EATCS, 1989

1988
On Minimal Finite Automata.
Bull. EATCS, 1988


  Loading...