951 | -- | 978 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi. An Efficient Algorithm for the Construction of the Equation Tree Automaton |
979 | -- | 993 | Andreas Darmann, Janosch Döcker, Britta Dorn. The Monotone Satisfiability Problem with Bounded Variable Appearances |
995 | -- | 1001 | Shuli Zhao, Weihua Yang, Shurong Zhang, Liqiong Xu. Component Edge Connectivity of Hypercubes |
1003 | -- | 1021 | Yu-Liang Liu, Jou-Ming Chang. Realizing Exchanged Crossed Cube Communication Patterns on Linear Array WDM Optical Networks |
1023 | -- | 1044 | HeeWon Chung, Myungsun Kim. Encoding of Rational Numbers and Their Homomorphic Computations for FHE-Based Applications |
1045 | -- | 1062 | Younes Guellouma, Hadda Cherroun. From Tree Automata to Rational Tree Expressions |
1063 | -- | 1088 | Caixue Zhou, Guangyong Gao, Zongmin Cui, Zhiqiang Zhao. Certificate-Based Generalized Ring Signcryption Scheme |