@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{Majster-Cederbaum-Wu-Yue/06,
AUTHOR = {Majster-Cederbaum, Mila and Wu, Jinzhao and Yue, Houguang},
TITLE = {Refinement of actions for real-time concurrent systems with causal ambiguity},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {6-7},
PAGES = {389-418},
YEAR = {2006},
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-0172-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ehrenfeucht-Harju-Rozenberg/06,
AUTHOR = {Ehrenfeucht, Andrzej and Harju, Tero and Rozenberg, Grzegorz},
TITLE = {Embedding linear orders in grids},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {6-7},
PAGES = {419-428},
YEAR = {2006},
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-0001-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Levi/06,
AUTHOR = {Levi, Francesca},
TITLE = {A typed encoding of boxed into safe ambients},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {6-7},
PAGES = {429-500},
YEAR = {2006},
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-0002-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Epstein-Tassa/06,
AUTHOR = {Epstein, Leah and Tassa, Tamir},
TITLE = {Vector assignment schemes for asymmetric settings},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {6-7},
PAGES = {501-514},
YEAR = {2006},
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-0003-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Trombetta-Montesi/06,
AUTHOR = {Trombetta, Alberto and Montesi, Danilo},
TITLE = {Equivalences and optimizations in an expressive XSLT subset},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {6-7},
PAGES = {515-539},
YEAR = {2006},
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-0004-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Meduna/06,
AUTHOR = {Meduna, Alexander},
TITLE = {Deep pushdown automata},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {541-552},
YEAR = {2006},
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-006-0005-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bozapalidis-Kalampakas/06,
AUTHOR = {Bozapalidis, Symeon and Kalampakas, Antonios},
TITLE = {Recognizability of graph and pattern languages},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {553-581},
YEAR = {2006},
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-006-0006-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/06,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Splitting forward simulations to copewith liveness},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {583-602},
YEAR = {2006},
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-006-0007-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Brlek-Pergola-Roques/06,
AUTHOR = {Brlek, Sre{\v{c}}ko and Pergola, Elisa and Roques, Olivier},
TITLE = {Non uniform random generation of generalized Motzkin paths},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {603-616},
YEAR = {2006},
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-006-0008-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Tatti/06,
AUTHOR = {Tatti, Nikolaj},
TITLE = {Safe projections of binary data sets},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {617-638},
YEAR = {2006},
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-006-0009-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Tiplea-Enea/06,
AUTHOR = {{\c{T}}iplea, Ferucio Lauren{\c{t}}iu and Enea, Constantin},
TITLE = {Abstractions of data types},
JOURNAL = {Acta Inf.},
VOLUME = {42},
NUMBER = {8-9},
PAGES = {639-671},
YEAR = {2006},
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-006-0010-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}