Boleslaw Mikolajczak

According to our database1, Boleslaw Mikolajczak authored at least 32 papers between 1976 and 2010.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
TransCPN - Software Tool for Transformation of Colored Petri Nets.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security.
J. Comput., 2008

Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Petri Nets Across Graduate Computer Science Curriculum.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008

2007
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features.
Proceedings of the Modelling, 2007

Transformation from live sequence charts to colored Petri nets.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.
Proceedings of the 2007 International Conference on Information & Knowledge Engineering, 2007

Designing Software Engineering Option within Computer Science Bachelor of Science Program.
Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2007

2006
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.
Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006

2005
Workflow Mining Alpha Algorithm - A Complexity Study.
Proceedings of the Intelligent Information Processing and Web Mining, 2005

Specifying Selected Security Features of Inter-Organizational Workflows.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

2004
Modeling of information systems security features with colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

Modeling inheritance anomaly in concurrent systems using colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

Modeling and Resolving Inheritance Anomaly with Colored Petri Nets.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

2003
Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods.
J. Intell. Manuf., 2003

Integrating object-oriented design with Petri nets-case study of ATM system.
Proceedings of the IEEE International Conference on Systems, 2003

Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets.
Proceedings of the Intelligent Information Processing and Web Mining, 2003

Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.
Proceedings of the Conceptual Modeling, 2003

2002
Review of Petri Net Algebra.
SIGACT News, 2002

Specification of Distributed Systems with Actors Using Object Oriented Petri Nets.
Proceedings of the Intelligent Information Systems 2002, 2002

2001
Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment.
Proceedings of the IEEE International Conference on Systems, 2001

Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem.
Proceedings of the Intelligent Information Systems 2001, 2001

2000
Distributed Artificial Intelligence: A Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite Automata.
Proceedings of the Intelligent Information Systems, 2000

1998
A method of concurrent object-oriented design using high-level Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A model-based software engineering of parallel and distributed systems using Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1994
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata.
Proceedings of the Workshop on Parallel Processing of Discrete Optimization Problems, 1994

1982
Realization versus Simulation min Finite Automata.
Proceedings of the Parallel and Large-Scale Computers: Performance, 1982

1976
On Some Properties of Cyclic Automata and Their Extensions.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976


  Loading...