ask others

Boleslaw Mikolajczak

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2010
[c30]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itng/ShahM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itng/ShahM10
Kanhai Shah, Boleslaw Mikolajczak:
Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer. ITNG 2010: 523-528

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c29]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itng/MikolajczakS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itng/MikolajczakS09
Boleslaw Mikolajczak, Abhishek Singh:
TransCPN - Software Tool for Transformation of Colored Petri Nets. ITNG 2009: 211-216
2008
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcp/MikolajczakG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcp/MikolajczakG08
Boleslaw Mikolajczak, Nirmal Gami:
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. JCP 3(1): 63-78 (2008)
[c28]
- no documents available
- export record
  dblp key:
  - conf/fecs/Mikolajczak08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fecs/Mikolajczak08
Boleslaw Mikolajczak:
Petri Nets Across Graduate Computer Science Curriculum. FECS 2008: 194-200
[c27]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itng/KhadkaM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itng/KhadkaM08
Binsan Khadka, Boleslaw Mikolajczak:
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets. ITNG 2008: 1179-1183
[c26]
- no documents available
- export record
  dblp key:
  - conf/seke/Mikolajczak08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/seke/Mikolajczak08
Boleslaw Mikolajczak:
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. SEKE 2008: 267-272
2007
[c25]
- no documents available
- export record
  dblp key:
  - conf/fecs/BergandyBMX07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fecs/BergandyBMX07
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]
- no documents available
- export record
  dblp key:
  - conf/ike/GamiM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ike/GamiM07
Nirmal Gami, Boleslaw Mikolajczak:
Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features. IKE 2007: 215-221
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itng/GamiM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itng/GamiM07
Nirmal Gami, Boleslaw Mikolajczak:
Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows. ITNG 2007: 653-657
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/scsc/KhadkaM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/scsc/KhadkaM07
Binsan Khadka, Boleslaw Mikolajczak:
Transformation from live sequence charts to colored Petri nets. SCSC 2007: 673-680
[c21]
- no documents available
- export record
  dblp key:
  - conf/vveis/GamiM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vveis/GamiM07
Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS 2007: 53-62
2006
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itng/BauskarM06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itng/BauskarM06
Bhushan Bauskar, Boleslaw Mikolajczak:
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. ITNG 2006: 680-687
2005
[c19]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/cimca/MikolajczakJ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cimca/MikolajczakJ05
Boleslaw Mikolajczak, Sachin Joshi:
Specifying Selected Security Features of Inter-Organizational Workflows. CIMCA/IAWTIC 2005: 958-963
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iis/MikolajczakC05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iis/MikolajczakC05
Boleslaw Mikolajczak, Jian-Lun Chen:
Workflow Mining Alpha Algorithm - A Complexity Study. Intelligent Information Systems 2005: 451-455
2004
[c17]
- no documents available
- export record
  dblp key:
  - conf/serp/BauskarM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/serp/BauskarM04
Bhushan Bauskar, Boleslaw Mikolajczak:
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. Software Engineering Research and Practice 2004: 516-524
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/BauskarM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/BauskarM04
Bhushan Bauskar, Boleslaw Mikolajczak:
Modeling inheritance anomaly in concurrent systems using colored Petri nets. SMC (5) 2004: 4873-4878
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MikolajczakJ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/MikolajczakJ04
Boleslaw Mikolajczak, Sachin Joshi:
Modeling of information systems security features with colored Petri nets. SMC (5) 2004: 4879-4884
2003
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jim/KattanMKA03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jim/KattanMKA03
Ibrahim Kattan, Boleslaw Mikolajczak, Khalid Kattan, Bassam Alqassar:
Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods. J. Intelligent Manufacturing 14(1): 107-121 (2003)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/er/MikolajczakW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/er/MikolajczakW03
Boleslaw Mikolajczak, Zuyan Wang:
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. ER 2003: 433-445
[c13]
- no documents available
- export record
  dblp key:
  - conf/iis/MikolajczakW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iis/MikolajczakW03
Boleslaw Mikolajczak, Zuyan Wang:
Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. IIS 2003: 535-539
[c12]
- no documents available
- export record
  dblp key:
  - conf/pdpta/MikolajczakEG03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdpta/MikolajczakEG03
Boleslaw Mikolajczak, Craig Eranosian, Carl Gallagher:
Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices. PDPTA 2003: 1165-1171
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MikolajczakS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/MikolajczakS03
Boleslaw Mikolajczak, Charles A. Sefranek:
Integrating object-oriented design with Petri nets-case study of ATM system. SMC 2003: 1499-1505
2002
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigact/Mikolajczak02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigact/Mikolajczak02
Boleslaw Mikolajczak:
Review of Petri Net Algebra. SIGACT News 33(2): 10-14 (2002)
[c10]
- no documents available
- export record
  dblp key:
  - conf/iis/MikolajczakO02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iis/MikolajczakO02
Boleslaw Mikolajczak, Artur Ottlik:
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets. Intelligent Information Systems 2002: 423-434
2001
[c9]
- no documents available
- export record
  dblp key:
  - conf/iis/HsuehM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iis/HsuehM01
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MikolajczakS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/MikolajczakS01
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]
- no documents available
- export record
  dblp key:
  - conf/iis/Mikolajczak00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iis/Mikolajczak00
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MikolajczakO00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/MikolajczakO00
Boleslaw Mikolajczak, Artur Ottlik:
Specification of distributed systems with actors using object-oriented Petri nets. SMC 2000: 3134-3140

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/Mikolajczak98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/Mikolajczak98
Boleslaw Mikolajczak:
A model-based software engineering of parallel and distributed systems using Petri nets. SMC 1998: 284-288
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MukhinM98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/MukhinM98
Denis Mukhin, Boleslaw Mikolajczak:
A method of concurrent object-oriented design using high-level Petri nets. SMC 1998: 295-300
1994
[c3]
- no documents available
- export record
  dblp key:
  - conf/dimacs/Mikolajczak94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dimacs/Mikolajczak94
Boleslaw Mikolajczak:
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. Parallel Processing of Discrete Optimization Problems 1994: 233-258

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1982
[c2]
- no documents available
- export record
  dblp key:
  - conf/imacs/Mikolajczak82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/imacs/Mikolajczak82
Boleslaw Mikolajczak:
Realization versus Simulation min Finite Automata. IMACS World Congress 1982: 91-94

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1976
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Mikolajczak76
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Mikolajczak76
Boleslaw Mikolajczak:
On Some Properties of Cyclic Automata and Their Extensions. MFCS 1976: 430-435

maintained by

, founded at