Siklossy81
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sikl=oacute=ssy:Laurent.html
title: Efficient Query Evaluation in Relational Data Bases with Missing Values.
pages: 160-163
year: 1981
volume: 13
journal name: Inf. Process. Lett.
number: 4/5

Pearl75
type: Article
last modified date: 2003-11-20
author: Pearl:Judea.html
title: On the Complexity of Inexact Computations.
pages: 77-81
year: 1975
volume: 4
journal name: Inf. Process. Lett.
number: 3

Deleage83
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Deleage:Jean=Luc.html
title: An Application of a Transfer Lemma.
pages: 161-163
year: 1983
volume: 16
journal name: Inf. Process. Lett.
number: 4

DimauroIPS00
type: Article
last modified date: 2003-11-20
author: Dimauro:Giovanni.html
author: Impedovo:Sebastiano.html
author: Pirlo:Giuseppe.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Salzo:A=.html
title: RNS architectures for the implementation of the `diagonal function'.
pages: 189-198
year: 2000
volume: 73
journal name: Inf. Process. Lett.
number: 5-6
ee: http://dx.doi.org/10.1016/S0020-0190(00)00003-X

AcetoF01
type: Article
last modified date: 2003-11-20
author: Aceto:Luca.html
author: Fokkink:Wan.html
title: Preface: Process Algebra.
pages: 1
year: 2001
volume: 80
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(01)00211-3

AcetoI97
type: Article
last modified date: 2003-11-20
author: Aceto:Luca.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/Ing=oacute=lfsd=oacute=ttir:Anna.html
title: A Characterization of Finitary Bisimulation.
pages: 127-134
year: 1997
volume: 64
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(97)00163-4

DimitrovCD92
type: Article
last modified date: 2005-04-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dimitrov:Vassil_S=.html
author: Cooklev:Todor.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Donevsky:B=_D=.html
title: On the Multiplication of Reduced Biquaternions and Applications.
pages: 161-164
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 3

Beauquier91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beauquier:Dani=egrave=le.html
title: An Undecidable Problem About Rational Sets and Contour Words of Polyominoes.
pages: 257-263
year: 1991
volume: 37
journal name: Inf. Process. Lett.
number: 5

Khan94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Khan:Md=_Mozammel_Huq_Azad.html
title: An Algorithm for Hazard-Free Minimization of Incompletely Specified Switching Function.
pages: 23-29
year: 1994
volume: 52
journal name: Inf. Process. Lett.
number: 1

MolvaT98
type: Article
last modified date: 2003-11-20
author: Molva:Refik.html
author: Tsudik:Gene.html
title: Secret Sets and Applications.
pages: 47-55
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(97)80449-8

DimitrovJM98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dimitrov:Vassil_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jullien:Graham_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Miller:William_C=.html
title: An Algorithm for Modular Exponentiation.
pages: 155-159
year: 1998
volume: 66
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(98)00044-1

Ramshaw77
type: Article
last modified date: 2003-11-20
author: Ramshaw:Lyle.html
title: Binomial Coefficients with Non-Integral Lower Index.
pages: 223-226
year: 1977
volume: 6
journal name: Inf. Process. Lett.
number: 6

Karhumaki73
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Karhum=auml=ki:Juhani.html
title: An Example of a PD2L-System with the Growth Type 2½.
pages: 131-134
year: 1973
volume: 2
journal name: Inf. Process. Lett.
number: 5

BrandwajnJ80
type: Article
last modified date: 2003-11-20
author: Brandwajn:Alexandre.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Joly:Ren=eacute=.html
title: A Scheme for Fault-Tolerant Virtual Memory.
pages: 99-103
year: 1980
volume: 10
journal name: Inf. Process. Lett.
number: 2

BrandwajnM77
type: Article
last modified date: 2003-11-20
author: Brandwajn:Alexandre.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mouneix:B=.html
title: A Study of a Page-on-Demand System.
pages: 125-132
year: 1977
volume: 6
journal name: Inf. Process. Lett.
number: 4

NitscheO96
type: Article
last modified date: 2003-11-20
author: Nitsche:Ulrich.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Ochsenschl=auml=ger:Peter.html
title: Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms.
pages: 201-206
year: 1996
volume: 60
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(96)00162-7

Kim90a
type: Article
last modified date: 2003-11-20
author: Kim:Haklin.html
title: Finding a Maximum Independent Set in a Permutation Graph.
pages: 19-23
year: 1990
volume: 36
journal name: Inf. Process. Lett.
number: 1

Kim90b
type: Article
last modified date: 2003-11-20
author: Kim:Sung Kwon.html
title: Parallel Algorithms for the Segment Dragging Problem.
pages: 323-327
year: 1990
volume: 36
journal name: Inf. Process. Lett.
number: 6

Kim94a
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Yong=Seok.html
title: An Optimal Scheduling Algorithm for Preemptable Real-Time Tasks.
pages: 43-38
year: 1994
volume: 50
journal name: Inf. Process. Lett.
number: 1

Kim96a
type: Article
last modified date: 2003-11-20
author: Kim:Changwook.html
title: Unambiguous Description of Chain Code Picture Languages.
pages: 75-79
year: 1996
volume: 58
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/0020-0190(96)00014-2

KimA02
type: Article
last modified date: 2003-11-24
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Yong=Jik.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Anderson:James_H=.html
title: A space- and time-efficient local-spin spin lock.
pages: 47-55
year: 2002
volume: 84
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(02)00224-7

KimA93
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Myung=Soo.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ahn:Jae=Woo.html
title: An Algebraic Algorithm to Compute the Exact General Sweep Boundary of a 2D Curved Object.
pages: 221-229
year: 1993
volume: 47
journal name: Inf. Process. Lett.
number: 5

KimC03
type: Article
last modified date: 2003-11-24
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jae=Hoon.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chwa:Kyung=Yong.html
title: Online deadline scheduling on faster machines.
pages: 31-37
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(02)00332-0

KimC87
type: Article
last modified date: 2003-11-20
author: Kim:Taenam.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chwa:Kyung=Yong.html
title: An O(n log n log log n) Parallel Maximum Matching Algorithm for Bipartite Graphs.
pages: 15-17
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 1

KimC91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Do=Hyung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Choe:Kwang=Moo.html
title: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
pages: 201-211
year: 1991
volume: 40
journal name: Inf. Process. Lett.
number: 4

KimC92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Do=Hyung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Choe:Kwang=Moo.html
title: Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
pages: 165
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 3

KimC98
type: Article
last modified date: 2003-11-20
author: Kim:Seongyeol.html
author: Chung:Ilyong.html
title: Application of the Special Latin Square to a Parallel Routing Algorithm on a Recursive Circulant Network.
pages: 141-147
year: 1998
volume: 66
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(98)00050-7

PlateauT92
type: Article
last modified date: 2003-11-20
author: Plateau:Brigitte.html
author: Trystram:Denis.html
title: Optimal Total Exchange for a 3-D Torus of Processors.
pages: 95-102
year: 1992
volume: 42
journal name: Inf. Process. Lett.
number: 2

KimK89
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Young_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Gil_C=.html
title: Coordinator: A Modification to the Monitor Concept.
pages: 73-80
year: 1989
volume: 32
journal name: Inf. Process. Lett.
number: 2

KimK92
type: Article
last modified date: 2003-11-20
author: Kim:Cheeha.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Sung.html
title: A Mean Value Analysis of the Ethernet Throughput.
pages: 315-320
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 6

KimK94
type: Article
last modified date: 2003-11-20
author: Kim:Dongseung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Seung=Hoon.html
title: O(log n) Numerical Algorithms on a Mesh with Wormhole Routing.
pages: 129-136
year: 1994
volume: 50
journal name: Inf. Process. Lett.
number: 3

KimK98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Heung=Taek.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Myoung=Ho.html
title: Starvation-Free Secure Multiversion Concurrency Control.
pages: 247-253
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(98)00014-3

KimL90
type: Article
last modified date: 2003-11-20
author: Kim:Hyoung Joong.html
author: Lee:Jang Gyu.html
title: Partial Sum Problem Mapping Into a Hypercube.
pages: 221-224
year: 1990
volume: 36
journal name: Inf. Process. Lett.
number: 5

KimP91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Myoung=Ho.html
author: Pramanik:Sakti.html
title: The FX Distribution Method for Parallel Processing of Partial Match Queries.
pages: 243-252
year: 1991
volume: 38
journal name: Inf. Process. Lett.
number: 5

KimP94
type: Article
last modified date: 2003-11-20
author: Kim:Dongseung.html
author: Park:Joonyoung.html
title: Two-Way Dominant Sequence Clustering for Processor Scheduling.
pages: 203-208
year: 1994
volume: 49
journal name: Inf. Process. Lett.
number: 4

Blazewicz77
type: Article
last modified date: 2003-11-20
author: Blazewicz:Jacek.html
title: Simple Algorithms for Multiprocessor Scheduling to Meet Deadlines.
pages: 162-164
year: 1977
volume: 6
journal name: Inf. Process. Lett.
number: 5

Blazewicz79
type: Article
last modified date: 2003-11-20
author: Blazewicz:Jacek.html
title: Deadline Scheduling of Tasks with Ready Times and Resource Constraints.
pages: 60-63
year: 1979
volume: 8
journal name: Inf. Process. Lett.
number: 2

KimY03
type: Article
last modified date: 2003-11-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Ho=Sook.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yong:Hwan=Seung.html
title: Personalized cache management for mobile computing environments.
pages: 221-228
year: 2003
volume: 87
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(03)00352-1

LecroqLM97
type: Article
last modified date: 2003-11-20
author: Lecroq:Thierry.html
author: Luce:Guillaume.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Myoupo:Jean_Fr=eacute=d=eacute=ric.html
title: A Faster Linear Systolic Algorithm for Recovering a Longest Common Subsequence.
pages: 129-136
year: 1997
volume: 61
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(97)00011-2

KarayiannisL78
type: Article
last modified date: 2003-11-20
author: Karayiannis:Andreas.html
author: Loizou:George.html
title: Cycle Detection in Critical Path Networks.
pages: 15-19
year: 1978
volume: 7
journal name: Inf. Process. Lett.
number: 1

IgelT03
type: Article
last modified date: 2003-11-25
author: Igel:Christian.html
author: Toussaint:Marc.html
title: On classes of functions for which No Free Lunch results hold.
pages: 317-321
year: 2003
volume: 86
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(03)00222-9

Lacoste96
type: Article
last modified date: 2003-11-20
author: Lacoste:Thierry.html
title: Finitistic Proofs of 0-1 Laws for Fragments of Second-Order Logic.
pages: 1-4
year: 1996
volume: 58
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/0020-0190(96)00035-X

MichielsK03
type: Article
last modified date: 2003-11-25
author: Michiels:Wil.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Korst:Jan_H=_M=.html
title: Complexity of min-max subsequence problems.
pages: 213-217
year: 2003
volume: 87
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(03)00272-2

NievergeltPWY72
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nievergelt:J=uuml=rg.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pradels:J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wong:C=_K=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yue:P=_C=.html
title: Bounds on the Weighted Path Length of Binary Trees.
pages: 220-225
year: 1972
volume: 1
journal name: Inf. Process. Lett.
number: 6

Hansal74
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hansal:A=.html
title: "Software Devices" for Processing Graphs Using PL/I Compile Time Facilities.
pages: 171-179
year: 1974
volume: 2
journal name: Inf. Process. Lett.
number: 6

LaiE02
type: Article
last modified date: 2003-11-20
author: Lai:Wei.html
author: Eades:Peter.html
title: Removing edge-node intersections in drawings of graphs.
pages: 105-110
year: 2002
volume: 81
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(01)00194-6

LaiS86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lai:Ten=Hwang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sprague:Alan_P=.html
title: A Note on Anomalies in Parallel Branch-and-Bound Algorithms with One-to-One Bounding Functions.
pages: 119-122
year: 1986
volume: 23
journal name: Inf. Process. Lett.
number: 3

LaiW93
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lai:Ten=Hwang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wei:Shu=Shang.html
title: The Edge Hamiltonian Path Problem is NP-Complete for Bipartite Graphs.
pages: 21-26
year: 1993
volume: 46
journal name: Inf. Process. Lett.
number: 1

LaiY87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lai:Ten=Hwang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yang:Tao_H=.html
title: On Distributed Snapshots.
pages: 153-158
year: 1987
volume: 25
journal name: Inf. Process. Lett.
number: 3

Hansen75
type: Article
last modified date: 2003-11-20
author: Hansen:Per Brinch.html
title: Universal Types in Concurrent Pascal.
pages: 165-166
year: 1975
volume: 3
journal name: Inf. Process. Lett.
number: 6

Hansen76
type: Article
last modified date: 2003-11-20
author: Hansen:Pierre.html
title: A Cascade Algorithm for the Logical Closure of a Set of Binary Relations.
pages: 50-54
year: 1976
volume: 5
journal name: Inf. Process. Lett.
number: 2

Hansen78
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hansen:Wilfred_J=.html
title: A Predecessor Algorithm for Ordered Lists.
pages: 137-138
year: 1978
volume: 7
journal name: Inf. Process. Lett.
number: 3

KoKL03
type: Article
last modified date: 2003-11-24
author: Ko:Jong Ha.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Sang=Hee.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Jong=Kyu.html
title: An ENA algorithm to enhance the performance of TCP over satellite links.
pages: 215-219
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(02)00372-1

Lamb88
type: Article
last modified date: 2003-11-20
author: Lamb:David Alex.html
title: Benign Side Effects.
pages: 301-305
year: 1988
volume: 29
journal name: Inf. Process. Lett.
number: 6

JwoT94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jwo:Jung=Sing.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tuan:Tai=Ching.html
title: On Transmitting Delay in a Distance-Transitive Strongly Antipodal Graph.
pages: 233-235
year: 1994
volume: 51
journal name: Inf. Process. Lett.
number: 5

Szepietowski89a
type: Article
last modified date: 2003-11-20
author: Szepietowski:Andrzej.html
title: Some Notes on Strong and Weak log log n Space Complexity.
pages: 109-112
year: 1989
volume: 33
journal name: Inf. Process. Lett.
number: 2

Hanson76
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hanson:David_R=.html
title: A Simple Variant of the Boundary-Tag Algorithm for the Allocation of Coroutine Environments.
pages: 109-112
year: 1976
volume: 4
journal name: Inf. Process. Lett.
number: 4

Hanson80
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hanson:David_R=.html
title: Code Improvement Via Lazy Evaluation.
pages: 163-167
year: 1980
volume: 11
journal name: Inf. Process. Lett.
number: 4/5

SwaminathanGB95
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Swaminathan:Ramjee_P=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Giriraj:D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bhatia:D=_K=.html
title: The Pagenumber of the Class of Bandwidth-k Graphs is k-1.
pages: 71-74
year: 1995
volume: 55
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/0020-0190(95)00079-R

Laut80
type: Article
last modified date: 2003-11-20
author: Laut:Alfred.html
title: Safe Procedural Implementations of Algebraic Types.
pages: 147-151
year: 1980
volume: 11
journal name: Inf. Process. Lett.
number: 4/5

Fernandez-BacaW91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fern=aacute=ndez=Baca:David.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Williams:Mark_A=.html
title: On Matroids and Hierarchical Graphs.
pages: 117-121
year: 1991
volume: 38
journal name: Inf. Process. Lett.
number: 3

Carpentieri02
type: Article
last modified date: 2003-11-20
author: Carpentieri:Bruno.html
title: Sending compressed messages to a learned receiver on a bidirectional line.
pages: 63-70
year: 2002
volume: 83
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(01)00316-7

Verhoeven99
type: Article
last modified date: 2003-11-20
author: Verhoeven:Yann.html
title: Random 2-SAT and unsatisfiability.
pages: 119-123
year: 1999
volume: 72
journal name: Inf. Process. Lett.
number: 3-4
ee: http://dx.doi.org/10.1016/S0020-0190(99)00128-3

Veljan94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Veljan:D=.html
title: Computing Values of a Polynomial with Only few Multiplications.
pages: 33-37
year: 1994
volume: 49
journal name: Inf. Process. Lett.
number: 1

GrahamM82
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Graham:Marc_H=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mendelzon:Alberto_O=.html
title: Strong Equivalence of Relational Wxpressions Under Dependencies.
pages: 57-62
year: 1982
volume: 14
journal name: Inf. Process. Lett.
number: 2

Koch87
type: Article
last modified date: 2003-11-20
author: Koch:Gregers.html
title: Automating the Semantic Component.
pages: 299-305
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 5

AlankoS86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alanko:Timo_O=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Smelianski:R=_L=.html
title: On the Calculation of Control Transition Probabilities in a Program.
pages: 273-276
year: 1986
volume: 22
journal name: Inf. Process. Lett.
number: 5

KooM03
type: Article
last modified date: 2003-11-25
author: Koo:Zakil.html
author: Moon:Songchun.html
title: Effects of broadcast errors on concurrency control in wireless broadcasting environments.
pages: 13-21
year: 2003
volume: 86
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(02)00448-9

LeeC01
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Seok=Lyong.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chung:Chin=Wan.html
title: On the effective clustering of multidimensional data sequences.
pages: 87-95
year: 2001
volume: 80
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(01)00144-2

LeeC85
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Ching:Y=_T=.html
title: The Power of Geometric Duality Revisited.
pages: 117-122
year: 1985
volume: 21
journal name: Inf. Process. Lett.
number: 3

LeeC91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Myung=Joon.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Choe:Kwang=Moo.html
title: SLR(k) Covering for LR(k) Grammars.
pages: 337-347
year: 1991
volume: 37
journal name: Inf. Process. Lett.
number: 6

LeeC94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Eun=Jung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Choe:Kwang=Moo.html
title: Grammar Coverings of a Deterministic Parser with Action Conflicts.
pages: 85-92
year: 1994
volume: 51
journal name: Inf. Process. Lett.
number: 2

LeeC96
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Wei=Bin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chang:Chin=Chen.html
title: Integrating Authentication in Public Key Distribution System.
pages: 49-52
year: 1996
volume: 57
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/0020-0190(95)00177-8

LeeC97
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Wei=Bin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chang:Chin=Chen.html
title: Authenticated Encryption Schemes with Linkage Between Message Blocks.
pages: 247-250
year: 1997
volume: 63
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(97)00118-X

LeeC99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Jae=Ha.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chwa:Kyung=Yong.html
title: Tight Analysis of a Self-Approaching Strategy for the Online Kernel-Search Problem.
pages: 39-45
year: 1999
volume: 69
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(98)00191-4

LeeH03
type: Article
last modified date: 2003-11-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Sing=Ling.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Ho:Hann=Jang.html
title: On minimizing the maximum congestion for Weighted Hypergraph Embedding in a Cycle.
pages: 271-275
year: 2003
volume: 87
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(03)00297-7

LeeH93
type: Article
last modified date: 2003-11-20
author: Lee:Sang Ho.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Henschen:Lawrence_J=.html
title: Semantics and Properties of Existential Quantifiers in Deductive Databases.
pages: 101-108
year: 1993
volume: 47
journal name: Inf. Process. Lett.
number: 2

KooT88
type: Article
last modified date: 2003-11-20
author: Koo:Richard.html
author: Toueg:Sam.html
title: Effects of Message Loss on the Termination of Distributed Protocols.
pages: 181-188
year: 1988
volume: 27
journal name: Inf. Process. Lett.
number: 4

LeeK02
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Dong=Ho.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Hyoung=Joo.html
title: An efficient nearest neighbor search in high-dimensional data spaces.
pages: 239-246
year: 2002
volume: 81
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(01)00236-8

LeeK95
type: Article
last modified date: 2003-11-20
author: Lee:Soojung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Junguk_L=.html
title: Resolving all Deadlocks in Distributed Systems.
pages: 265-271
year: 1995
volume: 55
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(95)00115-S

LeeK97
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Gyung=Ok.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Do=Hyung.html
title: Characterization of Extended LR(k) Grammars.
pages: 75-82
year: 1997
volume: 64
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(97)00152-X

LeeL84
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:C=_C=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
title: On a Circle-Cover Minimization Problem.
pages: 109-115
year: 1984
volume: 18
journal name: Inf. Process. Lett.
number: 2

LeeP78
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Preparata:Franco_P=.html
title: The All Nearest-Neighbor Problem for Convex Polygons.
pages: 189-192
year: 1978
volume: 7
journal name: Inf. Process. Lett.
number: 4

LeeP89
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Preparata:Franco_P=.html
title: Parallel Batched Planar Point Location on the CCC.
pages: 175-179
year: 1989
volume: 33
journal name: Inf. Process. Lett.
number: 4

LeeP93
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
author: Papadopoulou:Evanthia.html
title: The All-Pairs Quickest Path Problem.
pages: 261-267
year: 1993
volume: 45
journal name: Inf. Process. Lett.
number: 5

LeeR74
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:K=_P=.html
author: Rozenberg:Grzegorz.html
title: The Length Sets of D0L Languages are Uniformly Bounded.
pages: 185-188
year: 1974
volume: 2
journal name: Inf. Process. Lett.
number: 6

LeeY00
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Keon=Jik.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yoo:Kee=Young.html
title: Linear systolic multiplier/squarer for fast exponentiation.
pages: 105-111
year: 2000
volume: 76
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(00)00131-9

LeeY79
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yang:C=_C=.html
title: Location of Multiple Points in a Planar Subdivision.
pages: 190-193
year: 1979
volume: 9
journal name: Inf. Process. Lett.
number: 4

LeeY98
type: Article
last modified date: 2003-11-20
author: Lee:KyungOh.html
author: Yeom:Heon Young.html
title: A Dynamic Scheduling Algorithm for Large Scale Multimedia Servers.
pages: 235-240
year: 1998
volume: 68
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(98)00168-9

BiazW01
type: Article
last modified date: 2003-11-20
author: Biaz:Saad.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Welch:Jennifer_L=.html
title: Closed form bounds for clock synchronization under simple uncertainty assumptions.
pages: 151-157
year: 2001
volume: 80
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(01)00151-X

CesariniS83
type: Article
last modified date: 2003-11-20
author: Cesarini:Francesca.html
author: Soda:Giovanni.html
title: An Algorithm to Construct a Compact B-Tree in Case of Ordered Keys.
pages: 13-16
year: 1983
volume: 17
journal name: Inf. Process. Lett.
number: 1

AryaR98
type: Article
last modified date: 2003-11-20
author: Arya:Sunil.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Ramesh:H=.html
title: k-MST Problem.
pages: 117-118
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(98)00010-6

SongPLPK89
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Song:G=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Park:D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Park:K=_H=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:M=.html
title: A Distributed Deadlock Detection Algorithm: Distributed Graph Reconstruction Algorithm.
pages: 245-252
year: 1989
volume: 30
journal name: Inf. Process. Lett.
number: 5

Weyuker84
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Weyuker:Elaine_J=.html
title: The Complexity of Data Flow Criteria for Test Data Selection.
pages: 103-109
year: 1984
volume: 19
journal name: Inf. Process. Lett.
number: 2

DudzinskiD81
type: Article
last modified date: 2003-11-20
author: Dudzinski:Krzysztof.html
author: Dydek:Andrzej.html
title: On a Stable Minimum Storage Merging Algorithm.
pages: 5-8
year: 1981
volume: 12
journal name: Inf. Process. Lett.
number: 1

Tambouratzis00
type: Article
last modified date: 2003-11-20
author: Tambouratzis:Tatiana.html
title: Solving the Hamiltonian cycle problem via an artificial neural network.
pages: 237-242
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(00)00116-2

Monien84
type: Article
last modified date: 2003-11-20
author: Monien:Burkhard.html
title: Deterministic Two-Way One-Head Pushdown Automata are Very Powerful.
pages: 239-242
year: 1984
volume: 18
journal name: Inf. Process. Lett.
number: 5

KuCH03
type: Article
last modified date: 2003-11-24
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Ku:Cheng=Yuan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chan:Din=Yuen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hwang:Lain=Chyr.html
title: Optimal reservation policy for two queues in tandem.
pages: 27-30
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(02)00334-4

Levy75
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Levy:Michael_R=.html
title: Complete Operator Precedence.
pages: 38-40
year: 1975
volume: 4
journal name: Inf. Process. Lett.
number: 2

Levy82
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Levy:Leon_S=.html
title: An Improved List-Searching Algorithm.
pages: 43-45
year: 1982
volume: 15
journal name: Inf. Process. Lett.
number: 1

Vu05
type: Article
last modified date: 2006-04-26
author: Vu:Thuy Duong.html
title: The compression structure of a process.
pages: 225-229
year: 2005
volume: 96
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/j.ipl.2005.03.015

Kral72
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kr=aacute=l:Jaroslav.html
title: A New Additive Pseudorandom Number Generator for Extremely Short Word-Lengths.
pages: 164-167
year: 1972
volume: 1
journal name: Inf. Process. Lett.
number: 4

Kral84
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kr=aacute=l:Jaroslav.html
title: On Software Equations.
pages: 191-196
year: 1984
volume: 19
journal name: Inf. Process. Lett.
number: 4

NeumannSW02
type: Article
last modified date: 2003-11-24
author: Neumann:Jakub.html
author: Szepietowski:Andrzej.html
author: Walukiewicz:Igor.html
title: Complexity of weak acceptance conditions in tree automata.
pages: 181-187
year: 2002
volume: 84
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(02)00285-5

Pansiot81
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pansiot:Jean=Jacques.html
title: The Morse Sequence and Iterated Morphisms.
pages: 68-70
year: 1981
volume: 12
journal name: Inf. Process. Lett.
number: 2

Ambos-Spies86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ambos=Spies:Klaus.html
title: Inhomogeneities in the Polynomial-Time Degrees: The Degrees of Super Sparse Sets.
pages: 113-117
year: 1986
volume: 22
journal name: Inf. Process. Lett.
number: 3

LiV92a
type: Article
last modified date: 2003-11-20
author: Li:Ming.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vit=aacute=nyi:Paul_M=_B=.html
title: Optimality of Wait-Free Atomic Multiwriter Variables.
pages: 107-112
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 2

FeketeP98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fekete:S=aacute=ndor_P=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pulleyblank:William_R=.html
title: Traveling the Boundary of Minkowski Sums.
pages: 171-174
year: 1998
volume: 66
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(98)00053-2

LiTV03
type: Article
last modified date: 2004-02-04
author: Li:Ming.html
author: Tromp:John.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vit=aacute=nyi:Paul_M=_B=.html
title: Sharpening Occam's razor.
pages: 267-274
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(02)00427-1

GuessarianP88
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Guessarian:Ir=egrave=ne.html
author: Priese:Lutz.html
title: On the Minimal Number of * Operators to Model Regularity in Fair SCCS.
pages: 297-300
year: 1988
volume: 29
journal name: Inf. Process. Lett.
number: 6

PengC92
type: Article
last modified date: 2006-02-21
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Peng:Sheng=Lung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chang:Maw=Shang.html
title: A Simple Linear Time Algorithm for the Domatic Partition Problem on Strongly Chordal Graphs.
pages: 297-300
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/0020-0190(92)90115-C

Biedl98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Biedl:Therese_C=.html
title: Relating Bends and Size in Orthogonal Graph Drawings.
pages: 111-115
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(97)00207-X

EgeciogluK89
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Egecioglu:=Ouml=mer.html
author: Kalantari:Bahman.html
title: Approximating the Diameter of a Set of Points in the Euclidean Space.
pages: 205-211
year: 1989
volume: 32
journal name: Inf. Process. Lett.
number: 4

PennT00
type: Article
last modified date: 2003-11-20
author: Penn:Michal.html
author: Tennenholtz:Moshe.html
title: Constrained multi-object auctions and b-matching.
pages: 29-34
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 1-2
ee: http://dx.doi.org/10.1016/S0020-0190(00)00073-9

Olariu88a
type: Article
last modified date: 2003-11-20
author: Olariu:Stephan.html
title: On the Unimodality of Convex Polygons.
pages: 289-292
year: 1988
volume: 29
journal name: Inf. Process. Lett.
number: 6

Olariu90a
type: Article
last modified date: 2003-11-20
author: Olariu:Stephan.html
title: On the Closure of Triangle-Free Graphs Under Substitution.
pages: 97-101
year: 1990
volume: 34
journal name: Inf. Process. Lett.
number: 2

Penna02
type: Article
last modified date: 2003-11-20
author: Penna:Paolo.html
title: On the approximability of two tree drawing conventions.
pages: 237-242
year: 2002
volume: 82
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(01)00280-0

Wurges77
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/W=uuml=rges:Harald.html
title: Comments on `Error Resynchronisation in Producer Consumer Systems'.
pages: 87-90
year: 1977
volume: 6
journal name: Inf. Process. Lett.
number: 3

OlariuR89
type: Article
last modified date: 2003-11-20
author: Olariu:Stephan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Randall:J=.html
title: Welsh-Powell Opposition Graphs.
pages: 43-46
year: 1989
volume: 31
journal name: Inf. Process. Lett.
number: 1

Hambury86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hambury:M=_C=.html
title: Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm.
pages: 179-183
year: 1986
volume: 22
journal name: Inf. Process. Lett.
number: 4

Neufeld96
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Neufeld:Stewart_W=.html
title: A Pursuit-Evasion Problem on a Grid.
pages: 5-9
year: 1996
volume: 58
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/0020-0190(96)00025-7

FellowsL87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fellows:Michael_R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Langston:Michael_A=.html
title: Nonconstructive Advances in Polynomial-Time Complexity.
pages: 155-162
year: 1987
volume: 26
journal name: Inf. Process. Lett.
number: 3

BlockW90
type: Article
last modified date: 2003-11-20
author: Block:Kenneth.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Woo:Tai=Kuo.html
title: A More Efficient Generalization of Petersons's Mutual Exclusion Algorithm.
pages: 219-222
year: 1990
volume: 35
journal name: Inf. Process. Lett.
number: 5

WeeCW90
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wee:Young_C=.html
author: Chaiken:Seth.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Willard:Dan_E=.html
title: On the Angle Restricted Nearest Neighbor Problem.
pages: 71-76
year: 1990
volume: 34
journal name: Inf. Process. Lett.
number: 2

SajithS94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sajith:G=.html
author: Saxena:Sanjeev.html
title: Optimal Parallel Algorithms for Coloring Bounded Degree Graphs and Finding Maximal Independent Sets in Rooted Trees.
pages: 303-308
year: 1994
volume: 49
journal name: Inf. Process. Lett.
number: 6

SajithS95
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sajith:G=.html
author: Saxena:Sanjeev.html
title: Corrigendum: Optimal Parallel Algorithms for Coloring Bounded Degree Graphs and Finding Maximal Independent Sets in Rooted Trees.
pages: 305
year: 1995
volume: 54
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(95)00069-O

LimL95
type: Article
last modified date: 2003-11-20
author: Lim:Chae Hoon.html
author: Lee:Pil Joong.html
title: Several Practical Protocols for Authentication and Key Exchange.
pages: 91-96
year: 1995
volume: 53
journal name: Inf. Process. Lett.
number: 2

LinC93
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Kao=Ch=ecirc=ng.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chern:Maw=Sheng.html
title: The Most Vital Edges in the Minimum Spanning Tree Problem.
pages: 25-31
year: 1993
volume: 45
journal name: Inf. Process. Lett.
number: 1

LinC97
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Min=Sheng.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Deng=Jyi.html
title: The Computational Complexity of the Reliability Problem on Distributed Systems.
pages: 143-147
year: 1997
volume: 64
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(97)00150-6

LinJ03
type: Article
last modified date: 2003-11-25
author: Lin:Li.html
author: Jiang:Yunfei.html
title: The computation of hitting sets: Review and new algorithms.
pages: 177-184
year: 2003
volume: 86
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(02)00506-9

LinK00
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Jenn=Wei.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuo:Sy=Yen.html
title: Resolving error propagation in distributed systems.
pages: 257-262
year: 2000
volume: 74
journal name: Inf. Process. Lett.
number: 5-6
ee: http://dx.doi.org/10.1016/S0020-0190(00)00060-0

LinL94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Chiu=Chuan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Ferng=Ching.html
title: Minimal Fully Adaptive Wormhole Routing on Hypercubes.
pages: 297-301
year: 1994
volume: 50
journal name: Inf. Process. Lett.
number: 6

LinL99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Yen=Chun.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liu:Chun=Keng.html
title: Finding Optimal Parallel Prefix Circuits with Fan-Out 2 in Constant Time.
pages: 191-195
year: 1999
volume: 70
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(99)00058-7

LinO90
type: Article
last modified date: 2003-11-20
author: Lin:Rong.html
author: Olariu:Stephan.html
title: A Fast Parallel, Algorithm to Recognize, Partitionable Graphs.
pages: 153-157
year: 1990
volume: 36
journal name: Inf. Process. Lett.
number: 3

LinS86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Ferng=Ching.html
author: Shih:Wei Kuan.html
title: Long Edges in the Layouts of Shuffle-Exchange and Cube-Connected Cycles Graphs.
pages: 5-9
year: 1986
volume: 23
journal name: Inf. Process. Lett.
number: 1

LinV92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Jyh=Han.html
author: Vitter:Jeffrey Scott.html
title: Approximation Algorithms for Geometric Median Problems.
pages: 245-249
year: 1992
volume: 44
journal name: Inf. Process. Lett.
number: 5

LinX02
type: Article
last modified date: 2003-11-24
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Guo=Hui.html
author: Xue:Guoliang.html
title: On the terminal Steiner tree problem.
pages: 103-107
year: 2002
volume: 84
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(02)00227-2

LinX99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Guo=Hui.html
author: Xue:Guoliang.html
title: Steiner Tree Problem with Minimum Number of Steiner Points and Bounded Edge-Length.
pages: 53-57
year: 1999
volume: 69
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(98)00201-4

LinY99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Yen=Chun.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yeh:Ching=Sung.html
title: Efficient Parallel Prefix Algorithms on Multiport Message-Passing Systems.
pages: 91-95
year: 1999
volume: 71
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(99)00087-3

Peper87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Peper:F=.html
title: Determining Connected Components in Linear Time by a linear Number of Processors.
pages: 401-406
year: 1987
volume: 25
journal name: Inf. Process. Lett.
number: 6

MaNT92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Ma:Y=_W=_Eva.html
author: Narahari:Bhagirath.html
author: Tao:Lixin.html
title: Optimal Embedding of 2-D Torus Into Ring.
pages: 227-231
year: 1992
volume: 41
journal name: Inf. Process. Lett.
number: 4

Veloso79
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Veloso:Paulo_A=_S=.html
title: Characterizing the Regular Prefix Codes and Right Power-Bounded Languages.
pages: 5-7
year: 1979
volume: 9
journal name: Inf. Process. Lett.
number: 1

Veloso96
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Veloso:Paulo_A=_S=.html
title: On Pushout Consistency, Modularity and Interpolation for Logical Specifications.
pages: 59-66
year: 1996
volume: 60
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(96)00146-9

Lins02
type: Article
last modified date: 2003-11-20
author: Lins:Rafael Dueire.html
title: An efficient algorithm for cyclic reference counting.
pages: 145-150
year: 2002
volume: 83
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(01)00328-3

Lins92
type: Article
last modified date: 2004-01-02
author: Lins:Rafael Dueire.html
title: Cyclic Reference Counting with Lazy Mark-Scan.
pages: 215-220
year: 1992
volume: 44
journal name: Inf. Process. Lett.
number: 4

Lins93
type: Article
last modified date: 2004-01-02
author: Lins:Rafael Dueire.html
title: Generational Cyclic Reference Counting.
pages: 19-20
year: 1993
volume: 46
journal name: Inf. Process. Lett.
number: 1

LiuC02
type: Article
last modified date: 2003-11-20
author: Liu:Zhaohui.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cheng:T=_C=_Edwin.html
title: Scheduling with job release dates, delivery times and preemption penalties.
pages: 107-111
year: 2002
volume: 82
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(01)00251-4

LiuD80
type: Article
last modified date: 2003-11-20
author: Liu:Lishing.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Demers:Alan_J=.html
title: An Algorithm for Testing Lossless Join Property in Relational Databases.
pages: 73-76
year: 1980
volume: 11
journal name: Inf. Process. Lett.
number: 2

LiuK92
type: Article
last modified date: 2003-11-20
author: Liu:Xiaoquing.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Junguk_L=.html
title: An Effecient Parallel Sorting Algorithm.
pages: 129-133
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 3

LiuN88
type: Article
last modified date: 2003-11-20
author: Liu:Robin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Ntafos:Simeon_C=.html
title: On Decomposing Polygons into Uniformly Monotone Parts.
pages: 85-89
year: 1988
volume: 27
journal name: Inf. Process. Lett.
number: 2

LiuY92
type: Article
last modified date: 2003-11-20
author: Liu:Zhiyong.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/You:Jia=Huai.html
title: An Implementation of a Nonlinear Skewing Scheme.
pages: 209-215
year: 1992
volume: 42
journal name: Inf. Process. Lett.
number: 4

Kuhn98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hn:Ulrich.html
title: Local Calculation of Voronoi Diagrams.
pages: 307-312
year: 1998
volume: 68
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(98)00180-X

Biham02
type: Article
last modified date: 2003-11-24
author: Biham:Eli.html
title: 28steps.
pages: 117-124
year: 2002
volume: 84
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(02)00269-7

Vyskoc83
type: Article
last modified date: 2003-11-20
author: Vyskoc:Jozef.html
title: A Note on the Power of Integer Division.
pages: 71-72
year: 1983
volume: 17
journal name: Inf. Process. Lett.
number: 2

Vyskoc84
type: Article
last modified date: 2003-11-20
author: Vyskoc:Jozef.html
title: A Note on Boolean Matrix Multiplication.
pages: 249-251
year: 1984
volume: 19
journal name: Inf. Process. Lett.
number: 5

Vyskoc90
type: Article
last modified date: 2003-11-20
author: Vyskoc:Jozef.html
title: Making Bubblesort Recursive.
pages: 219-220
year: 1990
volume: 36
journal name: Inf. Process. Lett.
number: 4

KuoH96
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuo:Yu=Chen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Huang:Shing=Tsaan.html
title: A Simple Scheme to Construct k-Coteries with O(sqrt(N)) Uniform Quorum Sizes.
pages: 31-36
year: 1996
volume: 59
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/0020-0190(96)00089-0

MaZM99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Ma:Z=_M=.html
author: Zhang:Wenjun.html
author: Ma:Weiyin.html
title: Assessment of Data Redundancy in Fuzzy Relational Databases Based on Semantic Inclusion Degree.
pages: 25-29
year: 1999
volume: 72
journal name: Inf. Process. Lett.
number: 1-2
ee: http://dx.doi.org/10.1016/S0020-0190(99)00124-6

KuoT90
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuo:R=_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tseng:S=_S=.html
title: The Necessary and Sufficient Condition for the Worst-Case Male Optimal Stable Matching.
pages: 261-263
year: 1990
volume: 34
journal name: Inf. Process. Lett.
number: 5

Kung73
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kung:H=_T=.html
title: A New Upper Bound on the Complexity of Derivative Evaluation.
pages: 146-147
year: 1973
volume: 2
journal name: Inf. Process. Lett.
number: 5

PerlR77
type: Article
last modified date: 2003-11-20
author: Perl:Yehoshua.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reingold:Edward_M=.html
title: Understanding the Complexity of Interpolation Search.
pages: 219-222
year: 1977
volume: 6
journal name: Inf. Process. Lett.
number: 6

AguileraT99
type: Article
last modified date: 2003-11-20
author: Aguilera:Marcos Kawazoe.html
author: Toueg:Sam.html
title: tt+ 1 Rounds.
pages: 155-158
year: 1999
volume: 71
journal name: Inf. Process. Lett.
number: 3-4
ee: http://dx.doi.org/10.1016/S0020-0190(99)00100-3

CockayneH86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cockayne:Ernest_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hewgill:Denton_E=.html
title: Exact Computation of Steiner Minimal Trees in the Plane.
pages: 151-156
year: 1986
volume: 22
journal name: Inf. Process. Lett.
number: 3

Fournier79
type: Article
last modified date: 2003-11-20
author: Fournier:Alain.html
title: Comments on Convex Hull of a Finite Set of Points in Two Dimensions.
pages: 173
year: 1979
volume: 8
journal name: Inf. Process. Lett.
number: 4

Mandoiu98
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mandoiu:Ion_I=.html
title: Optimum Extensions of Prefix Codes.
pages: 35-40
year: 1998
volume: 66
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(98)00026-X

Premkumar00
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Premkumar:A=_Benjamin.html
title: nmoduli set.
pages: 51-56
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 1-2
ee: http://dx.doi.org/10.1016/S0020-0190(00)00077-6

OrdaM97
type: Article
last modified date: 2003-11-20
author: Orda:Ariel.html
author: Merritt:Michael.html
title: Efficient Test & Set Constructions for Faulty Shared Memory.
pages: 41-46
year: 1997
volume: 62
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(97)00036-7

Maes90
type: Article
last modified date: 2003-11-20
author: Maes:Maurice.html
title: On a Cyclic String-To-String Correction Problem.
pages: 73-78
year: 1990
volume: 35
journal name: Inf. Process. Lett.
number: 2

Perko83
type: Article
last modified date: 2003-11-20
author: Perko:Aarni.html
title: A Representation of Disjoint Sets with Fast Initialization.
pages: 21
year: 1983
volume: 16
journal name: Inf. Process. Lett.
number: 1

Monnot01
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Monnot:J=eacute=r=ocirc=me.html
title: The maximum f-depth spanning tree problem.
pages: 179-187
year: 2001
volume: 80
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(01)00160-0

Monnot02
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Monnot:J=eacute=r=ocirc=me.html
title: Differential approximation results for the traveling salesman and related problems.
pages: 229-235
year: 2002
volume: 82
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(01)00287-3

Main82
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Main:Michael_G=.html
title: Permutations Are Not Context-Free: An Application of the Interchange Lemma.
pages: 68-71
year: 1982
volume: 15
journal name: Inf. Process. Lett.
number: 2

Main85
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Main:Michael_G=.html
title: An Infinite Square-Free co-CFL.
pages: 105-107
year: 1985
volume: 20
journal name: Inf. Process. Lett.
number: 2

RanjanP03
type: Article
last modified date: 2003-11-24
author: Ranjan:Desh.html
author: Pontelli:Enrico.html
title: The Level-Ancestor problem on Pure Pointer Machines.
pages: 275-283
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(02)00428-3

RanjanR93
type: Article
last modified date: 2003-11-20
author: Ranjan:Desh.html
author: Rus:Daniela.html
title: A Tool for the Analysis of Manipulation.
pages: 117-121
year: 1993
volume: 45
journal name: Inf. Process. Lett.
number: 3

Creignou98
type: Article
last modified date: 2003-11-20
author: Creignou:Nadia.html
title: Complexity Versus Stability for Classes of Propositional Formulas.
pages: 161-165
year: 1998
volume: 68
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(98)00163-X

Weems88
type: Article
last modified date: 2004-06-08
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Weems:Bob_P=.html
title: A Study of Page Arrangements for Extendible Hashing.
pages: 245-248
year: 1988
volume: 27
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(88)90086-5

CrescenziS90
type: Article
last modified date: 2003-11-20
author: Crescenzi:Pierluigi.html
author: Silvestri:Riccardo.html
title: Relative Complexity of Evaluating the Optimum Cost and Constructing the Optimum for Maximization Problems.
pages: 221-226
year: 1990
volume: 33
journal name: Inf. Process. Lett.
number: 5

CrescenziS93
type: Article
last modified date: 2003-11-20
author: Crescenzi:Pierluigi.html
author: Silvestri:Riccardo.html
title: A Note on the Descriptive Complexity of Maximization.
pages: 11-15
year: 1993
volume: 47
journal name: Inf. Process. Lett.
number: 1

Kwon02
type: Article
last modified date: 2003-11-20
author: Kwon:Taekyoung.html
title: Digital signature algorithm for securing digital identities.
pages: 247-252
year: 2002
volume: 82
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(01)00277-0

Kwon03
type: Article
last modified date: 2003-11-25
author: Kwon:Taekyoung.html
title: Erratum to: "Digital signature algorithm for securing digital identities": [Information Processing Letters 82 (2002) 247-252].
pages: 201-202
year: 2003
volume: 88
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/j.ipl.2003.08.001

ChngSO89
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Ch=ng:Hock_T=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sprinivasan:B=.html
author: Ooi:Beng Chin.html
title: Study of Self-Organizing Heuristics for Skewed Access Patterns.
pages: 237-244
year: 1989
volume: 30
journal name: Inf. Process. Lett.
number: 5

LeveneL99
type: Article
last modified date: 2003-11-20
author: Levene:Mark.html
author: Loizou:George.html
title: How to Prevent Interaction of Functional and Inclusion Dependencies.
pages: 115-125
year: 1999
volume: 71
journal name: Inf. Process. Lett.
number: 3-4
ee: http://dx.doi.org/10.1016/S0020-0190(99)00095-2

CrescenzoP94
type: Article
last modified date: 2003-11-20
author: Crescenzo:Giovanni Di.html
author: Persiano:Giuseppe.html
title: Round-Optimal Perfect Zero-Knowledge Proofs.
pages: 93-99
year: 1994
volume: 50
journal name: Inf. Process. Lett.
number: 2

MayL95
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/May:John_H=_R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lunn:A=_D=.html
title: New Statistics for Demand-Based Software Testing.
pages: 307-314
year: 1995
volume: 53
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/0020-0190(94)00217-M

Dillencourt87a
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dillencourt:Michael_B=.html
title: A Non-Hamiltonian, Nondegenerate Delaunay Triangulation.
pages: 149-151
year: 1987
volume: 25
journal name: Inf. Process. Lett.
number: 3

Supowit85
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Supowit:Kenneth_J=.html
title: Decomposing a Set of Points into Chains, with Applications to Permutation and Circle Graphs.
pages: 249-252
year: 1985
volume: 21
journal name: Inf. Process. Lett.
number: 5

AbbasiS97
type: Article
last modified date: 2003-11-20
author: Abbasi:Sarmad.html
author: Sengupta:Anirvan.html
title: An O(n log n) Algorithm for Finding Dissimilar Strings.
pages: 135-139
year: 1997
volume: 62
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(97)00057-4

Althofer90
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alth=ouml=fer:Ingo.html
title: Tight Lower Bounds on the Length of Word Chains.
pages: 275-276
year: 1990
volume: 34
journal name: Inf. Process. Lett.
number: 5

Frederickson80
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Frederickson:Greg_N=.html
title: Probabilistic Analysis for Simple One- and Two-Dimensional Bin Packing Algorithms.
pages: 156-161
year: 1980
volume: 11
journal name: Inf. Process. Lett.
number: 4/5

Frederickson83
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Frederickson:Greg_N=.html
title: Scheduling Unit-Time Tasks With Integer Release Times and Deadlines.
pages: 171-173
year: 1983
volume: 16
journal name: Inf. Process. Lett.
number: 4

Frederickson84
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Frederickson:Greg_N=.html
title: On Linear-Time Algorithms for Five-Coloring Planar Graphs.
pages: 219-224
year: 1984
volume: 19
journal name: Inf. Process. Lett.
number: 5

Herrmann98
type: Article
last modified date: 2003-11-20
author: Herrmann:Philippe.html
title: Timed Automata and Recognizability.
pages: 313-318
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(97)00217-2

RubinsteinS95
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rubinstein:Roy_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Shutt:John_N=.html
title: Self-Modifying Finite Automata: An Introduction.
pages: 185-190
year: 1995
volume: 56
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/0020-0190(95)00157-8

Hsieh02
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hsieh:Sun=Yuan.html
title: On vertex ranking of a starlike graph.
pages: 131-135
year: 2002
volume: 82
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(01)00262-9

Pettersson91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pettersson:Jimmi_S=.html
title: Comments on ``Always-True is not Invariant'': Assertional Reasoning About Invariance.
pages: 231-233
year: 1991
volume: 40
journal name: Inf. Process. Lett.
number: 5

Long03
type: Article
last modified date: 2003-11-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Long:Philip_M=.html
title: An upper bound on the sample complexity of PAC-learning halfspaces with respect to the uniform distribution.
pages: 229-234
year: 2003
volume: 87
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(03)00311-9

Long94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Long:Philip_M=.html
title: Halfspace Learning, Linear Programming, and Nonmalicious Distributions.
pages: 245-250
year: 1994
volume: 51
journal name: Inf. Process. Lett.
number: 5

Esseling92
type: Article
last modified date: 2003-11-20
author: Esseling:Klaas.html
title: The Order of Appel's Algorithm.
pages: 141-147
year: 1992
volume: 41
journal name: Inf. Process. Lett.
number: 3

NagumoLW96
type: Article
last modified date: 2003-11-20
author: Nagumo:Hideo.html
author: Lu:Mi.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Watson:Karan_L=.html
title: On-Line Longest Fragment First Parsing Algorithm.
pages: 91-96
year: 1996
volume: 59
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/0020-0190(96)00066-X

MeiI94
type: Article
last modified date: 2003-11-20
author: Mei:Aohan.html
author: Igarashi:Yoshihide.html
title: An Efficient Strategy for Robot Navigation in Unknown Environment.
pages: 51-56
year: 1994
volume: 52
journal name: Inf. Process. Lett.
number: 1

Low98a
type: Article
last modified date: 2003-11-20
author: Low:Chor Ping.html
title: A Polynomial Time Solvable Instance of the Feasible Minimum Cover Problem.
pages: 141-146
year: 1998
volume: 68
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(98)00154-9

Loui80
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Loui:Michael_C=.html
title: A Note on the Pebble Game.
pages: 24-26
year: 1980
volume: 11
journal name: Inf. Process. Lett.
number: 1

Lowe95
type: Article
last modified date: 2003-11-20
author: Lowe:Gavin.html
title: An Attack on the Needham-Schroeder Public-Key Authentication Protocol.
pages: 131-133
year: 1995
volume: 56
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/0020-0190(95)00144-2

BiniC79
type: Article
last modified date: 2003-11-20
author: Bini:Dario.html
author: Capovani:Milvio.html
title: Lower Bounds of the Complexity of Linear Algebras.
pages: 46-47
year: 1979
volume: 9
journal name: Inf. Process. Lett.
number: 1

BiniP85
type: Article
last modified date: 2003-11-20
author: Bini:Dario.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pan:Victor_Y=.html
title: Fast Parallel Polynomial Division via Reduction to Triangular Toeplitz Matrix Inversion and to Polynomial Inversion Modulo a Power.
pages: 79-81
year: 1985
volume: 21
journal name: Inf. Process. Lett.
number: 2

BiniP87
type: Article
last modified date: 2003-11-20
author: Bini:Dario.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pan:Victor_Y=.html
title: A Logarithmic Boolean Time Algorithm for Parallel Polynomial Division.
pages: 233-237
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 4

BeckerDDHKKMNRW82
type: Article
last modified date: 2006-10-05
author: Becker:Michael.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Degenhardt:W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Doenhardt:J=uuml=rgen.html
author: Hertel:Stefan.html
author: Kaninke:Gerd.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kerber:W=.html
author: Mehlhorn:Kurt.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/N=auml=her:Stefan.html
author: Rohnert:Hans.html
author: Winter:Thomas.html
title: A Probabilistic Algorithm for Vertex Connectivity of Graphs.
pages: 135-136
year: 1982
volume: 15
journal name: Inf. Process. Lett.
number: 3

Weiss94
type: Article
last modified date: 2003-11-20
author: Weiss:Mark Allen.html
title: Linear-Time Construction of Treaps and Cartesian Trees.
pages: 253-257
year: 1994
volume: 52
journal name: Inf. Process. Lett.
number: 5

Weiss95
type: Article
last modified date: 2003-11-20
author: Weiss:Mark Allen.html
title: A Note on Construction of Treaps and Cartesian Trees.
pages: 127
year: 1995
volume: 54
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/0020-0190(94)00234-P

MontiR95
type: Article
last modified date: 2003-11-20
author: Monti:Angelo.html
author: Roncato:Alessandro.html
title: Completeness Results Concerning Systolic Tree Automata and EOL Languages.
pages: 11-16
year: 1995
volume: 53
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/0020-0190(94)00170-4

MontiR96
type: Article
last modified date: 2003-11-20
author: Monti:Angelo.html
author: Roncato:Alessandro.html
title: A Gap Theorem for the Anonymous Torus.
pages: 279-285
year: 1996
volume: 57
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(95)00197-2

LuCW94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lu:Erl=Huei.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Yi=Chang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wuu:Hsiao=Peng.html
title: A Complete Decoding Algorithm for Double-Error-Correcting Primitive Binary BCH Codes of Odd m.
pages: 117-120
year: 1994
volume: 51
journal name: Inf. Process. Lett.
number: 3

Bergstra78
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
title: What is an Abstract Datatype?
pages: 42-43
year: 1978
volume: 7
journal name: Inf. Process. Lett.
number: 1

AtkinsonC87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chang:H=_W=.html
title: Computing the Number of Mergings with Constraints.
pages: 289-292
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 5

LuHT00
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lu:Bor=Kuan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hsu:Fang=Rong.html
author: Tang:Chuan Yi.html
title: Guarding in a simple polygon.
pages: 153-158
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(00)00100-9

AtkinsonS88
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: Santoro:Nicola.html
title: A Practical Algorithm for Boolean Matrix Multiplication.
pages: 37-38
year: 1988
volume: 29
journal name: Inf. Process. Lett.
number: 1

AtkinsonS92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sack:J=ouml=rg=R=uuml=diger.html
title: Generating Binary Trees at Random.
pages: 21-23
year: 1992
volume: 41
journal name: Inf. Process. Lett.
number: 1

AtkinsonS94
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sack:J=ouml=rg=R=uuml=diger.html
title: Uniform Generation of Forests of Restricted Height.
pages: 323-327
year: 1994
volume: 50
journal name: Inf. Process. Lett.
number: 6

AtkinsonS95
type: Article
last modified date: 2003-11-20
author: Atkinson:Simon.html
author: Scholefield:David.html
title: Transformational vs Reactive Refinement in Real-Time Systems.
pages: 201-210
year: 1995
volume: 55
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/0020-0190(95)00095-T

AtkinsonS99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sack:J=ouml=rg=R=uuml=diger.html
title: Pop-Stacks in Parallel.
pages: 63-67
year: 1999
volume: 70
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(99)00049-6

AtkinsonW93
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Atkinson:M=_D=.html
author: Walker:Louise.html
title: Enumerating k-Way Trees.
pages: 73-75
year: 1993
volume: 48
journal name: Inf. Process. Lett.
number: 2

MarcoP01
type: Article
last modified date: 2003-11-20
author: Marco:Gianluca De.html
author: Pelc:Andrzej.html
title: Faster broadcasting in unknown radio networks.
pages: 53-56
year: 2001
volume: 79
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(00)00178-2

MarcoV98
type: Article
last modified date: 2003-11-20
author: Marco:Gianluca De.html
author: Vaccaro:Ugo.html
title: Broadcasting in Hypercubes and Star Graphs with Dynamic Faults.
pages: 321-326
year: 1998
volume: 66
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(98)00074-X

Fisher74
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fisher:David_A=.html
title: Bounded Workspace Garbage Collection in an Address-Order Preserving List Processing Environment.
pages: 29-32
year: 1974
volume: 3
journal name: Inf. Process. Lett.
number: 1

KlavzarKM99
type: Article
last modified date: 2005-05-23
author: Klavzar:Sandi.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koolen:Jack_H=.html
author: Mulder:Henry Martyn.html
title: Graphs which Locally Mirror the Hypercube Structure.
pages: 87-90
year: 1999
volume: 71
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/S0020-0190(99)00089-7

Stojanovski86
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stojanovski:J=.html
title: A Note on Implementing Prolog in Lisp.
pages: 261-264
year: 1986
volume: 23
journal name: Inf. Process. Lett.
number: 5

GroplHNP02
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gr=ouml=pl:Clemens.html
author: Hougardy:Stefan.html
author: Nierhoff:Till.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pr=ouml=mel:Hans_J=uuml=rgen.html
title: Steiner trees in uniformly quasi-bipartite graphs.
pages: 195-200
year: 2002
volume: 83
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(01)00335-0

Miao03
type: Article
last modified date: 2003-11-24
author: Miao:Ying.html
title: A combinatorial characterization of regular anonymous perfect threshold schemes.
pages: 131-135
year: 2003
volume: 85
journal name: Inf. Process. Lett.
number: 3
ee: http://dx.doi.org/10.1016/S0020-0190(02)00368-X

Snepscheut81
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Snepscheut:Jan_L=_A=_van_de.html
title: Synchronous Communication Between Asynchronous Components.
pages: 127-130
year: 1981
volume: 13
journal name: Inf. Process. Lett.
number: 3

Snepscheut85
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Snepscheut:Jan_L=_A=_van_de.html
title: Evaluating Expressions with a Queue.
pages: 65-66
year: 1985
volume: 20
journal name: Inf. Process. Lett.
number: 2

Snepscheut87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Snepscheut:Jan_L=_A=_van_de.html
title: "Algorithms for On-the-Fly Garbage Collection" Revisited.
pages: 211-216
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 4

Snepscheut91
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Snepscheut:Jan_L=_A=_van_de.html
title: Inversion of a Recursive Tree Traversal.
pages: 265-267
year: 1991
volume: 39
journal name: Inf. Process. Lett.
number: 5

Snepscheut92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Snepscheut:Jan_L=_A=_van_de.html
title: A LISP Programming Exercise.
pages: 103-108
year: 1992
volume: 42
journal name: Inf. Process. Lett.
number: 2

FraenkelY80
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fraenkel:Aviezri_S=.html
author: Yesha:Yaacov.html
title: Complexity of Solving Algebraic Equations.
pages: 178-179
year: 1980
volume: 10
journal name: Inf. Process. Lett.
number: 4/5

BirdH87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bird:Richard_S=.html
author: Hughes:John.html
title: The alpha-beta Algorithm: An Exercise in Program Transformation.
pages: 53-57
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 1

Giakoumakis96
type: Article
last modified date: 2003-11-20
author: Giakoumakis:Vassilis.html
title: P_4-laden Graphs: A New Class of Brittle Graphs.
pages: 29-36
year: 1996
volume: 60
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(96)00134-2

BirdR97
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bird:Richard_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Ravelo:Jes=uacute=s_N=.html
title: On Computing Representatives.
pages: 1-7
year: 1997
volume: 63
journal name: Inf. Process. Lett.
number: 1
ee: http://dx.doi.org/10.1016/S0020-0190(97)00087-2

Mili83
type: Article
last modified date: 2003-11-20
author: Mili:Ali.html
title: Verifying Programs by Induction on Their Data Structure: General Format and Applications.
pages: 155-160
year: 1983
volume: 17
journal name: Inf. Process. Lett.
number: 3

Luca81
type: Article
last modified date: 2003-11-20
author: Luca:Aldo de.html
title: A Combinatorial Property of the Fibonacci Words.
pages: 193-195
year: 1981
volume: 12
journal name: Inf. Process. Lett.
number: 4

Luca95
type: Article
last modified date: 2003-11-20
author: Luca:Aldo de.html
title: A Division Property of the Fibonacci Word.
pages: 307-312
year: 1995
volume: 54
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/0020-0190(95)00067-M

Yodogawa84
type: Article
last modified date: 2003-11-20
author: Yodogawa:Eiji.html
title: A Note on Array Grammars.
pages: 51-54
year: 1984
volume: 18
journal name: Inf. Process. Lett.
number: 1

Welzl85
type: Article
last modified date: 2003-11-20
author: Welzl:Emo.html
title: Constructing the Visibility Graph for n-Line Segments in O(n²) Time.
pages: 167-171
year: 1985
volume: 20
journal name: Inf. Process. Lett.
number: 4

Gergov94
type: Article
last modified date: 2003-11-20
author: Gergov:Jordan.html
title: Time-Space Tradeoffs for Integer Multiplication on Various Types of Input Oblivious Sequential Machines.
pages: 265-269
year: 1994
volume: 51
journal name: Inf. Process. Lett.
number: 5

Magazine83
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Magazine:Michael_J=.html
title: Optimality of Intuitive Checkpointing Policies.
pages: 63-66
year: 1983
volume: 17
journal name: Inf. Process. Lett.
number: 2

SugiharaI95
type: Article
last modified date: 2003-11-20
author: Sugihara:Kokichi.html
author: Inagaki:Hiroshi.html
title: Why is the 3D Delaunay Triangulation Difficult to Construct.
pages: 275-280
year: 1995
volume: 54
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(95)00028-B

NikolopoulosP00
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nikolopoulos:Stavros_D=.html
author: Papadopoulos:Charis.html
title: On the performance of the first-fit coloring algorithm on permutation graphs.
pages: 265-273
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(00)00109-5

NikolopoulosR98
type: Article
last modified date: 2004-04-30
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nikolopoulos:Stavros_D=.html
author: Rondogiannis:Panos.html
title: On the Number of Spanning Trees of Multi-Star Related Graphs.
pages: 183-188
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(98)00008-8

Hwang92a
type: Article
last modified date: 2003-11-20
author: Hwang:Tzonelih.html
title: Attacks on Okamoto and Tanaka's One-Way ID-Based Key Distribution System.
pages: 81-86
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 2

Hwang92b
type: Article
last modified date: 2003-11-20
author: Hwang:Tzonelih.html
title: Efficient ID-Based Key Distribution with Tamperfree Devices.
pages: 31-34
year: 1992
volume: 44
journal name: Inf. Process. Lett.
number: 1

HwangC95
type: Article
last modified date: 2003-11-20
author: Hwang:Tzonelih.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Yung=Hsiang.html
title: On the Security of SPLICE/AS - The Authentication System in WIDE Internet.
pages: 91-101
year: 1995
volume: 53
journal name: Inf. Process. Lett.
number: 2
ee: http://dx.doi.org/10.1016/0020-0190(94)00178-2

HwangC99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hwang:Shien=Ching.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Gen=Huey.html
title: A note on cyclic-cubes.
pages: 131-135
year: 1999
volume: 72
journal name: Inf. Process. Lett.
number: 3-4
ee: http://dx.doi.org/10.1016/S0020-0190(99)00138-6

Lutz90
type: Article
last modified date: 2003-11-20
author: Lutz:Earlin.html
title: Some Proofs of Data Refinement.
pages: 179-185
year: 1990
volume: 34
journal name: Inf. Process. Lett.
number: 4

HwangP00
type: Article
last modified date: 2006-06-29
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hwang:Frank_K=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pai:C=_K=.html
title: Sequential construction of a circular consecutive-2 system.
pages: 231-235
year: 2000
volume: 75
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(00)00106-X

HwangW98
type: Article
last modified date: 2003-11-20
author: Hwang:Tzonelih.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Chih=Hung.html
title: Arbetrated Unconditionally Secure Authentication Scheme with Multi-Senders.
pages: 189-193
year: 1998
volume: 65
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(98)00011-8

HwangW99
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hwang:Wen=Ping.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Ching=Lin.html
title: In-Place Random List Permutations.
pages: 255-257
year: 1999
volume: 70
journal name: Inf. Process. Lett.
number: 6
ee: http://dx.doi.org/10.1016/S0020-0190(99)00076-9

MolchanovG73
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Molchanov:I=_N=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Galba:E=_F=.html
title: On the Convergence of Difference Schemes Approximating a Plane Static Problem of the Theory of Elasticity with Mixed Boundary Conditions.
pages: 118-
year: 1973
volume: 2
journal name: Inf. Process. Lett.
number: 4

MolchanovI73
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Molchanov:I=_N=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/Iakovlev:M=_F=.html
title: On One Class of Iterative Methods for Obtaining the Generalized Solution of Non-Consistent Systems of Linear Algebraic Equations.
pages: 86-90
year: 1973
volume: 2
journal name: Inf. Process. Lett.
number: 3

MolchanovN72
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Molchanov:I=_N=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nikolenko:L=_D=.html
title: On an Approach to Integrating Boundary Problems With a Non-Unique Solution.
pages: 168-172
year: 1972
volume: 1
journal name: Inf. Process. Lett.
number: 4

YoussefT95
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Youssef:Amr_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tavares:Stafford_E=.html
title: Resistance of Balanced s-Boxes to Linear and Differential Cryptanalysis.
pages: 249-252
year: 1995
volume: 56
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/0020-0190(95)00156-6

YoussefT96
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Youssef:Amr_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tavares:Stafford_E=.html
title: Comment on "Bounds on the Number of Functions Satisfying the Strict Avalanche Criterion".
pages: 271-275
year: 1996
volume: 60
journal name: Inf. Process. Lett.
number: 5
ee: http://dx.doi.org/10.1016/S0020-0190(96)00166-4

MolchanovS72
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Molchanov:I=_N=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stepanets:N=_I=.html
title: Iterative Methods for Solving Difference Equations of the Theory of Elasticity not Depending on the Spacing of the Difference Set.
pages: 205-210
year: 1972
volume: 1
journal name: Inf. Process. Lett.
number: 5

DAtriM88
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/D=Atri:Alessandro.html
author: Moscarini:Marina.html
title: On Hypergraph Acyclicity and Graph Chordality.
pages: 271-274
year: 1988
volume: 29
journal name: Inf. Process. Lett.
number: 5

CzechHM92
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Czech:Zbigniew_J=.html
author: Havas:George.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Majewski:Bohdan_S=.html
title: An Optimal Algorithm for Generating Minimal Perfect Hash Functions.
pages: 257-264
year: 1992
volume: 43
journal name: Inf. Process. Lett.
number: 5

MarieT87
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Marie:Raymond_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Trivedi:Kishor_S=.html
title: A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue.
pages: 397-401
year: 1987
volume: 24
journal name: Inf. Process. Lett.
number: 6

Attie02
type: Article
last modified date: 2003-11-20
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Attie:Paul_C=.html
title: Wait-free Byzantine consensus.
pages: 221-227
year: 2002
volume: 83
journal name: Inf. Process. Lett.
number: 4
ee: http://dx.doi.org/10.1016/S0020-0190(01)00334-9

Naor87
type: Article
last modified date: 2003-11-20
author: Naor:Joseph.html
title: A Fast Parallel Coloring of Planar Graphs with Five Colors.
pages: 51-53
year: 1987
volume: 25
journal name: Inf. Process. Lett.
number: 1

CasasDS89
type: Article
last modified date: 2003-11-20
author: Casas:Rafael.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/D=iacute=az:Josep.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Steyaert:Jean=Marc.html
title: Average-Case Analysis of Robinson's Unification Algorithm with Two Different Variables.
pages: 227-232
year: 1989
volume: 31
journal name: Inf. Process. Lett.
number: 5