419 | -- | 444 | Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. Assume-Guarantee Reasoning with Local Specifications |
445 | -- | 452 | Szilárd Zsolt Fazekas, Robert Mercas. A Note on the Decidability of subword inequalities |
453 | -- | 472 | Friedrich Otto. On Centralized Parallel Communicating Grammar Systems with Context-Sensitive Components |
473 | -- | 486 | Sudipta Pathak, Sanguthevar Rajasekaran, Marius Nicolae. Ems1: an Elegant Algorithm for Edit Distance Based Motif Search |
487 | -- | 500 | Mark Burgin, Cristian S. Calude, Elena Calude. Inductive Complexity Measures for Mathematical Problems |
501 | -- | 518 | Katalin Anna Lázár. A Bridge between Self-Organizing Networks and Grammar Systems Theory |
519 | -- | 532 | Antonios Kalampakas, Olympia Louscou-Bozapalidou. Minimization of Planar Directed Acyclic Graph Algebras |
533 | -- | 0 | Han Cai, Xiangyong Zeng, Xiaohu Tang, Lei Hu. New Optimal frequency Hopping sequence Sets from Balanced Nested difference Packings of Partition-Type |