1998-2001
1. GRANTS AND FUNDED PROJECTS:
1. Board of Higher Education, Commonwealth
Information Technology Initiative, September 2000-June 2003, $144,000 for year
2000-2001.
2. MS in Computer Science, on-site, Raytheon
Electronic Systems, Portsmouth, Rhode Island, (with faculty of the CIS
Department).
3. MS in Computer Science, on-site, Taipei, Taiwan,
Republic of China, (with faculty of the CIS Department).
4. MS in Computer Science, joint program of all
Computer Science Departments of the UMASS system, since September 2000 (with
faculty of the CIS Department).
5. Graduate Certificate Program in Computer Systems,
Cape Cod Chamber of Commerce, jointly with ECE Department (N. Pendergrass and
CIS/ECE faculty)
2. RECENT Publications (1998-2002):
BOOKS AND BOOK CHAPTERS
1. B. Mikolajczak, Theory of Automata, (in Polish), Technical University of Poznan Press, 1975, co-authors: J. Grzymala-Busse, L. Beyga; pp. 208.
2. B. Mikolajczak, On some properties of cyclic automata and their extensions, Proc. of the International Conference Mathematical Foundations of Computer Science, Gdansk, Poland, 1976; Lecture Notes in Computer Science, Springer Verlag, ed. by G.Goos and J. Hartmanis, vol.45.
3. B. Mikolajczak, Switching Systems, (in Polish), Technical University of Poznan Press, 1981, co-authors: J. Grzymala-Busse, L. Beyga, Z. Miadowicz, P. Siwak; pp. 160.
4. B. Mikolajczak, Mathematical Modeling of Discrete Processes by Petri Nets and Automata: Hardware and Software Realizations, chapter in Modeling and Simulation, ed. by G. Mesnard, AMSE Press, 1983, pp.1-62.
5. B. Mikolajczak, Realization versus Simulation in Finite Automata, in: Parallel and Large-Scale Computers: Performance, Architecture, Applications, ed. by M. Ruschitzka, M.Christensen, W.F. Ames, R.Vischnevetsky, IMACS Transactions on Scientific Computations, vol.2, 1983, xii+330pp. North Holland Publishing Company, Amsterdam and New York.
6. B. Mikolajczak, Computational Complexity of Algorithms, (in Polish), Technical University of Poznan Press, 1984, co-author: J. Stoklosa.
7. B. Mikolajczak, Algebraic and Structural Automata Theory (in Polish), Polish Scientific Publishers, 1985, Editor and author of two chapters, research monograph, co- authors: J. Bergandy, L. Beyga, T. Gajewski, Z. Miadowicz, P. Siwak, J. Stoklosa; 467 pages.
8. B. Mikolajczak, Transformations and Computational Complexity of Finite Automata (in Polish), research monograph, Polish Scientific Publishers, 1988; 125 pp. (Habilitation dissertation)
9. B. Mikolajczak, Algebraic and Structural Automata Theory, North Holland Series in Applied Mathematics, Annals of Discrete Mathematics, vol.44, 1991; North-Holland Publishing Company, 401 pp.
10. B. Mikolajczak, Computing Homomorphisms of Finite Automata in Parallel, ed. by P. Pardalos et al., DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, Providence, RI, 1995, pp.233-257.
11. B. Mikolajczak, Distributed Artificial Intelligence: a Case Study of Implementations of a Parallel Algorithm Computing All Homomorphisms of Finite State Machines”, Intelligent Information Systems 2000, Springer Verlag, Physica Series, Advances in Soft Computing, ISBN 3-7908-1309-5; pp. 159-174.
12. H. Hsueh, B. Mikolajczak, Intelligent Computing Systems with Actors – Parallel Dynamic Programming Algorithm of the Polygon Triangulation Problem, Intelligent Information Systems 2001, Springer Verlag, Physica Series, Advances in Soft Computing, ISBN 3-7908-1407-5; pp. 239-256.
13. B. Mikolajczak, A. Ottlik, Specification of Distributed Software Systems with Actors Using Object-Oriented Petri Nets, Intelligent Information Systems 2002, Advances in Soft Computing, Springer Verlag, Physica Series, 2002, accepted for publication.
14. B. Mikolajczak, Models of Computation with Applications in Computer Science and Computer Engineering, ~500 pages, lecture notes (draft).
REFEREED JOURNAL PAPERS
1. B. Mikolajczak, On the reducibility of periodic automata, Foundations of Control Engineering, 1,1, 1975, pp.15-36.
2. B. Mikolajczak, Sequential digital transducer (in Polish), Measurement, Automation, Control, 3, 1975, pp.110-114.
3. B. Mikolajczak, On the automorphisms group of strongly related and structural properties of finite automata extensions, Foundations of Control Engineering, 1,2, 1976, pp.83-95, co-author: Z. Miadowicz.
4. B. Mikolajczak, On the connectedness of periodic sum of automata, Foundations of Control Engineering, 1,2,1976, pp.97-102.
5. B. Mikolajczak, On linear and extended linear realization of generalized finite automata extensions, Foundations of Control Engineering, 2, 2, 1977, pp.93-105.
6. B. Mikolajczak, On the structure of cyclic automata and their generalized periodic sums, Foundations of Control Engineering, 3, 2, 1978, pp.72-80.
7. B. Mikolajczak, On generalized functions preserving operations of finite automata, Foundations of Control Engineering, 4,6, 1981, pp.211-247.
8. B. Mikolajczak, Realization versus simulation in finite automata, Systems Science, 1-2,9,1983, pp.87-101.
9. B. Mikolajczak, Complexity of Algorithms, Classification of Problems (in Polish), Informatyka, 10, 1985, pp.4-7, co-author: J. Stoklosa.
10. B. Mikolajczak Complexity of algorithms, hard and feasible problems (in Polish), Informatyka, 11,1985, pp.10-12, co-author: J. Stoklosa.
11. B. Mikolajczak and J. Rumbut, Dynamic Programming with Distributed Systems with Actors and their Visualization using Colored Petri Nets, Journal of Computers and Mathematics Applications, 37 (1999), 23-34.
12. B. Aquassar, I. Kattan, K. Kattan, B. Mikolajczak, Minimizing Cycle Time and Group Scheduling Using Petri Nets, A Study of Heuristic Methods, Journal of Intelligent Manufacturing, Vol. 14, No 1, January 2003 (scheduled to be published).
REFEREED CONFERENCE PAPERS
1. B. Mikolajczak, Optimal state assignment of some classes of synchronous sequential machines, Proc. of the 5th National Control Engineering Conference, Gdansk, Poland, 1971, co-author: T. Puchalka.
2. B. Mikolajczak, Algebraic theory of generalized extensions of finite automata, Tanulmanyok, MTA Szamitastechnikai es Automatizalasi Kutato Intezet, Budapest, 1977.
3. B. Mikolajczak, On the isomorphisms of generalized extensions of finite automata, Proc. of the International Symposium Algebraische Methoden in der Authomatentheorie, Altenberg/Dresden, Germany, 1978.
4. B. Mikolajczak, On the problem of simulation of the set of automata, Proc. of the International Conference Aktuelle Probleme der Rechentechnik, Dresden, Germany, 1979.
5. B. Mikolajczak, An algorithm for generating generalized homomorphisms of finite automata, Proc. of the International Conference Systems-Modeling-Control, Zakopane, Poland, 1979.
6. B. Mikolajczak, On some problem associated with a memory minimization in finite automata, Proc. of the 3rd National Hungarian Computer Science Conference, Budapest, 1981, Akademia Press, Kiado.
7. B. Mikolajczak, Time computational complexity of decision and search problems in finite automata, Proc. of the 6th Symposium uber Operations Research, Augsburg, Germany, 1981, in Methods of Operations Research, vol.43, pp.405-417.
8. B. Mikolajczak, Hardware and software simulation of the strategic game "black box", Proc. of the 10th Jahrestagung Grundlagen der Modelierung und Simulation, Rostock, Germany, 1981.
9. B. Mikolajczak, Realization versus simulation in finite automata, Proc. of the 10th IMACS World Congress on Systems Simulation and Scientific Computation, Montreal, Canada, 1982.
10. B. Mikolajczak, Simulation of some strategic game, Proc. of the AMSE Summer Conference, Paris, France, 1982. B. Mikolajczak, Software modeling of logic circuits with respect to test generation, International AMSE Winter Bermuda Conference, AMSE Press, Lyon, France, 1982.
11. B. Mikolajczak, On some new NP-complete problems in the theory of finite automata, Rostocker Mathematischen Kolloquium RAMAKO, 19, 1982, pp.73-83.
12. B. Mikolajczak, Mathematical modeling of discrete processes by Petri nets and automata: hardware and software implementations, Proc. of the AMSE Spring School, Tripoli, Libya, 1983, AMSE Press, Lyon, France.
13. B. Mikolajczak, Microprocessor simulation of a collection of discrete systems, Proc.of the International Conference Systems Simulation, Prague, Czechoslovakia, 1983.
14. B. Mikolajczak, On the computational complexity of some problems in Petri nets, Proc. of the International 7th Symposium uber Operations Research, St.Gallen, Switzerland, 1982, in Methods of Operations Research, vol.45, pp.481-492.
15. B. Mikolajczak, Test generation by a graph modeling of digital circuits, Proceedings of the International AMSE Summer Conference Modeling and Simulation'83, Nice, France, AMSE Press, Modelling, Simulation, Control, vol.2, pp.73-84.
16. B. Mikolajczak, Methods of users software generation for microprocessor systems, (in Polish), Proceedings of the Conference Microprocessors-Present State and Perspectives, Kolobrzeg, Poland, 1983.
17. B. Mikolajczak, A comparison of structural properties of automata with respect to different morphisms, Proc. of the Colloquium on Algebra, Combinatorics and Logic in Computer Science, Gyor, Hungary, 1983, in Colloquia Mathematica Societatis Janos Bolyai, vol.42, pp.201-211, co-author: K. Chmiel.
18. B. Mikolajczak Microprocessor realization of a technological terminal, Proc. of the 29th International Scientific Colloquium, Technical University, Ilmenau, Germany, 1984
19. B. Mikolajczak, Synthesis of digital circuit from samples of its behavior, Proceedings of the International Summer AMSE Conference, Athens, 1984, AMSE Press, vol.2, 2, pp.1-10.
20. B. Mikolajczak, Controller of the hard disk memory MERA 9425-50 for minicomputer system MERA 60 (in Polish), Proc. of the Regional 9th Electrical Engineering Conference, 1984, Poznan, Poland, co-authors: L. Beyga, K. Chmiel, T. Gajewski, Z. Miadowicz, P. Siwak.
21. B. Mikolajczak, Complexity aspects of assigning characteristic semigroup of finite automata, Proc. of the Colloquium on the Theory of Algorithms, Pecs, Hungary, 1984, in Coloquia Mathematica Societatis Janos Bolyai, vol.44, pp.37-45, co-author: S. Bocian.
22. B. Mikolajczak, Microprocessor station of data management (in Polish), Proc. of the National Conference Microcomputers in Control Engineering and System Science, Wroclaw, Poland, 1984, co-authors: L. Beyga, T. Gajewski, M. Judka, J. Stoklosa.
23. B. Mikolajczak, Microprocessor controller for specialized volume measurement, Proc. of the National Conference Microcomputers in Control Engineering and System Science, Wroclaw, Poland, 1984, co-author: T. Dudarski.
24. B. Mikolajczak, Nondeterminism versus concurrency in digital systems, Proc. of the 11th IMACS World Congress on Systems Simulation and Scientific Computations, Oslo, Norway, 1985, vol.3, pp. 131-136.
25. B. Mikolajczak, Complexity of the characteristic semigroup of finite automata, Proc. of the International Conference Theory of Semigroups, Greifswald, Germany, 1984, co-author: S. Bocian.
26. B. Mikolajczak Computer systems present state and perspectives (in Polish), Proc. of the 5th Regional Conference Computer Systems and Computer Networks, Poznan, Poland, 1985.
27. B. Mikolajczak Petri net approach to functional testing of microprocessor, Proc. of the 2nd International School Microcomputer'86, Design-Practice-Education, Technical University of Wroclaw Press, co-author: E. Idzikowska.
28. B. Mikolajczak, Software package for decomposition of flowcharts with special emphasis put onto the micorprogrammed realization of digital systems, Proc. of the 2nd European Simulation Congress, Antwerp, Belgium, The Society for Computer Simulation, 1986.
29. B. Mikolajczak, Computing Homomorphisms of Labeled Directed Graphs in Paralllel Using Hypercube Multiprocessors, Proc. of the 13th World Congress on Computation and Applied Mathematics, Trinity College, Dublin, July 22-26, 1991.
30. R.
Laulache and B. Mikolajczak, Parallelization
Techniques for One-Dimensional Stratified Two-Phase Fluid Flow Simulation, 1994
International Mechanical Engineering Congress and Exposition, Symposium on
Parallel Computing in Multiphase Flow Systems Simulations, FED-vol.199,
pp.69-82, ed. by S.Kim, G.Karniadakis, M.K.Vernon, Chicago, Illinois, Nov.
6-11, 1994.
31. B.
Mikolajczak and J. Rumbut, Distributed
Dynamic Programming Using Concurrent Object-Orientedness with Actors Visualized
by High-Level Petri Nets, pp.216-225, Proc. of the International
Workshop on Intelligent Systems and Innovative Computations-The 6th Bellman
Continuum, Tokio, Japan, Aug. 1-2, 1994.
32. B. Mikolajczak, Importance of the Isoefficiency Analysis in Teaching of Parallel Computing, Forum on Parallel Computing Curricula, Wellesley College, March 31-April 1, 1995; http://cs.wellesley.edu/pp-forum.html.
33. B. Mikolajczak and J. Rumbut, Modeling and Design of Object-Oriented Software Using Colored Petri Nets, Proc. of the IASTED International Conference on Modeling and Simulation MS'95, Pittsburgh, Apr. 27-29, 1995.
34. B. Mikolajczak and J. Rumbut, Concurrent Object-Orientedness with Actors Visualized by High-level Petri Nets, International Conference on Applications and Theory of Petri Nets; Proc. of the Workshop on Distributed Systems with Actors and Models of Concurrency, Turin, Italy, June 21-26, 1995.
35. B. Mikolajczak, Applications of Colored Petri Nets in Analysis and Synthesis of Distributed Computer Systems, Vancouver, Canada, Oct. 22-26, 1995, IEEE Conference on Man, Machine, Systems; Proc. of the IEEE Systems, Man, and Cybernetics Society, vol.4, pp. 3457-3462.
36. B. Mikolajczak and J. Rumbut, Analysis and Visualization of Recurrent Distributed Software using Petri Nets, Proc. of the IASTED International Conference on Modeling, Simulation and Optimization, May 4-6, 1996, Gold Coast, Australia.
37. B. Mikolajczak, Design of Parallel and Distributed Systems Using High-Level Petri Nets - A Graduate Computer Science Course, Proc. of the First IEEE Workshop on Real-Time Systems Education, Embry Riddle Aeronautical University, Daytona Beach, Florida, Apr. 20, 1996.
38. B. Mikolajczak and J. Rumbut, Conceptual Modeling of Information Systems Using Colored Petri Nets, Proc. of the International Conference on Information Systems Analysis and Synthesis, Orlando, Florida, July 22-26, 1996.
39. B. Mikolajczak and J. Rumbut, Design of Parallel and Distributed Systems with High-Level Petri Nets Using CASE Technology, Proc. of the International IEEE Conference on Systems Man and Computers, SMC'96, Beijing, China, Oct. 14-17, 1996.
40. B. Mikolajczak and J. Rumbut, Visualization of Recurrent Distributed Artificial Intelligence Problems Using Colored Petri Nets, Proc. of the Six International Symposium on Intelligent Information Systems, IIS'97, Zakopane, Poland, June 9-13, 1997, Institute of Computer Science, Polish Academy of Sciences.
41. B. Mikolajczak, J.Rumbut, A.Cabeza, Rapid Prototyping of Parallel and Distributed Programs by means of High-level Petri Nets, Proc. of the IEEE International Conference on Systems, Man, and Cybernetics, SMC'97, Orlando, Florida, October 1997.
42. B. Mikolajczak, A Course on Performance Evaluation of Complex Distributed Systems, Proc. of the Second IEEE Workshop on Real-Time Systems Education, IEEE Computer Society Press, Montreal, Canada, June 9, 1997.
43. B. Mikolajczak, Rapid Prototyping of Distributed Computing Systems Using High-Level Petri Nets with Objects, Proc. of the High-Performance Computing Conference HPC'98, Boston, Massachusetts, April 5-9, 1998.
44. B. Mikolajczak, Applications of High-Level Petri Nets to Development of Parallel and Distributed Systems, Invited Tutorial, Proc. of the IASTED International Conference on Modeling and Simulation SM'98, Pittsburgh, PA, May 13-16, 1998.
45. B. Mikolajczak, A Model-Based Software Engineering of Parallel and Distributed Systems, Proc. of the IASTED International Conference on Modeling and Simulation SM'98, Pittsburgh, PA, May 13-16, 1998.
46. B. Mikolajczak, High-Level Petri Nets in Development of Intelligent Parallel and Distributed Information Systems, Proc. of the International Conference IIS'98, Institute of Computer Science, Polish Academy of Sciences Malbork, Poland, June 15-19, 1998.
47. D. Mukhin, B. Mikolajczak, A Method of Concurrent Object-Oriented Design Using High-Level Petri Nets, Proc. of the IEEE International Conference on Systems, Man, and Cybernetics SMC'98, San Diego, October 11-14, 1998.
48. B. Mikolajczak, Model-based Software Development of Parallel and Distributed Software Systems, Proc. of the IEEE International Conference on Systems, Man, and Cybernetics SMC'98, San Diego, Oct. 11-14, 1998.
49. B. Mikolajczak, Software Development of Parallel and Distributed Systems based on High-level Petri Nets, Invited Tutorial, Proc. of the International Conference Intelligent Information Systems, IIS'99, Institute of Computer Science, Polish Academy of Sciences, Ustronie, Poland, June 14-19, 1999.
50. B. Mikolajczak, Applications of High-level Petri Nets in Systematic Development of Complex Information Systems, Proc. of the IEEE International Conference on Systems, Man, Cybernetics, SMC'99, Tokyo, Japan, Oct.12-15, 1999
51. A. Cabeza and B. Mikolajczak, Rapid Prototyping Methodologies and Object-OrientedPetri Nets - a Conceptual Review, Proc. of the IEEE International Conference on Systems, Man, Cybernetics, SMC'99, Tokyo, Japan, Oct.12-15, 1999.
52. B. Mikolajczak, Specification of Distributed Systems with Actors using Object-Oriented Petri Nets, Proc. of the IEEE International Conference Systems, Man, Cybernetics, SMC’00, Nashville, Tennessee, October 11-13, 2000; IEEE Press, ISBN 0-7803-6586-0; pp. 3134-3140.
53.
B. Aquassar, I. Kattan, K. Kattan, B. Mikolajczak, Application
of Petri Nets to Group Scheduling in Flexible Manufacturing Systems,
Proc. of the IFAC Workshop on Intelligent Manufacturing Systems, April
22-24, 2001, Poznan, Poland, pp. 100-105.
54.
B. Mikolajczak, Integrating
Object-Oriented Design with Concurrency Using Petri Nets – A Case Study in
Syroco-Macao Environment, Proc. of the IEEE International Conference
Systems, Man, Cybernetics, SMC’01, Tuscon, Arizona, October 11-13, 2001; IEEE
Press.
55. B. Aquassar, I. Kattan, K. Kattan, B. Mikolajczak, Minimizing Cycle Time of Job Scheduling Using Petri Nets - A Study of Heuristic Methods, Proc. of the IFAC Workshop on Intelligent Manufacturing Systems, Apr. 22-24, 2001; Poznan, Poland, pp.7-12.
56. B. Mikolajczak, Petri Net Approach to Inter-organizational Workflow: A case study of PWB Manufacturing with Renew and Woflan, International Conference Systems, Man, Cybernetics, SMC 2002, Tunisia, October 6-9, 2002, accepted for presentation.
57. B. Mikolajczak, Performance Study of Parallel and Distributed Algorithms of Matrix LU Decomposition, 10th International Congress on Computational and Applied Mathematics, University of Leuven, Belgium, July 22-26, 2002; accepted for presentation.
TECHNICAL REPORTS
1. B. Mikolajczak, On the cascade realization of ternary switching algebra, Report No 111, Computer Science Center, Polish Academy of Sciences, Warsaw, 1973.
2. 2. B. Mikolajczak, On linear and extended linear realization of generalized finite automata extensions, Computer Science Department, Cornell University, Tech. Report, 1977.
3. B. Mikolajczak, On the characteristic semigroup of strongly connected automata, Computer Science Department, Cornell University Tech. Report, 1977.
4. B. Mikolajczak, Computational complexity of algorithms (in Polish), Report No 502, Computer Science Center, Polish Academy of Sciences, Warsaw, 1983, 95 pages.
5. B. Mikolajczak, Modeling and Analysis of Workflow Processes in Internet-enabled Environments, Naval Undersea Warfare Center, Newport, RI, December 2001, 55 pages.
PATENTS
1. Semiconductor coder-decoder, P182495 (Poland), June 16, 1978, co-author: A. Wozniak.
2. Electronic circuit for assigning standard deviation of a stochastic variable, P195184 (Poland), March, 1979, co-authors: B. Poszwa, Z. Sobkowski.
3. Electronic signaling apparatus against burglary, P226842 (Poland), September 18, 1980, co-author: J. Hemmerling.
4. Electronic circuit for logical game "black box", P236223 (Poland), April 28, 1982, co-author: Z. Borgula.
5. Electronic circuit of mechanic-digital lock, P225134 (Poland), June 20, 1983, co-author: J. Hemmerling.
6. Electronic circuit for a lock with delay, P225135 (Poland), June 20, 1983, co-author: J. Hemmerling.