On Some Properties of Cyclic Automata and Their Extensions. - Boleslaw Mikolajczak (MFCS, 1976)

Realization versus Simulation min Finite Automata. - Boleslaw Mikolajczak (IMACS World Congress, 1982)

A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. - Boleslaw Mikolajczak (Parallel Processing of Discrete Optimization Problems, 1994)

A model-based software engineering of parallel and distributed systems using Petri nets. - Boleslaw Mikolajczak (SMC, 1998)

A method of concurrent object-oriented design using high-level Petri nets. - Denis Mukhin; Boleslaw Mikolajczak (SMC, 1998)

Distributed Artificial Intelligence: A Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite Automata. - Boleslaw Mikolajczak (Intelligent Information Systems, 2000)

Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem. - Hua Hsueh; Boleslaw Mikolajczak (Intelligent Information Systems, 2001)

Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment. - Boleslaw Mikolajczak; Charles A. Sefranek (SMC, 2001)

Specification of Distributed Systems with Actors Using Object Oriented Petri Nets. - Boleslaw Mikolajczak; Artur Ottlik (Intelligent Information Systems, 2002)

Review of Petri Net Algebra. - Boleslaw Mikolajczak (SIGACT News, 2002)

Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. - Boleslaw Mikolajczak; Zuyan Wang (ER, 2003)

Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. - Boleslaw Mikolajczak; Zuyan Wang (IIS, 2003)

Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices. - Boleslaw Mikolajczak; Craig Eranosian; Carl Gallagher (PDPTA, 2003)

Integrating object-oriented design with Petri nets-case study of ATM system. - Boleslaw Mikolajczak; Charles A. Sefranek (SMC, 2003)

Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods. - Ibrahim Kattan; Boleslaw Mikolajczak; Khalid Kattan; Bassam Alqassar (J. Intell. Manuf., 2003)

Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. - Bhushan Bauskar; Boleslaw Mikolajczak (Software Engineering Research and Practice, 2004)

Modeling inheritance anomaly in concurrent systems using colored Petri nets. - Bhushan Bauskar; Boleslaw Mikolajczak (SMC (5), 2004)

Modeling of information systems security features with colored Petri nets. - Boleslaw Mikolajczak; Sachin Joshi (SMC (5), 2004)

Specifying Selected Security Features of Inter-Organizational Workflows. - Boleslaw Mikolajczak; Sachin Joshi (CIMCA/IAWTIC, 2005)

Workflow Mining Alpha Algorithm - A Complexity Study. - Boleslaw Mikolajczak; Jian-Lun Chen (Intelligent Information Systems, 2005)

Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. - Bhushan Bauskar; Boleslaw Mikolajczak (ITNG, 2006)

Designing Software Engineering Option within Computer Science Bachelor of Science Program. - Jan Bergandy; Paul L. Bergstein; Boleslaw Mikolajczak; Haiping Xu (FECS, 2007)

Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features. - Nirmal Gami; Boleslaw Mikolajczak (IKE, 2007)

Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows. - Nirmal Gami; Boleslaw Mikolajczak (ITNG, 2007)

Transformation from live sequence charts to colored Petri nets. - Binsan Khadka; Boleslaw Mikolajczak (SCSC, 2007)

Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. - Nirmal Gami; Boleslaw Mikolajczak (MSVVEIS, 2007)

Petri Nets Across Graduate Computer Science Curriculum. - Boleslaw Mikolajczak (FECS, 2008)

Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets. - Binsan Khadka; Boleslaw Mikolajczak (ITNG, 2008)

Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. - Boleslaw Mikolajczak (SEKE, 2008)

Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. - Boleslaw Mikolajczak; Nirmal Gami (J. Comput., 2008)

TransCPN - Software Tool for Transformation of Colored Petri Nets. - Boleslaw Mikolajczak; Abhishek Singh (ITNG, 2009)

Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer. - Kanhai Shah; Boleslaw Mikolajczak (ITNG, 2010)