@article{Julia-Litovsky-Patrou/96,
AUTHOR = {Julia, S. and Litovsky, I. and Patrou, B.},
TITLE = {On codes, $\omega$-codes and $\omega$-generators},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {1-5},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Makki-Havas/96,
AUTHOR = {Makki, S.A.M. and Havas, George},
TITLE = {Distributed algorithms for depth-first search},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {7-12},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Garcia-Tejel/96,
AUTHOR = {Garc{\'{i}}a, Alfredo and Tejel, Javier},
TITLE = {Using total monotonicity for two optimization problems on the plane},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {13-17},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lee/96,
AUTHOR = {Lee, Dong-Tsan},
TITLE = {Semantic data modelling using linear logic},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {19-27},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Giakoumakis/96,
AUTHOR = {Giakoumakis, Vassilis},
TITLE = {$P_4$-laden graphs: A new class of brittle graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {29-36},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Otto-Bussche/96,
AUTHOR = {Otto, Martin and Bussche, Jan van den},
TITLE = {First-order queries on databases embedded in an infinite structure},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {37-41},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Al_Jabri/96,
AUTHOR = {Al Jabri, A.Kh.},
TITLE = {The unicity distance: An upper bound on the probability of an eavesdropper successfully estimating the secret key},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {43-47},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wegener/96,
AUTHOR = {Wegener, Ingo},
TITLE = {On the complexity of encoding in analog curcuits},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {1},
PAGES = {49-52},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Melancon/96,
AUTHOR = {Melan{\c{c}}on, Guy},
TITLE = {Viennot factorization of infinite words},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {53-57},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Veloso/96,
AUTHOR = {Veloso, Paulo A.S.},
TITLE = {On pushout consistency, modularity and interpolation for logical specifications},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {59-66},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sere/96,
AUTHOR = {Sere, K.},
TITLE = {Procedures and atomicity refinement},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {67-74},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Reingold-Westbrook/96,
AUTHOR = {Reingold, Nick and Westbrook, Jeffery},
TITLE = {Off-line algorithms for the list update problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {75-80},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Shiau-Yang/96,
AUTHOR = {Shiau, Shyue-Horng and Yang, Chang-Biau},
TITLE = {A fast maximum finding algorithm on broadcast communication},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {81-89},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gopalakrishnan-Stinson/96,
AUTHOR = {Gopalakrishnan, K. and Stinson, D.R.},
TITLE = {A simple analysis of the error probability of two-point based sampling},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {91-96},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Eades-Stirk-Whitesides/96,
AUTHOR = {Eades, Peter and Stirk, Charles and Whitesides, Sue},
TITLE = {The techniques of Komolgorov and Bardzin for three-dimensional orthogonal graph drawings},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {2},
PAGES = {97-103},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Banach/96,
AUTHOR = {Banach, R.},
TITLE = {Transitive term graph rewriting},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {109-114},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Erlingsson-Krishnamoorthy-Raman/96,
AUTHOR = {Erlingsson, {\'U}lfar and Krishnamoorthy, Mukkai and Raman, T.V.},
TITLE = {Efficient multiway radix search trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {115-120},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schwarzkopf-Vleugels/96,
AUTHOR = {Schwarzkopf, Otfried and Vleugels, Jules},
TITLE = {Range searching in low-density environments},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {121-127},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chou/96,
AUTHOR = {Chou, Ching-Tsun},
TITLE = {Simple proof techniques for property preservation via simulation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {129-134},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen-Lau/96,
AUTHOR = {Chen, Tsong Yueh and Lau, Man Fai},
TITLE = {Dividing strategies for the optimization of a test suite},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {135-141},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Prather/96,
AUTHOR = {Prather, Ronald E.},
TITLE = {The subprogram problem for software metric design},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {143-149},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hunt-Michael-Parthasarathy-Scott/96,
AUTHOR = {Hunt, Galen C. and Michael, Maged M. and Parthasarathy, Srinivasan and Scott, Michael L.},
TITLE = {An efficient algorithm for concurrent priority queue heaps},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {151-157},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liang-Rhee/96,
AUTHOR = {Liang, Y. Daniel and Rhee, Chongkye},
TITLE = {Finding biconnected components in $O(n)$ time for a class of graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {3},
PAGES = {159-163},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Christie/96,
AUTHOR = {Christie, David A.},
TITLE = {Sorting permutations by block-interchanges},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {165-169},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bax-Franklin/96,
AUTHOR = {Bax, Eric and Franklin, Joel},
TITLE = {A finite-difference sieve to count paths and cycles by length},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {171-176},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wagh-Mo/96,
AUTHOR = {Wagh, Meghanad D. and Mo, Jiancheng},
TITLE = {Hamilton cycles in trivalent Cayley graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {177-181},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lin/96,
AUTHOR = {Lin, Yen-Chun},
TITLE = {Perfectly overlapped merging and sorting on a two-way linear array},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {183-187},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Alidaee-Ahmadian/96,
AUTHOR = {Alidaee, Bahram and Ahmadian, Ahmad},
TITLE = {Scheduling on a single processor with variable speed},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {189-193},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kitsios-Tsakalidis/96,
AUTHOR = {Kitsios, Nectarios and Tsakalidis, Athanasios},
TITLE = {Space-optimal hidden line elimination for rectangles},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {195-200},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nitsche-Ochsenschlager/96,
AUTHOR = {Nitsche, Ulrich and Ochsenschl{\"a}ger, Peter},
TITLE = {Approximately satisfied properties of systems and simple language homomorphisms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {201-206},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Buhaceanu-Feijen/96,
AUTHOR = {Buh{\u{a}}ceanu, D.S. and Feijen, W.H.J.},
TITLE = {Formal derivation of an algorithm for distributed phase synchronization},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {207-213},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cusick-Stanica/96,
AUTHOR = {Cusick, Thomas W. and St{\u{a}}nic{\u{a}}, Pantelimon},
TITLE = {Bounds on the number of functions satisfying the Strict Avalanche Criterion},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {215-219},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kloks/96,
AUTHOR = {Kloks, T.},
TITLE = {$K_{1,3}$-free and $W_4$-free graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {4},
PAGES = {221-223},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chlebikova/96,
AUTHOR = {Chleb{\'{i}}kov{\'{a}}, Janka},
TITLE = {Approximating the maximally balanced connected partition problem in graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {225-230},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Skillicorn/96,
AUTHOR = {Skillicorn, D.B.},
TITLE = {A parallel tree difference algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {231-235},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sun/96,
AUTHOR = {Sun, Yong},
TITLE = {Term rewriting and Hoare logic --- Coded rewriting},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {237-242},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Venema-Shen-Suraweera/96,
AUTHOR = {Venema, Sven and Shen, Hong and Suraweera, Francis},
TITLE = {$NC$ algorithms for the single most vital edge problem with respect to shortest paths},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {243-248},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Venkatesan-Rangan/96,
AUTHOR = {Venkatesan, G. and Rangan, C. Pandu},
TITLE = {Approximate triclique coloring for register allocation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {249-253},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nassif-Bagherzadeh/96,
AUTHOR = {Nassif, Nayla and Bagherzadeh, Nader},
TITLE = {A grid embedding into the star graph for image analysis solutions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {255-260},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jan-Tseng/96,
AUTHOR = {Jan, Jinn-Ke and Tseng, Yuh-Min},
TITLE = {On the security of image encryption method},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {261-265},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ito-Takagi-Yajima/96,
AUTHOR = {Ito, Masayuki and Takagi, Naofumi and Yajima, Shuzo},
TITLE = {Square rooting by iterative multiply-additions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {267-269},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Youssef-Tavares/96,
AUTHOR = {Youssef, A.M. and Tavares, S.E.},
TITLE = {Comment on ``Bounds on the number of functions satisfying the Strict Avalanche Criterion''},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {271-275},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Domingo_i_Ferrer/96,
AUTHOR = {Domingo i Ferrer, Josep},
TITLE = {A new privacy homomorphism and applications},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {5},
PAGES = {277-282},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Germain-Pallo/96,
AUTHOR = {Germain, Christian and Pallo, Jean},
TITLE = {Two shortest path metrics on well-formed parentheses strings},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {283-287},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nystrom/96,
AUTHOR = {Nystr{\"o}m, Sven-Olof},
TITLE = {There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {289-293},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Grable/96,
AUTHOR = {Grable, David A.},
TITLE = {Nearly-perfect hypergraph packing is in $NC$},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {295-299},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kurosawa-Okada/96,
AUTHOR = {Kurosawa, Kaoru and Okada, Koji},
TITLE = {Combinatorial lower bounds for secret sharing schemes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {301-304},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kocberber-Can/96,
AUTHOR = {Kocberber, Seyit and Can, Fazli},
TITLE = {Partial evaluation of queries for bit-sliced signature files},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {305-311},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Veanes-Barklund/96a,
AUTHOR = {Veanes, Margus and Barklund, Jonas},
TITLE = {Construction of natural cycletrees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {60},
NUMBER = {6},
PAGES = {313-318},
YEAR = {1996},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}