Boleslaw Mikolajczak

Publication Activity (10 Years)

Years Active: 1976-2010
Publications (10 Years): 0

Publications

Kanhai Shah, Boleslaw Mikolajczak
Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer. ITNG (2010)
Boleslaw Mikolajczak, Abhishek Singh
TransCPN - Software Tool for Transformation of Colored Petri Nets. ITNG (2009)
Binsan Khadka, Boleslaw Mikolajczak
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets. ITNG (2008)
Boleslaw Mikolajczak
Petri Nets Across Graduate Computer Science Curriculum. FECS (2008)
Boleslaw Mikolajczak, Nirmal Gami
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. J. Comput. 3 (1) (2008)
Boleslaw Mikolajczak
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. SEKE (2008)
Nirmal Gami, Boleslaw Mikolajczak
Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features. IKE (2007)
Nirmal Gami, Boleslaw Mikolajczak
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS (2007)
Nirmal Gami, Boleslaw Mikolajczak
Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows. ITNG (2007)
Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajczak, Haiping Xu
Designing Software Engineering Option within Computer Science Bachelor of Science Program. FECS (2007)
Binsan Khadka, Boleslaw Mikolajczak
Transformation from live sequence charts to colored Petri nets. SCSC (2007)
Bhushan Bauskar, Boleslaw Mikolajczak
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. ITNG (2006)
Boleslaw Mikolajczak, Jian-Lun Chen
Workflow Mining Alpha Algorithm - A Complexity Study. Intelligent Information Systems (2005)
Boleslaw Mikolajczak, Sachin Joshi
Specifying Selected Security Features of Inter-Organizational Workflows. CIMCA/IAWTIC (2005)
Boleslaw Mikolajczak, Sachin Joshi
Modeling of information systems security features with colored Petri nets. SMC (5) (2004)
Bhushan Bauskar, Boleslaw Mikolajczak
Modeling inheritance anomaly in concurrent systems using colored Petri nets. SMC (5) (2004)
Bhushan Bauskar, Boleslaw Mikolajczak
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. Software Engineering Research and Practice (2004)
Boleslaw Mikolajczak, Zuyan Wang
Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. IIS (2003)
Boleslaw Mikolajczak, Zuyan Wang
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. ER (2003)
Boleslaw Mikolajczak, Charles A. Sefranek
Integrating object-oriented design with Petri nets-case study of ATM system. SMC (2003)
Boleslaw Mikolajczak, Craig Eranosian, Carl Gallagher
Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices. PDPTA (2003)
Ibrahim Kattan, Boleslaw Mikolajczak, Khalid Kattan, Bassam Alqassar
Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods. J. Intell. Manuf. 14 (1) (2003)
Boleslaw Mikolajczak, Artur Ottlik
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets. Intelligent Information Systems (2002)
Boleslaw Mikolajczak
Review of Petri Net Algebra. SIGACT News 33 (2) (2002)
Boleslaw Mikolajczak, Charles A. Sefranek
Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment. SMC (2001)
Hua Hsueh, Boleslaw Mikolajczak
Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem. Intelligent Information Systems (2001)
Boleslaw Mikolajczak, Artur Ottlik
Specification of distributed systems with actors using object-oriented Petri nets. SMC (2000)
Boleslaw Mikolajczak
Distributed Artificial Intelligence: A Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite Automata. Intelligent Information Systems (2000)
Denis Mukhin, Boleslaw Mikolajczak
A method of concurrent object-oriented design using high-level Petri nets. SMC (1998)
Boleslaw Mikolajczak
A model-based software engineering of parallel and distributed systems using Petri nets. SMC (1998)
Boleslaw Mikolajczak
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. Parallel Processing of Discrete Optimization Problems (1994)
Boleslaw Mikolajczak
Realization versus Simulation min Finite Automata. IMACS World Congress (1982)
Boleslaw Mikolajczak
On Some Properties of Cyclic Automata and Their Extensions. MFCS (1976)