Boleslaw Mikolajczak

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