Skip to content
cs-conference-ranking.org

Boleslaw Mikolajczak

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

1976–2008

Best venue rank

B

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2008SEKEFormal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.Boleslaw Mikolajczak
2007IKESoundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.Nirmal Gami, Boleslaw Mikolajczak
2004SMCModeling inheritance anomaly in concurrent systems using colored Petri nets.Bhushan Bauskar, Boleslaw Mikolajczak
2004SMCModeling of information systems security features with colored Petri nets.Boleslaw Mikolajczak, Sachin Joshi
2003ERConceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.Boleslaw Mikolajczak, Zuyan Wang
2003PDPTAPerformance Study of Parallel Algorithms of LU Decomposition for Dense Matrices.Boleslaw Mikolajczak, Craig Eranosian, Carl Gallagher
2003SMCIntegrating object-oriented design with Petri nets-case study of ATM system.Boleslaw Mikolajczak, Charles A. Sefranek
2001SMCIntegrating 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
2000SMCSpecification of distributed systems with actors using object-oriented Petri nets.Boleslaw Mikolajczak, Artur Ottlik
1998SMCA model-based software engineering of parallel and distributed systems using Petri nets.Boleslaw Mikolajczak
1998SMCA method of concurrent object-oriented design using high-level Petri nets.Denis Mukhin, Boleslaw Mikolajczak
1976MFCSOn Some Properties of Cyclic Automata and Their Extensions.Boleslaw Mikolajczak