default search action
Boleslaw Mikolajczak
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c30]Kanhai Shah, Boleslaw Mikolajczak:
Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer. ITNG 2010: 523-528
2000 – 2009
- 2009
- [c29]Boleslaw Mikolajczak, Abhishek Singh:
TransCPN - Software Tool for Transformation of Colored Petri Nets. ITNG 2009: 211-216 - 2008
- [j3]Boleslaw Mikolajczak, Nirmal Gami:
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. J. Comput. 3(1): 63-78 (2008) - [c28]Boleslaw Mikolajczak:
Petri Nets Across Graduate Computer Science Curriculum. FECS 2008: 194-200 - [c27]Binsan Khadka, Boleslaw Mikolajczak:
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets. ITNG 2008: 1179-1183 - [c26]Boleslaw Mikolajczak:
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. SEKE 2008: 267-272 - 2007
- [c25]Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajczak, Haiping Xu:
Designing Software Engineering Option within Computer Science Bachelor of Science Program. FECS 2007: 290-296 - [c24]Nirmal Gami, Boleslaw Mikolajczak:
Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features. IKE 2007: 215-221 - [c23]Nirmal Gami, Boleslaw Mikolajczak:
Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows. ITNG 2007: 653-657 - [c22]Binsan Khadka, Boleslaw Mikolajczak:
Transformation from live sequence charts to colored Petri nets. SCSC 2007: 673-680 - [c21]Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS 2007: 53-62 - 2006
- [c20]Bhushan Bauskar, Boleslaw Mikolajczak:
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. ITNG 2006: 680-687 - 2005
- [c19]Boleslaw Mikolajczak, Sachin Joshi:
Specifying Selected Security Features of Inter-Organizational Workflows. CIMCA/IAWTIC 2005: 958-963 - [c18]Boleslaw Mikolajczak, Jian-Lun Chen:
Workflow Mining Alpha Algorithm - A Complexity Study. Intelligent Information Systems 2005: 451-455 - 2004
- [c17]Bhushan Bauskar, Boleslaw Mikolajczak:
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. Software Engineering Research and Practice 2004: 516-524 - [c16]Bhushan Bauskar, Boleslaw Mikolajczak:
Modeling inheritance anomaly in concurrent systems using colored Petri nets. SMC (5) 2004: 4873-4878 - [c15]Boleslaw Mikolajczak, Sachin Joshi:
Modeling of information systems security features with colored Petri nets. SMC (5) 2004: 4879-4884 - 2003
- [j2]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): 107-121 (2003) - [c14]Boleslaw Mikolajczak, Zuyan Wang:
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. ER 2003: 433-445 - [c13]Boleslaw Mikolajczak, Zuyan Wang:
Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. IIS 2003: 535-539 - [c12]Boleslaw Mikolajczak, Craig Eranosian, Carl Gallagher:
Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices. PDPTA 2003: 1165-1171 - [c11]Boleslaw Mikolajczak, Charles A. Sefranek:
Integrating object-oriented design with Petri nets-case study of ATM system. SMC 2003: 1499-1505 - 2002
- [j1]Boleslaw Mikolajczak:
Review of Petri Net Algebra. SIGACT News 33(2): 10-14 (2002) - [c10]Boleslaw Mikolajczak, Artur Ottlik:
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets. Intelligent Information Systems 2002: 423-434 - 2001
- [c9]Hua Hsueh, Boleslaw Mikolajczak:
Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem. Intelligent Information Systems 2001: 239-256 - [c8]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: 1559-1564 - 2000
- [c7]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 - [c6]Boleslaw Mikolajczak, Artur Ottlik:
Specification of distributed systems with actors using object-oriented Petri nets. SMC 2000: 3134-3140
1990 – 1999
- 1998
- [c5]Boleslaw Mikolajczak:
A model-based software engineering of parallel and distributed systems using Petri nets. SMC 1998: 284-288 - [c4]Denis Mukhin, Boleslaw Mikolajczak:
A method of concurrent object-oriented design using high-level Petri nets. SMC 1998: 295-300 - 1994
- [c3]Boleslaw Mikolajczak:
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. Parallel Processing of Discrete Optimization Problems 1994: 233-257
1980 – 1989
- 1982
- [c2]Boleslaw Mikolajczak:
Realization versus Simulation min Finite Automata. IMACS World Congress 1982: 91-94
1970 – 1979
- 1976
- [c1]Boleslaw Mikolajczak:
On Some Properties of Cyclic Automata and Their Extensions. MFCS 1976: 430-435
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: