Journals in DBLP

Inf. Process. Lett.
1995, volume: 55, number: 1

1. Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee
   ECFSM-Based Probabilistic Protocol Verification. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:1-9 [Journal]
   
2. Ton Kloks, Dieter Kratsch
   Computing a Perfect Edge Without Vertex Elimination Ordering of a Chordal Bipartite Graph. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:11-16 [Journal]
   
3. Dawei Hong, Joseph Y.-T. Leung
   Probabilistic Analysis of k-Dimensional Packing Algorithms. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:17-24 [Journal]
   
4. Ferruccio Barsi, Maria Cristina Pinotti
   A Fully Parallel Algorithm for Residue to Binary Conversion. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:25-26 [Journal]
   
5. Meena Mahajan, N. V. Vinodchandran
   A Note on Mod and Generalised Mod Classes. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:27-31 [Journal]
   
6. Walter Vogler
   Fairness and Partial Order Semantics. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:33-39 [Journal]
   
7. Alak Kumar Datta, Ranjan K. Sen
   1-Approximation Algorithm for Bottleneck Disjoint Path Matching. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:41-44 [Journal]
   
8. Hung-Yu Lin, Lein Harn
   Fair Reconstruction of a Secret. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:45-47 [Journal]
   
9. Fouad B. Chedid
   On the Generalized Twisted Cube. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1995, v:55, n:1, pp:49-52 [Journal]
   
10. Paul Cull, Shawn M. Larson
    On Generalized Twisted Cubes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:1, pp:53-55 [Journal]
    
11. Gregory Butler
    Easy Verification of Behavioural Subtyping in Common Cases. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:1, pp:57-58 [Journal]