International Journal of Foundations of Computer Science, Volume 20

Volume 20, Number 1, February 2009

• Joachim Gudmundsson, James Harland:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Hee-Kap Ahn, Helmut Alt, Tetsuo Asano, Sang Won Bae, Peter Brass, Otfried Cheong, Christian Knauer, Hyeon-Suk Na, Chan-Su Shin, Alexander Wolff:
  Constructing Optimal Highways. 3-23
  Electronic Edition (link) BibTeX
• Heidi Gebauer, Yoshio Okamoto:
  Fast Exponential-Time Algorithms for the Forest Counting and the Tutte Polynomial Computation in Graph Classes. 25-44
  Electronic Edition (link) BibTeX
• Regant Y. S. Hung, Hing-Fung Ting:
  A Near-Optimal Broadcasting Protocol for Mobile Video-on-Demand. 45-55
  Electronic Edition (link) BibTeX
• Jeremy E. Dawson, Rajeev Goré:
  Termination of Abstract Reduction Systems. 57-82
  Electronic Edition (link) BibTeX
• Peter Morris, Thorsten Altenkirch, Neil Ghani:
  A Universe of Strictly Positive Families. 83-107
  Electronic Edition (link) BibTeX
• Damien Vergnaud:
  New Extensions of Pairing-Based Signatures into Universal (Multi) Designated Verifier Signatures. 109-133
  Electronic Edition (link) BibTeX
• Joachim Gudmundsson, Michiel H. M. Smid:
  On Spanners of Geometric Graphs. 135-149
  Electronic Edition (link) BibTeX
• Virgil Nicolae Serbanuta:
  On Parikh Matrices, Ambiguity, and PRINTS. 151-165
  Electronic Edition (link) BibTeX
• Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk:
  Knowledge States for the Caching Problem in Shared Memory Multiprocessor Systems. 167-183
  Electronic Edition (link) BibTeX
• Hartmut Messerschmidt, Friedrich Otto:
  On Deterministic CD-Systems of Restarting Automata. 185-209
  Electronic Edition (link) BibTeX

Volume 20, Number 2, April 2009

• K. G. Subramanian, Ang Miin Huey, Atulya K. Nagar:
  On Parikh Matrices. 211-219
  Electronic Edition (link) BibTeX
• Torsten Stüber, Heiko Vogler, Zoltán Fülöp:
  Decomposition of Weighted multioperator Tree Automata. 221-245
  Electronic Edition (link) BibTeX
• Natalia V. Shakhlevich, Akiyoshi Shioura, Vitaly A. Strusevich:
  Single Machine Scheduling with Controllable Processing Times by submodular Optimization. 247-269
  Electronic Edition (link) BibTeX
• Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
  Reduction Graphs from Overlap Graphs for Gene Assembly in Ciliates. 271-291
  Electronic Edition (link) BibTeX
• Katalin Anna Lázár, Erzsébet Csuhaj-Varjú, András Lörincz, György Vaszil:
  Dynamically formed Clusters of Agents in Eco-Grammar Systems. 293-311
  Electronic Edition (link) BibTeX
• Ching-Lueh Chang, Yuh-Dauh Lyuu, Yen-Wu Ti:
  Testing Embeddability between Metric Spaces. 313-329
  Electronic Edition (link) BibTeX
• Tomás Masopust:
  On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components. 331-340
  Electronic Edition (link) BibTeX
• Ondrej Zajícek:
  A Note on Scheduling Parallel Unit Jobs on Hypercubes. 341-349
  Electronic Edition (link) BibTeX
• Cheng-Chi Lee, Min-Shiang Hwang, Shiang-Feng Tzeng:
  A New Convertible Authenticated Encryption Scheme Based on the ElGamal Cryptosystem. 351-359
  Electronic Edition (link) BibTeX
• Danny Z. Chen, Mark A. Healy, Chao Wang, Bin Xu:
  Geometric Algorithms for the Constrained 1-d k-Means Clustering Problems and IMRT Applications. 361-377
  Electronic Edition (link) BibTeX