377 | -- | 407 | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks |
409 | -- | 414 | Khaled M. Elbassioni, Matthias Hagen, Imran Rauf. A Lower Bound for the HBC Transversal Hypergraph Generation |
415 | -- | 421 | Marcin Krzywkowski. An Algorithm for Listing all Minimal Double Dominating Sets of a Tree |
423 | -- | 466 | Yongyuth Permpoontanalarp, Panupong Sornkhom. On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method |
467 | -- | 490 | Xiangyang Wang, Pan-Pan Niu, Hong-Ying Yang, Yan Zhang, Tian-Xiao Ma. A Robust Audio Watermarking Scheme using Higher-order Statistics in Empirical Mode Decomposition Domain |