NPC Quantum Computing Group

Quatum Circuits Design and Optimization Group

• Design of Quantum Circuits for the Gated Quantum Computers

• XBOOLE Simulation of Quantum Circuits

Publications

• Lukac, M. and Krylov G., Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout, Reed-Muller Workshop, 2019
• Krylov, G. and Lukac, M., Quantum Encoded Quantum Evolutionary Algorithm for the Design of Quantum Circuits, ACM Computational Frontiers, 2019
• Lukac M., Shah D., Perkowski M., Kameyama M., Synthesis of Quantum Arrays from Kronecker Functional Lattice Diagrams, IEICE Transaction, Vol. E97-D, No.9, pp.-, Sep. 2014
• Lukac M., Shuai B., Kameyama M., Miller M., Reversible, Information-Preserving Logic and its Application, Journal of Multiple-Valued Logic and Soft Computing, Vol. 23, No. 3-4, pp. 379-406, 2014

Algorithms and Functions Study Group

• Bent functions Classification and Study

• Reversible Symmetric functions Study and Classification

• Reversible and Quantum Finite State Machines Analysis

• Quantum algorithms Templates

Publications

• Lukac, M. and El-Fakih, K., On Distinguishing Sequences of Several Classes of Reversible Finite State Machines, IEEE ISMVL 2021
• Lukac, M. and Nursultan, S. and Krylov, G. and Keszoecze, O., Refactoring Quantum and Reversible Circuits, International Workshop on Quantum Compilation, 2020
• Lukac, M. and Nursultan, S. and Krylov, G. and Keszoecze, O., Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout, Euromicro Digital System Design Conference 2020, Accepted
• Lukac M., Kameyama M., Perkowski M., Kerntopf P., Using Homing, Synchronizing and Distinguishing Input Sequences for the Analysis of Reversible Finite State Machines, Facta Universitatis Electronics and Energetics, 2019
• Lukac, M. and Moraga, C. and Kameyama, M. Properties of Bent Functions in the Truth Domain, Information Digital Technologies, 2019, (IEEE Excellent Paper on Reliability Award)
• Lukac M., Steinbach B., Analysis of Quantumm Circuits with Classical Boolean Logic, International Workshop on Boolean Problems, IWSBP 2018, Online