Boleslaw Mikolajczak
According to our database1,
Boleslaw Mikolajczak
authored at least 32 papers
between 1976 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
2009
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009
2008
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security.
J. Comput., 2008
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
Petri Nets Across Graduate Computer Science Curriculum.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008
2007
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features.
Proceedings of the Modelling, 2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007
Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.
Proceedings of the 2007 International Conference on Information & Knowledge Engineering, 2007
Designing Software Engineering Option within Computer Science Bachelor of Science Program.
Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2007
2006
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.
Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006
2005
Proceedings of the Intelligent Information Processing and Web Mining, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Modeling and Resolving Inheritance Anomaly with Colored Petri Nets.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004
2003
Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods.
J. Intell. Manuf., 2003
Proceedings of the IEEE International Conference on Systems, 2003
Performance Study of Parallel Algorithms of LU Decomposition for Dense Matrices.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets.
Proceedings of the Intelligent Information Processing and Web Mining, 2003
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.
Proceedings of the Conceptual Modeling, 2003
2002
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets.
Proceedings of the Intelligent Information Systems 2002, 2002
2001
Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment.
Proceedings of the IEEE International Conference on Systems, 2001
Intelligent Computing Systems with Actors - Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem.
Proceedings of the Intelligent Information Systems 2001, 2001
2000
Distributed Artificial Intelligence: A Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite Automata.
Proceedings of the Intelligent Information Systems, 2000
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
A model-based software engineering of parallel and distributed systems using Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1994
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata.
Proceedings of the Workshop on Parallel Processing of Discrete Optimization Problems, 1994
1982
Realization versus Simulation min Finite Automata.
Proceedings of the Parallel and Large-Scale Computers: Performance, 1982
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976