| 2008 |
|---|
| 23 | | Boleslaw Mikolajczak:
Petri Nets Across Graduate Computer Science Curriculum.
FECS 2008: 194-200 |
| 22 | EE | Binsan Khadka,
Boleslaw Mikolajczak:
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.
ITNG 2008: 1179-1183 |
| 21 | | Boleslaw Mikolajczak:
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.
SEKE 2008: 267-272 |
| 20 | EE | Boleslaw Mikolajczak,
Nirmal Gami:
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security.
JCP 3(1): 63-78 (2008) |
| 2007 |
|---|
| 19 | | Jan Bergandy,
Paul L. Bergstein,
Boleslaw Mikolajczak,
Haiping Xu:
Designing Software Engineering Option within Computer Science Bachelor of Science Program.
FECS 2007: 290-296 |
| 18 | | Nirmal Gami,
Boleslaw Mikolajczak:
Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.
IKE 2007: 215-221 |
| 17 | EE | Nirmal Gami,
Boleslaw Mikolajczak:
Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows.
ITNG 2007: 653-657 |
| 16 | | Nirmal Gami,
Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features.
MSVVEIS 2007: 53-62 |
| 15 | EE | Binsan Khadka,
Boleslaw Mikolajczak:
Transformation from live sequence charts to colored Petri nets.
SCSC 2007: 673-680 |
| 2006 |
|---|
| 14 | EE | Bhushan Bauskar,
Boleslaw Mikolajczak:
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.
ITNG 2006: 680-687 |
| 2005 |
|---|
| 13 | | Boleslaw Mikolajczak,
Sachin Joshi:
Specifying Selected Security Features of Inter-Organizational Workflows.
CIMCA/IAWTIC 2005: 958-963 |
| 12 | | Boleslaw Mikolajczak,
Jian-Lun Chen:
Workflow Mining Alpha Algorithm - A Complexity Study.
Intelligent Information Systems 2005: 451-455 |
| 2004 |
|---|
| 11 | EE | Bhushan Bauskar,
Boleslaw Mikolajczak:
Modeling inheritance anomaly in concurrent systems using colored Petri nets.
SMC (5) 2004: 4873-4878 |
| 10 | EE | Boleslaw Mikolajczak,
Sachin Joshi:
Modeling of information systems security features with colored Petri nets.
SMC (5) 2004: 4879-4884 |
| 9 | | Bhushan Bauskar,
Boleslaw Mikolajczak:
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets.
Software Engineering Research and Practice 2004: 516-524 |
| 2003 |
|---|
| 8 | EE | Boleslaw Mikolajczak,
Zuyan Wang:
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.
ER 2003: 433-445 |
| 7 | | Boleslaw Mikolajczak,
Zuyan Wang:
Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets.
IIS 2003: 535-539 |
| 6 | | Boleslaw Mikolajczak,
Craig Eranosian,
Carl Gallagher:
Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices.
PDPTA 2003: 1165-1171 |
| 2002 |
|---|
| 5 | | Boleslaw Mikolajczak,
Artur Ottlik:
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets.
Intelligent Information Systems 2002: 423-434 |
| 2001 |
|---|
| 4 | | Hua Hsueh,
Boleslaw Mikolajczak:
Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem.
Intelligent Information Systems 2001: 239-256 |
| 2000 |
|---|
| 3 | | Boleslaw Mikolajczak:
Distributed Artificial Intelligence: A Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite Automata.
Intelligent Information Systems 2000: 159-173 |
| 1982 |
|---|
| 2 | | Boleslaw Mikolajczak:
Realization versus Simulation min Finite Automata.
IMACS World Congress 1982: 91-94 |
| 1976 |
|---|
| 1 | | Boleslaw Mikolajczak:
On Some Properties of Cyclic Automata and Their Extensions.
MFCS 1976: 430-435 |
