Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Víctor García,
Santiago Escobar,
Kazuhiro Ogata,
Sedat Akleylek,
Ayoub Otmani
Quantum-effective exact multiple patterns matching algorithms for biological sequences
Kapil Kumar Soni,
Akhtar Rasool
991 views · 106 downloads
Graph coloring using the reduced quantum genetic algorithm
Sebastian Mihai Ardelean,
Mihai Udrescu
1,819 views · 376 downloads