Marek Perkowski - All recent publications, 2002 - 2005. In reverse order SUBMITTED Guowu Yang, Xiaoyu Song, William Hung and Marek Perkowski, “Bi-directional synthesis for reversible circuits,” IEEE Transactions on VLSI Systems, 2005 Guowu Yang, Xiaoyu Song, and Marek Perkowski, “On the synthesis of reversible logic circuits,” IEEE Transactions on CAD, 2005. Guowu Yang, William Hung, Xiaoyu Song, and Marek Perkowski, “Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group theory,” International Journal of Electronics, 2004. Guowu Yang, William Hung, Xiaoyu Song, and Marek Perkowski, “Depth Limited Realization of Reversible Logic,” Microelectronics, March 2004. Guowu Yang, Xiaoyu Song, and Marek Perkowski, “Minimal Universal Library,” Discrete Applied Mathematics, 2004. Guowu Yang, Xiaoyu Song, and Marek Perkowski, “Fast Synthesis of exact minimal reversible circuits using group theory,” Theoretical Computer Science, 2005. Guowu Yang, Xiaoyu Song, and Marek Perkowski, “On realization of 3-qubit reversible circuits,” Journal of Circuits, Systems, and Computers (JCSC), World Scientific Publishers, 2005. Lun Li, Mitch Thornton, and Marek Perkowski, “A Quantum CAD Accelerator Based on Grover’s Algorithm for Finding the Minimum Fixed Polarity Reed-Muller Form,” Submitted to ISMVL 2006. Dong Hwa Kim, Christopher Brawn, Maciej Sajkowski, Tomasz Stenzel, Tsutomu Sasao, Jeff Allen, Martin Lukac, and Marek Perkowski, “Artificial Immune – Fuzzy System to control walking robot Hexor,” submitted to ISMVL 2006. Dong Hwa Kim, Jin Ill Park, Marek Perkowski, “Intelligent Tuning of a PID Controller Using a Hybrid GA-PSO Approach”, submitted to Conference on Intelligent Control, 2006. Jacob Biamonte and Marek Perkowski, “A Quantum Test Algorithm,” Submitted to IEEE Transactions on Computers and quant-ph/0501108. Jacob Biamonte, Jeff Allen and Marek Perkowski, “Fault Models for Quantum Mechanical Switching Networks,” submitted to Journal on Electronic Testing, 22 pages, (2005), quant-ph/0508147. 2005 Soonchil Lee, S.J. Lee, Taewan Kim, Jae-Seung Lee, Jacob Biamonte and Marek Perkowski, "The Cost of Quantum Gate Primitives," in press. Journal of Multi-valued Logic and Soft Computing, 12 pp., (2005). Jacob Biamonte and Marek Perkowski, “Automated Test Pattern Generation for Quantum Circuits,” McNair Research Journal, Vol. 1, Issue 1, 10 pages, 2005. Jacob Biamonte and Marek Perkowski, "Tricks to validate quantum switching networks," poster and presentation, Proc. of, KIAS-KAIST 6th Workshop on Quantum Information Science, Seoul Korea, pp. 9, August 22nd - 24th, (2005). Anas Nasser Al-Rabadi and Marek Perkowski, “New Families of Reversible Expansions and their Regular Lattice Circuits,” Journal of Multiple-Valued Logic and Soft Computing (MVLSC), U.S.A., Volume 11, Number 3-4, 2005. Jacob Biamonte, Minki Jeong, Jae-Seung Lee, Marek Perkowski, “Extending Classical Test to Quantum,” Proceedings of SPIE “Fluctuations and Noise in Photonics and Quantum Optics, Editors: P.R. Hemmer, J.R. Gea-Banacloche, P. Heszler, Sr., M. S. Zubairy, Vol. 5842, pp. 194-205, May (2005), doi: 10.1117/12.623715. III, Editors: P.R. Hemmer, J.R. Gea-Banacloche, P. Heszler, Sr., M. S. Zubairy, Vol. 5842, pp. 194-205, May (2005), doi: 10.1117/12.623715. Guowu Yang, Xiaoyu Song, Marek Perkowski, and J. Wu, ”Realizing ternary quantum switching networks without ancilla bits,” Journal of Physics A. Mathematical and General, 2005. W. Hung, X. Song, G. Yang, Marek Perkowski, ”Optimal Synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis,” IEEE Transactions on Computer-Aided Design, 2005 Guowu Yang, William Hung, Xiaoyu Song, and Marek Perkowski, "Majority-Based Reversible Logic Gates", Theoretical Computer Science C. 334(1-3), pp. 259-274,April 15, 2005. ISSN 0304-3975. Xiaoyu Song, Guowu Yang, and Marek Perkowski, ``Algebraic Characteristics of Reversible Gates,'' Accepted to Theory of Computing Systems (Mathematical Systems Theory, Springer Verlag. First published on Online Test, ISSN 1432-4350. 2005. Guowu Yang, Xiaoyu Song, Marek Perkowski, Fast Synthesis of Exact Minimal Reversible Circuits using Group Theory, ACM/IEEE ASP-DAC (Asia and South Pacific Design Automation Conference) , Shanghai, People's Republic of China, January 2005. Guowu Yang, Zhiwei Tang, Xiaoyu Song, William N.N. Hung, and Marek Perkowski, “Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic,” Proc. ACM/IEEE DATE 2005 (Design Automation and Test in Europe), Munich, Germany, 2005. Guowu Yang, Xiaoyu Song, Marek Perkowski, “Bi-direction synthesis for reversible circuits,” Proc. IEEE Computer Society Annual Symposium on VLSI, 2005. Guowu Yang, Xiaoyu Song, Marek Perkowski, and William N.N. Hung, “Minimal Universal Library for n*n Reversible Circuits,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Guowu Yang, Xiaoyu Song, William N.N. Hung and Marek Perkowski, “On Realization of 3-qubit Reversible Circuits with the Minimum Number of Non-Linear Gates,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N.N. Hung , and Jacob Biamonte, “The Power of Large Pulse-Optimized Quantum Libraries: Every 3-qubit Reversible Function can be Realized with at Most Four Levels,” Proc. International Workshop on Logic and Synthesis, June 2005. Marek Perkowski, “Multiple-Valued Quantum Circuits and Research Challenges for Logic Design and Computational Intelligence Communities,” Invited Paper, IEEE ConneCtIonS, IEEE Computer Intelligence Society, November 2005, pages 6-12. Mozammel H. A. Khan, Marek A. Perkowski, Mujibur Khan, and Pawel Kerntopf, "Ternary GFSOP Minimization using Kronecker Decision Diagrams and Their Synthesis with Quantum Cascades," MVL Journal Special Issue. ISSN 1542-3980. Erik Curtis, and Marek Perkowski, Minimization of Ternary Reversible Logic Cascades using a Universal Subset of Generalized Ternary Gates, accepted to International Journal on Multiple-Valued Logic and Soft Computing, Svetlana Yanushkevich, editor. ISSN 1542-3980. ISI. Pawel Kerntopf, Marek Perkowski, Mozammel Huq Azad Khan. Universality of ternary reversible gates. Accepted to special issue of International Journal on Multiple-Valued Logic and Soft Computing, Svetlana Yanushkevich, editor . ISSN 1542-3980. Mozammel Huq Azad Khan and Marek Perkowski, Evolutionary Algorithm Based Synthesis of Multi-Output Ternary Functions Using Quantum Cascade of Generalized Ternary Gates, accepted to special issue of International Journal on Multiple-Valued Logic and Soft Computing, Tatjana Kalganova, editor. ISSN 1542-3980. Mozammel H.A. Khan and Marek Perkowski, “Quantum Realization of Ternary Parallel Adder/Subtractor with Look-Ahead Carry,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Mozammel H.A. Khan, and Marek Perkowski, “Quantum Realization of Ternary Encoder and Decoder,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Dean Pierce, Jacob Biamonte and Marek Perkowski, “Test Set Generation and Fault Localization Software for Reversible Circuits,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Jacob Biamonte, Jeff Allen, Dean Pierce, Faisal Khan and Marek Perkowski, ”Automated Test Set Generation for Quantum Circuits,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Jeff Allen, Jacob Biamonte and Marek Perkowski, “ATPG for Reversible Circuits using Technology-Related Fault Models,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Vijaya S. Shivgand, Akashdeep Aulakh, and Marek Perkowski, “Quantum Circuit Layout,” Proc. International Symposium on Representations and Methodologies for Emergent Computing Technologies, Tokyo, Japan, September 2005. Tze-Wen Wang, Maciej Sajkowski, Tomasz Stenzel, and Marek Perkowski, “An Inexpensive Educational Platform to Teach Humanoid Robotics,” Proc. ICEE conference, Gliwice, Poland, June 2005. Martin Lukac and Marek Perkowski, “Using exhaustive search for the discovery of new families of optimum universal permutative binary quantum gates,” Proc. International Workshop on Logic and Synthesis, June 2005. Bruce Yen, Phil Tomson, and Marek Perkowski, “Sum of Non-disjoint Cubes Covering Generation for Multi-Valued Systems of base 2, for use in Muthukrishnan-Stroud Quantum Realizable Gates: An Extension of the EXOR Covering Problem,” Proc. International Workshop on Logic and Synthesis, June 2005. Martin Lukac, Marek Perkowski, “Combining Evolutionary and Exhaustive Search to Find the Least Expensive Quantum Circuits”, Proceedings of the 14th International Workshop on Post-Binary ULSI Systems, May 18, 2005, Calgary, Canada Christopher Stedman, Bruce Yen and Marek Perkowski, “Synthesis of Reversible Circuits with Small Ancilla Bits for Large Irreversible Incompletely Specified Multi-Output Boolean Functions” Proceedings of the 14th International Workshop on Post-Binary ULSI Systems, May 18, 2005, Calgary, Canada Marek Perkowski, Tsutomu Sasao, Jong-Hwan Kim, Martin Lukac, Jeff Allen, and Stefan Gebauer, “Hahoe KAIST Robot Theatre: Learning Rules of Interactive Robot Behavior as a Multi-Valued Logic Synthesis Problem,” Proceedings of the 35th International Symposium on Multiple-Valued Logic, May 19 - May 21, 2005 at Calgary, Canada. Marek Perkowski, Jacob Biamonte and Martin Lukac, “Test Generation and Fault Localization for Quantum Circuits,” Proceedings of the 35th International Symposium on Multiple-Valued Logic, May 19-May 21, 2005 at Calgary, Canada. Year 2004 Martin Lukac, Marek Perkowski, Hilton Goi, Mikhail Pivtoraiko, Chung Hyo Yu, Kyusik Chung, Hyunkoo Jee, Byung-Guk Kim and Yong-Duk Kim, ``Evolutionary Approach to Quantum and Reversible Circuits Synthesis,'' pp. 201 - 257, in "Artificial Intelligence in Logic Design," Edited by Svetlana N. Yanushkevich, Kluwer Academic Publisher, 2004. ISBN 1-4020-2052-X. Stanislaw Grygiel, Martin Zwick and Marek Perkowski, Multi-level decomposition of probabilistic relations, Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Number 5/6, 2004, pp. 948 – 961. ISSN 0368-492X. Anas N. Al-Rabadi, Marek Perkowski and Martin Zwick, A comparison of modified reconstructability analysis and Ashenhurst-Curtis decomposition of Boolean functions, Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Number 5/6, 2004, pp. 933-947. ISSN 0368-492X. Anas N. Al-Rabadi, Lee Casperson and Marek Perkowski, Multiple-valued quantum logic, Quantum Computers and Computing, Vol. 3, Number 1. Marek Perkowski, “From Quantum Gates to Quantum Learning: recent research and open problems in quantum circuits,” invited paper, 6th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Germany, September 23-24, 2004. Mozammel Huq Azad Khan, Marek Perkowski, and Mujibur R. Khan, ``Ternary Galois Field Expansions for Reversible Logic and Kronecker Decision Diagrams for Ternary GFSOP Minimization,'' Proceedings of ISMVL 2004. May 2004, Toronto, Canada. Pawel Kerntopf, Marek Perkowski, Mozammel Huq Azad Khan, “On Universality of General Reversible Multiple-Valued Logic Gates,” Proceedings of ISMVL 2004, May 2004, Toronto, Canada. Bruce Yen, Nicholas Denler, and Marek Perkowski, “Synthesis of Ternary Logic Using Generalized Ternary Gate Cascades in a Filtering Model Approach,” Proc. ULSI 2004. Kanagalakshmi Nagarajan, Sowmya Aligala, Sreecharani Ratakonda, Kiran Narayan and Marek Perkowski, “Test Generation for Quantum Circuits,” Proc. ULSI 2004. Erik Curtis, and Marek Perkowski, “A Transformation Based Algorithm for Ternary Reversible Logic Synthesis using Universally Controlled Ternary Gates,” Proc. IWLS 2004. Kavitha Ramasamy, Radhika Tagare, Ed Perkins, and Marek Perkowski, “Fault Localization in Reversible Circuits is Easier than for Classical Circuits,” Proc. IWLS 2004. Nicholas Denler, Bruce Yen, Marek Perkowski, and Pawel Kerntopf, "Minimization of Arbitrary Functions in a New Type of Reversible Cascade built from Quantum-Realizable “Generalized Multi-Valued Gates”” Proc. IWLS 2004. William Hung, Xiaoyu Song, Marek Perkowski, “Reachability Analysis for reversible minimization,” Proceedings of DAC 2004, June 2004, San Diego, California. Mozammel Huq Azad Khan and Marek Perkowski, “Genetic Algorithm Based Synthesis of Multi-Output Ternary Functions Using Quantum Cascade of Generalized Ternary Gates,” Proceedings of Congress of Evolutionary Computation, June 2004, Portland, Oregon. J. Biamonte, M. Perkowski, “Testing a Quantum Computer, Korean Institute of Advanced Study, Korean Institute of Science and Technology,” Workshop on Quantum Information Science, Seoul, Korea, August 29th to August 31st, 2004 Martin Lukac, Bernd Steinbach, and Marek Perkowski, Quantum Logic, Quantum Computing and Perspectives, Proceedings of Fifth International Conference on Computer Aided Design of Discrete Devices - CAD DD 2004, 16 - 17 November, 2004, Minsk, Belarus, Volume 1, pp. 121 - 145. YEAR 2003 Paul Burkey and Marek Perkowski, ``Efficient Decomposition of Large Fuzzy Functions and Relations,'' Proceedings of International Conference on Fuzzy Information Processing. Theories and Applications, March 1 - 4, 2003, Beijing, China, Tsinghua University Press and Springer, pp. 145-154. Martin Lukac, Marek Perkowski, Hilton Goi, Mikhail Pivtoraiko, Chung Hyo Yu, Kyusik Chung, Hyunkoo Jee, Byung-guk Kim, Yong-Duk Kim, ``Evolutionary Approach to Quantum and Reversible Circuits Synthesis,” Artificial Intelligence Review Journal, Special Issue on Artificial Intelligence in Logic Design, S. Yanushkevich guest editor, 2003. ISSN 0269-2821. Mozammel Huq Azad Khan and Marek Perkowski, ``Multi-Output ESOP Synthesis with Cascades of New Reversible Gate Family,'' Proceedings of 6th International Symposium on Representations and Methodology of Future Computing Technology, RM 2003, Trier, Germany, March 10-11, 2003, pp. 144-153. Mozammel Huq Azad Khan and Marek Perkowski, ``Reversible Logic Synthesis with Cascades of New Gate Families,'' Proceedings of 6th International Symposium on Representations and Methodology of Future Computing Technology, RM 2003, Trier, Germany, March 10-11, 2003, pp. 43-55. Guowu Yang, William Hung, Xiaoyu Song and Marek Perkowski, ``Majority-Based Reversible Logic Gate,'' Proceedings of 6th International Symposium on Representations and Methodology of Future Computing Technology, RM 2003, Trier, Germany, March 10-11, 2003, pp. 191-200. Marek Perkowski, Martin Lukac, Mikhail Pivtoraiko, Pawel Kerntopf, M. Folgheraiter, D. Lee, H. Kim, H. Kim, W. Hwangboo, J.-W. Kim, and Y.W. Choi, ``A Hierarchical Approach to Computer Aided Design of Quantum Circuits,'' Proceedings of 6th International Symposium on Representations and Methodology of Future Computing Technology, RM 2003, Trier, Germany, March 10-11, 2003, pp. 201-209. Marek Perkowski, ``Probabilistic Robotics,'' Booklet of International Robotics Forum, April 17, 2003, KAIST, Korea. Michele Folgheraiter, Giuseppina Gini, Marek Perkowski, and Mikhail Pivtoraiko, ``Blackfingers: a Sophisticated Hand Prosthesis,'' Proceedings of ICORR 2003 (the 8th International Conference on Rehabilitation Robotics), April 22-25, 2003, KAIST, Korea, pp. 238 -- 241. Marek Perkowski, Tsutomu Sasao, Atsumu Iseno, Uland Wong, Mikhail Pivtoraiko, Michele Folgheraiter, Martin Lukac, David Ng, Miranda Fix and Karl Kuchs, ``Use of Machine Learning based on Constructive Induction in Dialogs with Robotic Heads,'' Proceedings of ICORR 2003 (the 8th International Conference on Rehabilitation Robotics), April 22-25, 2003, KAIST, Korea. pp. 326 -- 329. Pawel Kerntopf, Marek Perkowski and Mozammel Huq Azad Khan, ``On Universality of Ternary Reversible Logic Gates,'' Booklet of 12th International Workshop on Post-Binary ULSI Systems, May 16, 2003, Meiji University, Japan, pp. 1-8. Andrzej Buller, and Marek Perkowski, ``Cellular Automata Realization of Regular Logic,'' Booklet of 12th International Workshop on Post-Binary ULSI Systems, May 16, 2003, Meiji University, Japan, pp. 53 -- 60. Mozammel Huq Azad Khan, Marek Perkowski and Pawel Kerntopf, ``Multi-Output Galois Field Sum of Products Synthesis with New Quantum Cascades,'' Proceedings of 33rd International Symposium on Multiple-Valued Logic, 16-19 May 2003, Meiji University, Tokyo, Japan, pp. 146-153. Pawel Kerntopf, and Marek Perkowski, ``Function-driven Linearly Independent Expansions of Boolean Functions and Their Application to Synthesis of Reversible Circuits,'' Proceedings of 13th International Workshop on Logic and Synthesis, Dana Point, Laguna Beach, Calfifornia, May 28 -- 30, 2003. Andrzej Buller, and Marek Perkowski, ``Evolved Reversible Cascades Realized on the CAM-Brain Machine (CBM),'' Proceedings of 2003 NASA/DoD Conference on Evolvable Hardware, July 9-11, 2003, Chicago, Illinois, USA. pp. 246 -- 251. Michele Folgheraiter, Giuseppina Gini, Marek Perkowski, and Mikhail Pivtoraiko, ``Adaptive Reflex Control for an Artificial Hand,'' Proceedings of 7th IFAC Symposium on Robot Control, SYROCO 2003, Holliday Inn, Wroclaw, Poland, 1-3 September, 2003. YEAR 2002 Malgorzata Chrzanowska-Jeske, Alan Mishchenko and Marek Perkowski, “Generalized Inclusive Forms – New Canonical Reed-Muller Forms Including Minimum ESOPs,” VLSI Design, An International Journal of Custom-Chip Design, Simulation, and Testing, Taylor and Francis, Vol. 14, No. 1, February 2002, pp. 13-21. ISSN 1065-514X. Marek Perkowski, Bogdan Falkowski, Malgorzata Chrzanowska-Jeske and Rolf Drechlser, ``Efficient Algorithms for Creation of Linearly-Independent Decision Diagrams and their Mapping to Regular Layouts'', VLSI Design, An International Journal of Custom-Chip Design, Simulation, and Testing, Taylor and Francis, Vol. 14. No. 1, February 2002, pp. 35-52. ISSN 1065-514X. Lech Jozwiak, Aleksander Slusarczyk and Marek Perkowski, ``Term Trees in Application to an Effective and Efficient ATPG for AND-EXOR and AND-OR Circuits,'' VLSI Design, An International Journal of Custom-Chip Design, Simulation, and Testing, Taylor and Francis, Vol. 14. No. 1, February 2002, pp. 107-122. ISSN 1065-514X. Marek Perkowski, Lech Jozwiak, David Foote, Qihong Chen, Anas Al-Rabadi, ``Learning in Hardware using Multiple-Valued Logic. Part 1. Introduction and Approach.'' IEEE Micro, IEEE Computer Society Press, May 2002, pp. 41-51. ISSN 0272-1732. SCI. Marek Perkowski, Lech Jozwiak, David Foote, Qihong Chen, Anas Al-Rabadi, ``Learning in Hardware using Multiple-Valued Logic. Part 2. Cube Calculus and Architecture.'' IEEE Micro, IEEE Computer Society Press, May 2002, pp. 52-61. ISSN 0272-1732. SCI. Anas Al-Rabadi, and Marek Perkowski, "An Extended Green/Sasao Hierarchy of Canonical Ternary Galois-Field Decision Diagrams and Forms", accepted to special issue of MVL Journal. ISSN 1542-3980. Stanislaw Grygiel, Martin Zwick and Marek Perkowski, ``Multi-level Decomposition of Probabilistic Relations,'' Book of Abstracts of the 12th International WOSC Congress and the 4th International Institute for General System Studies (IIGS) workshop, Pittsburgh, Pennsylvania, p.1, 24-26 March 2002. Anas Al-Rabadi, Martin Zwick and Marek Perkowski, ``A Comparison of Enhanced Reconstructability Analysis and Ashenhurst-Curtis Decomposition of Boolean Functions,'' Book of Abstracts of the 12th International WOSC Congress and the 4th International Institute for General System Studies (IIGS) workshop, Pittsburgh, Pennsylvania, p. 12, 24-26 March 2002. Anas Al-Rabadi, Lee Casperson, Marek Perkowski and Xiaoyu Song, ``Multiple-Valued Quantum Logic,' Booklet of the 11th Post-Binary Ultra Large Scale Integration (ULSI) Workshop, Boston, May 15, 2002. pp. 35-45. Andrei Khlopotine, Marek Perkowski and Pawel Kerntopf, ``Reversible Logic Synthesis by Iterative Compositions'', Proc. 11th IEEE/ACM International Workshop on Logic and Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, pp. 261-266. Alan Mishchenko, Marek Perkowski, ``Logic Synthesis of Reversible Wave Cascades'', Proc. 11th IEEE/ACM International Workshop on Logic and Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, pp. 173-178. Martin Lukac, Marek Perkowski, “Evolving Quantum Circuits Using Genetic Algorithm,” Proc. NASA/DOD Conference on Evolvable Hardware, Washington, D.C., 2002, pp. 177 -185. Goran Negovetic, Marek Perkowski, Martin Lukac and Andrzej Buller, “Evolving Quantum Circuits and an FPGA-based Quantum Computing Emulator,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 15-22. Anas Al-Rabadi, Lee W. Casperson, Marek Perkowski, and Xiaoyu Song, “Canonical Representations for Two-Valued Quantum Computing”, Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 23-32. Martin Lukac, Mikhail Pivtoraiko, Alan Mishchenko and Marek Perkowski, “Automated Synthesis of Generalized Reversible Cascades using Genetic Algorithms,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 33-45. Scott Guthridge and Marek Perkowski, “Rectangular Davio Lattice Structures,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 167-178. Scott Guthridge and Marek Perkowski, “Test Generation for Triangular Davio Lattice Structures,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 179-188. Marek Perkowski and Alan Mishchenko, “Logic Synthesis for Regular Layout using Satisfiability,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 225-232. Uland Wong and Marek Perkowski, “A New Approach to Robot’s Imitation of Behaviors by Decomposition of Mutiple-Valued Relations,” Proc. 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, Germany, September 19-20, 2002, pp. 265-279. Marek Perkowski, Anas Al-Rabadi and Pawel Kerntopf, “Multiple-Valued Quantum Logic Synthesis”, Proc. 2002 International Symposium on New Paradigm VLSI Computing, December 12-14, 2002, Tohoku University, Sendai, Japan, pp. 41-47. Martin Lukac and Marek Perkowski, “Evolving Quantum Circuits Using Genetic Algorithm,” Proceedings of NASA/DOD Workshop on Evolvable Hardware, Washington, D.C. July 2002. Andrei Khlopotine, Marek Perkowski and Pawel Kerntopf, “Reversible Logic Synthesis by Gate Decomposition,” Proc. 11th International Workshop on Logic and Synthesis, IEEE and ACM, New Orleans, June 2002. Alan Mishchenko and Marek Perkowski, “Logic Synthesis of Reversible Wave Cascades,” Proc. 11th International Workshop on Logic and Synthesis, IEEE and ACM, New Orleans, June 2002. Anas Al-Rabadi, Lee Casperson, Marek Perkowski, and Xiaoyu Song, “Multiple-Valued Quantum Logic,” Booklet of Ultra-Large Scale Integration Symposium, Boston, May 15, 2002.