@article{Cieslik/05,
AUTHOR = {Cie{\'s}lik, Iwona},
TITLE = {On-line coloring and cliques covering for $K_{s,t}$-free graphs},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {1},
PAGES = {1-20},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0167-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Buttner/05,
AUTHOR = {B{\"u}ttner, Markus},
TITLE = {Enhanced prefetching and caching strategies for single- and multi-disk systems},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {1},
PAGES = {21-42},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0170-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Geerts-Smits-Van_den_Bussche/05,
AUTHOR = {Geerts, Floris and Smits, Lieven and Van den Bussche, Jan},
TITLE = {N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {1},
PAGES = {43-56},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0171-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Jacobsen-Larsen/05,
AUTHOR = {Jacobsen, Lars and Larsen, Kim Skak},
TITLE = {Exponentially decreasing number of operations in balanced trees},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {1},
PAGES = {57-78},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0173-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Berger-Honda-Yoshida/05,
AUTHOR = {Berger, Martin and Honda, Kohei and Yoshida, Nobuko},
TITLE = {Genericity and the $\pi$-calculus},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {2-3},
PAGES = {83-141},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0175-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bettini-Bono-Venneri/05,
AUTHOR = {Bettini, Lorenzo and Bono, Viviana and Venneri, Betti},
TITLE = {MOMI: A calculus for mobile mixins},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {2-3},
PAGES = {143-190},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0176-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Gay-Hole/05,
AUTHOR = {Gay, Simon and Hole, Malcolm},
TITLE = {Subtyping for session types in the pi calculus},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {2-3},
PAGES = {191-225},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0177-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hennessy-Rathke-Yoshida/05,
AUTHOR = {Hennessy, Matthew and Rathke, Julian and Yoshida, Nobuko},
TITLE = {SAFEDPI: A language for controlling mobile code},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {4-5},
PAGES = {227-290},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0178-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kobayashi/05,
AUTHOR = {Kobayashi, Naoki},
TITLE = {Type-based information flow analysis for the $\pi$-calculus},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {4-5},
PAGES = {291-347},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0179-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Konig/05,
AUTHOR = {K{\"o}nig, Barbara},
TITLE = {A general framework for types in graph rewriting},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {4-5},
PAGES = {349-388},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0180-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Duggan/05,
AUTHOR = {Duggan, Dominic},
TITLE = {Type-based hot swapping of running modules},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {4-5},
PAGES = {181-220},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0151-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Lamoureux-Nickerson/05,
AUTHOR = {Lamoureux, Michael G. and Nickerson, Bradford G.},
TITLE = {A deterministic skip list for $k$-dimensional range search},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {4-5},
PAGES = {221-255},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0157-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Csuhaj-Varju-Martin-Vide-Mitrana/05,
AUTHOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Mart{\'{i}}n-Vide, Carlos and Mitrana, Victor},
TITLE = {Hybrid networks of evolutionary processors are computationally complete},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {4-5},
PAGES = {257-272},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0158-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Brodal-Demaine-Munro/05,
AUTHOR = {Brodal, Gerth St{\o}lting and Demaine, Erik D. and Munro, J. Ian},
TITLE = {Fast allocation and deallocation with an improved buddy system},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {4-5},
PAGES = {273-291},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0159-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Morvan-Rispal/05,
AUTHOR = {Morvan, Christophe and Rispal, Chlo{\'e}},
TITLE = {Families of automata characterizing context-sensitive languages},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {4-5},
PAGES = {293-314},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0160-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Jiang-He/05,
AUTHOR = {Jiang, Yiwei and He, Yong},
TITLE = {Preemptive online algorithms for scheduling with machine cost},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {6},
PAGES = {315-340},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-004-0156-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Klonowska-Lennerstad-Lundberg-Svahnberg/05,
AUTHOR = {Klonowska, Kamilla and Lennerstad, Hkan and Lundberg, Lars and Svahnberg, Charlie},
TITLE = {Optimal recovery schemes in fault tolerant distributed computing},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {6},
PAGES = {341-365},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0161-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Vansummeren/05,
AUTHOR = {Vansummeren, Stijn},
TITLE = {On the complexity of deciding typability in the relational algebra},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {6},
PAGES = {367-381},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0162-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chen-Sanders/05,
AUTHOR = {Chen, Yifeng and Sanders, J.W.},
TITLE = {The weakest specifunction},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {7-8},
PAGES = {383-414},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0163-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kucera-Strejcek/05,
AUTHOR = {Ku{\v{c}}era, Anton{\'{i}}n and Strej{\v{c}}ek, Jan},
TITLE = {The stuttering principle revisited},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {7-8},
PAGES = {415-434},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0164-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Zuliani/05,
AUTHOR = {Zuliani, Paolo},
TITLE = {Compiling quantum programs},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {7-8},
PAGES = {435-473},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0165-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Schmitt-Saake/05,
AUTHOR = {Schmitt, Ingo and Saake, Gunter},
TITLE = {A comprehensive database schema integration method based on the theory of formal concepts},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {7-8},
PAGES = {475-524},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0166-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ying/05,
AUTHOR = {Ying, Mingsheng},
TITLE = {$\pi$-calculus with noisy channels},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {9},
PAGES = {525-593},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0168-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Epstein-van_Stee/05,
AUTHOR = {Epstein, Leah and van Stee, Rob},
TITLE = {Online square and cube packing},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {9},
PAGES = {595-606},
YEAR = {2005},
EDITOR = {Bauer, F.L. and Broy, M. and Gries, D. and Olderog, E.-R. and Turski, W.M.},
URL = {http://dx.doi.org/10.1007/s00236-005-0169-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}