Journal: Int. J. Found. Comput. Sci.

Volume 29, Issue 6

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