Journal: Inf. Sci.

Volume 139, Issue 3-4

165 -- 166Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull. Relational methods in computer science - Preface
167 -- 186Rudolf Berghammer, Thorsten Hoffmann. Relational depth-first-search with applications
187 -- 195Dexter Kozen, Jerzy Tiuryn. On the completeness of propositional Hoare logic
197 -- 220Wolfram Kahl. Parallel composition and decomposition of specifications
221 -- 231Michael Böttner. Multigrade extension of relational grammar
233 -- 252Michael Winter. A new algebraic approach to L-fuzzy relations convenient to study crispness
253 -- 273Jules Desharnais, Bernhard Möller. Characterizing determinacy in Kleene algebras
275 -- 286John L. Pfaltz, Robert E. Jamison. Closure systems and their structure

Volume 139, Issue 1-2

1 -- 2James R. Gattiker, Jason Tsong-Li Wang, Paul P. Wang. Bioinformatics - Introduction to the Special Issue
3 -- 17Terence Critchlow, Ron Musick, Tom Slezak. Experiences applying meta-data to bioinformatics
19 -- 57Michael Schroeder, David Gilbert, Jacques van Helden, Penny Noy. Approaches to visualisation in bioinformatics: from dendrograms to Space Explorer
59 -- 77Gregory D. Collins, Shu-Yun Le, Kaizhong Zhang. A new algorithm for computing similarity between RNA structures
79 -- 96Kari Torkkola, Robert Mike Gardner, Tamma Kaysser-Kranich, Calvin Ma. Self-organizing maps in mining gene expression data
97 -- 112Andrew K. C. Wong, David K. Y. Chiu, W. Huang. A discrete-valued clustering algorithm with applications to biomolecular data
113 -- 138Björn Olsson, Kim Laurio, L. Gudjonsson. A hybrid method for protein sequence modeling with improved accuracy
139 -- 163Michael M. Yin, Jason Tsong-Li Wang. Effective hidden Markov models for detecting splicing junction sites in DNA sequences