@article{Bonsangue-Arbab-Bakker-Rutten-Scutella-Zavattaro/00,
AUTHOR = {Bonsangue, M.M. and Arbab, F. and Bakker, J.W. de and Rutten, J.J.M.M. and Scutell{\`a}, A. and Zavattaro, G.},
TITLE = {A transition system semanatics for the control-driven coordination language Manifold},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {3-47},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Busi-Gorrieri-Zavattaro/00a,
AUTHOR = {Busi, Nadia and Gorrieri, Roberto and Zavattaro, Gianluigi},
TITLE = {Comparing three semantics for Linda-like languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {49-90},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hedman-Kok-Sere/00,
AUTHOR = {Hedman, Eric J. and Kok, Joost N. and Sere, Kaisa},
TITLE = {Coordinating action systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {91-115},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Jagannathan/00,
AUTHOR = {Jagannathan, Suresh},
TITLE = {Continuation-based transformations for coordination languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {117-146},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Amadio/00,
AUTHOR = {Amadio, Roberto M.},
TITLE = {On modelling mobility},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {147-176},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cardelli-Gordon/00,
AUTHOR = {Cardelli, Luca and Gordon, Andrew D.},
TITLE = {Mobile ambients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {177-213},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Nicola-Ferrari-Pugliese-Venneri/00,
AUTHOR = {de Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti},
TITLE = {Types for access control},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {1},
PAGES = {215-254},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cai-Sivakumar/00,
AUTHOR = {Cai, Jin-Yi and Sivakumar, D.},
TITLE = {Resolution of Hartmanis' conjecture for NL-hard sparse sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {257-269},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Berry-Gascuel/00,
AUTHOR = {Berry, Vincent and Gascuel, Olivier},
TITLE = {Inferring evolutionary trees with strong combinatorial evidence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {271-298},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chen/00f,
AUTHOR = {Chen, Lin},
TITLE = {A selected tour of the theory of identification matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {299-318},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Reischuk/00,
AUTHOR = {Reischuk, R{\"u}diger},
TITLE = {Can large fanin circuits perform reliable computations in the presence of faults?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {319-335},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kobayashi-Otto/00,
AUTHOR = {Kobayashi, Y. and Otto, F.},
TITLE = {Repetitiveness of languages generated by morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {337-378},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Eades-Lin/00,
AUTHOR = {Eades, Peter and Lin, Xuemin},
TITLE = {Spring algorithms and symmetry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {379-405},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kashem-Zhou-Nishizeki/00,
AUTHOR = {Kashem, Md. Abul and Zhou, Xiao and Nishizeki, Takao},
TITLE = {Algorithms for generalized vertex-rankings of partial $k$-trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {407-427},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Peng-Ho-Hsu-Ko-Tang/00,
AUTHOR = {Peng, Sheng-Lung and Ho, Chin-Wen and Hsu, Tsan-sheng and Ko, Ming-Tat and Tang, Chuan Yu},
TITLE = {Edge and node searching problems on trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {429-446},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Poulakidas-Srinivasan-Egecioglu-Ibarra-Yang/00,
AUTHOR = {Poulakidas, A.S. and Srinivasan, A. and E{\u{g}}ecio{\u{g}}lu, {\"O}. and Ibarra, O. and Yang, T.},
TITLE = {Image compression for fast wavelet-based subregion retrieval},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {447-469},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hofmeister-Krause-Simon/00,
AUTHOR = {Hofmeister, Thomas and Krause, Matthias and Simon, Hans U.},
TITLE = {Contrast-optimal $k$ out of $n$ secret sharing schemes in visual cryptography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {471-485},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Annexstein-Berman-Hsu-Swaminathan/00,
AUTHOR = {Annexstein, Fred S. and Berman, Kenneth A. and Hsu, Tsan-Sheng and Swaminathan, Ram},
TITLE = {A multi-tree routing scheme using acyclic orientations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {240},
NUMBER = {2},
PAGES = {487-494},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}