Journal: Fundamenta Informaticae

Volume 87, Issue 3-4

269 -- 285Michael Domaratzki. Characterizing DNA Bond Shapes Using Trajectories
287 -- 311Wan Fokkink, Jun Pang, Anton Wijs. Is Timed Branching Bisimilarity a Congruence Indeed?
313 -- 329Yu-Chen Hu, Piyu Tsai, Chun-Chi Lo. New Bit Reduction of Vector Quantization Using Block Prediction and Relative Addressing
331 -- 365Gabriel Juhás, Robert Lorenz, Sebastian Mauser. Complete Process Semantics of Petri Nets
367 -- 406Hermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz. sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
407 -- 415Tomás Masopust, Alexander Meduna. On Descriptional Complexity of Partially Parallel Grammars
417 -- 433Suman K. Mitra, Malay Kumar Kundu, C. A. Murthy, Bhargab B. Bhattacharya, Tinku Acharya. A New Probabilistic Approach for Fractal Based Image Compression
435 -- 446Piotr Oprocha. Algorithmic Approach to Devaney Chaos in Shift Spaces
447 -- 463Piyu Tsai, Yu-Chen Hu, Hsiu-Lien Yeh. Fast VQ Codebook Generation Method Using Codeword Stability Check and Finite State Concept
465 -- 481Kai Xiao, Sooi Hock Ho, Aboul Ella Hassanien. Automatic Unsupervised Segmentation Methods for MRI Based on Modified Fuzzy C-Means
483 -- 492Eun-Jun Yoon, Kee-Young Yoo. Robust User Password Change Scheme based on the Elliptic Curve Cryptosystem