@article{Gropl-Promel-Srivastav/01,
AUTHOR = {Gr{\"o}pl, Clemens and Pr{\"o}mel, Hans J{\"u}rgen and Srivastav, Anand},
TITLE = {On the evolution of the worst-case OBDD size},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {1-7},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambainis/01,
AUTHOR = {Ambainis, Andris},
TITLE = {On learning formulas in the limit and with assurance},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {9-11},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arkin-Hassin-Sviridenko/01,
AUTHOR = {Arkin, Esther M. and Hassin, Refael and Sviridenko, Maxim},
TITLE = {Approximating the maximum quadratic assignment problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {13-16},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tang-Yeh-Wang/01,
AUTHOR = {Tang, Shyue-Ming and Yeh, Fu-Long and Wang, Yue-Li},
TITLE = {An efficient algorithm for solving the homogeneous set sandwich problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {17-22},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tan/01,
AUTHOR = {Tan, Xuehou},
TITLE = {Shortest zookeeper's routes in simple polygons},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {23-26},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tan/01a,
AUTHOR = {Tan, Xuehou},
TITLE = {Fast computation of shortest watchman routes in simple polygons},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {27-33},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Li-Tan-Hsu-Sung/01,
AUTHOR = {Li, Tseng-Kuei and Tan, Jimmy J.M. and Hsu, Lih-Hsing and Sung, Ting-Yi},
TITLE = {The shuffle-cubes and their generalization},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {35-41},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Le_Bars/01,
AUTHOR = {Le Bars, Jean-Marie},
TITLE = {The 0-1 law fails for monadic existential second-order logic on undirected graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {1},
PAGES = {43-48},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Almstrum-Gries/01,
AUTHOR = {Almstrum, Vicki L. and Gries, David},
TITLE = {From the editors of this special issue},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {49-51},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dijkstra/01,
AUTHOR = {Dijkstra, Edsger W.},
TITLE = {Under the spell of Leibniz's dream},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {53-61},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Anderson-Moir-Ramamurthy/01,
AUTHOR = {Anderson, James H. and Moir, Mark and Ramamurthy, Srikanth},
TITLE = {A simple proof technique for priority-scheduled systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {63-70},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Backhouse-Fokkinga/01,
AUTHOR = {Backhouse, Roland and Fokkinga, Maarten},
TITLE = {The associativity of equivalence and the towers of Hanoi problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {71-76},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bijlsma/01,
AUTHOR = {Bijlsma, Lex},
TITLE = {Model-based specification},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {77-84},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Braben/01,
AUTHOR = {Braben, D.W.},
TITLE = {Bucking the trends},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {85-87},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feijen/01,
AUTHOR = {Feijen, W.H.J.},
TITLE = {The joy of formula manipulation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {89-96},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flanagan-Joshi-Leino/01,
AUTHOR = {Flanagan, Cormac and Joshi, Rajeev and Leino, K. Rustan M.},
TITLE = {Annotation inferene for modular checkers},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {97-108},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gouda/01,
AUTHOR = {Gouda, Mohamed G.},
TITLE = {Elements of security: Closure, convergence, and protection},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {109-114},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Herman-Masuzawa/01,
AUTHOR = {Herman, Ted and Masuzawa, Toshimitsu},
TITLE = {Available stabilizing heaps},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {115-121},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoare/01,
AUTHOR = {Hoare, Tony},
TITLE = {Legacy},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {123-129},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hofstee-Sawada/01,
AUTHOR = {Hofstee, H. Peter and Sawada, Jun},
TITLE = {Derivation of a rotator circuit with homogeneous interconnect},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {131-135},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoogerwoord/01,
AUTHOR = {Hoogerwoord, Rob R.},
TITLE = {Formality works},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {137-142},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{James-Singh/01,
AUTHOR = {James, Jerry and Singh, Ambuj K.},
TITLE = {Recovering distributed objects},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {143-150},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kaldewaij-Vries/01,
AUTHOR = {Kaldewaij, Anne and Vries, Laurens de},
TITLE = {Optimal real-time garbage collection for acyclic pointer structures},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {151-157},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Leal-Arora/01,
AUTHOR = {Leal, William and Arora, Anish},
TITLE = {State-level and value-level simulations in data refinement},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {159-167},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Leino/01,
AUTHOR = {Leino, K. Rustan M.},
TITLE = {Real estate of names},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {169-171},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manolios-Moore/01,
AUTHOR = {Manolios, Panagiotis and Moore, J Strother},
TITLE = {On the desirability of mechanizing calculational proofs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {173-179},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin/01,
AUTHOR = {Martin, Alain J.},
TITLE = {Towards an energy complexity of computation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {181-187},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{McIlroy/01,
AUTHOR = {McIlroy, M. Douglas},
TITLE = {The music of streams},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {189-195},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Misra/01,
AUTHOR = {Misra, Jayadev},
TITLE = {A walk over the shortest path: Dijkstra's algorithm viewed as fixed-point computation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {197-200},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Naumann/01,
AUTHOR = {Naumann, David A.},
TITLE = {Calculating sharp adaptation rules},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {201-208},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rao/01,
AUTHOR = {Rao, Josyula R.},
TITLE = {On the role of formal methods in security},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {209-212},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sanders/01,
AUTHOR = {Sanders, Beverly A.},
TITLE = {The shortest path in parallel},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {2-4},
PAGES = {213-217},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Li-Lilius/01,
AUTHOR = {Li, Xuandong and Lilius, Johan},
TITLE = {Efficient verification of a class of time Petri nets using linear programming},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {219-224},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Woeginger/01a,
AUTHOR = {Woeginger, Gerhard J.},
TITLE = {The reconstruction of polyominoes from their orthogonal projections},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {225-229},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Xiang-Ushijima-Tang/01,
AUTHOR = {Xiang, Limin and Ushijima, Kazuo and Tang, Changjie},
TITLE = {On generating $k$-ary trees in computer representation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {231-238},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin-Vide-Mitrana/01,
AUTHOR = {Mart{\'{i}}n-Vide, Carlos and Mitrana, Victor},
TITLE = {Some undecidable problems for parallel communicating finite automata systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {239-245},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Veloso-Veloso/01,
AUTHOR = {Veloso, Paulo A.S. and Veloso, Sheila R.M.},
TITLE = {On local modularity variants and $\Pi$-institutions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {247-253},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigni/01,
AUTHOR = {Grigni, Michelangelo},
TITLE = {A Sperner lemma complete for PPA},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {255-259},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Wongngamnit-Angluin/01,
AUTHOR = {Wongngamnit, Chinda and Angluin, Dana},
TITLE = {Robot localization in a grid},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {261-267},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kawei-Fujikake-Shibata/01,
AUTHOR = {Kawei, Hiroyuki and Fujikake, Naohiro and Shibata, Yukio},
TITLE = {Factorization of de Bruijn digraphs by cycle-rooted trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {269-275},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harary-Kreinovich-Longpre/01,
AUTHOR = {Harary, Frank and Kreinovich, Vladik and Longpr{\'{e}}, Luc},
TITLE = {A new graph characteristic and its application to numerical computability},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {277-282},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cholvi-Boronat/01,
AUTHOR = {Cholvi, Vicent and Boronat, Pablo},
TITLE = {A minimal property for characterizing deadlock-free programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {77},
NUMBER = {5-6},
PAGES = {283-290},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}