@article{Indermark-Noll/06,
AUTHOR = {Indermark, Klaus and Noll, Thomas},
TITLE = {Algebraic correctness proofs for compiling recursive function definitions with strictness information},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {1},
PAGES = {1-43},
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-0013-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dingel/06,
AUTHOR = {Dingel, Juergen},
TITLE = {Compositional analysis of C/C++ programs with VeriSoft},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {1},
PAGES = {45-71},
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-0016-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Corradini-Di_Berardini-Vogler/06,
AUTHOR = {Corradini, F. and Di Berardini, M.R. and Vogler, W.},
TITLE = {Fairness of actions in system computations},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {2},
PAGES = {73-130},
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-0011-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Pan-Alhazov/06,
AUTHOR = {Pan, Linqiang and Alhazov, Artiom},
TITLE = {Solving HPP and SAT by $P$ systems with active membranes and separation rules},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {2},
PAGES = {131-145},
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-0018-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Arora-Jin-Sahin-Mahmoud-Choi/06,
AUTHOR = {Arora, Amrinder and Jin, Fanchun and Sahin, Gokhan and Mahmoud, Hosam and Choi, Hyeong-Ah},
TITLE = {Throughput analysis in wireless networks with multiple users and multiple channels},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {3},
PAGES = {147-164},
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-0012-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Harju-Nowotka/06,
AUTHOR = {Harju, Tero and Nowotka, Dirk},
TITLE = {Periods in extensions of words},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {3},
PAGES = {165-171},
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-0014-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Li-Shyr-Tsai/06,
AUTHOR = {Li, Zheng-Zhu and Shyr, H.J. and Tsai, Y.S.},
TITLE = {Classifications of dense languages},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {3},
PAGES = {173-194},
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-0015-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/06a,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Refinement verification of the lazy caching algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {3},
PAGES = {195-222},
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-0020-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bordihn-Holzer/06,
AUTHOR = {Bordihn, Henning and Holzer, Markus},
TITLE = {Programmed grammars and their relation to the LBA problem},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {4},
PAGES = {223-242},
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-0017-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aguech-Lasmar-Mahmoud/06,
AUTHOR = {Aguech, Rafik and Lasmar, Nabil and Mahmoud, Hosam},
TITLE = {Distances in random digital search trees},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {4},
PAGES = {243-264},
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-0019-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Carayol-Meyer/06,
AUTHOR = {Carayol, Arnaud and Meyer, Antoine},
TITLE = {Linearly bounded infinite graphs},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {4},
PAGES = {265-292},
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-0022-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Amigo/06,
AUTHOR = {Amig{\'o}, Jos{\'e} Mar{\'{i}}a},
TITLE = {Representing the integers with powers of 2 and 3},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {5},
PAGES = {293-306},
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-0021-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Khomenko-Kondratyev-Koutny-Vogler/06,
AUTHOR = {Khomenko, Victor and Kondratyev, Alex and Koutny, Maciej and Vogler, Walter},
TITLE = {Merged processes: A new condensed representation of Petri net behaviour},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {5},
PAGES = {307-330},
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-0023-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Alhazov-Martin-Vide-Rogozhin/06,
AUTHOR = {Alhazov, Artiom and Mart{\'{i}}n-Vide, Carlos and Rogozhin, Yurii},
TITLE = {On the number of nodes in universal networks of evolutionary processors},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {5},
PAGES = {331-339},
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-0024-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Parama-Brisaboa-Penabad-Places/06,
AUTHOR = {Param{\'a}, Jos{\'e} R. and Brisaboa, Nieves R. and Penabad, Miguel R. and Places, {\'A}ngeles},
TITLE = {A semantic approach to optimize linear datalog programs},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {5},
PAGES = {341-370},
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-0025-9},
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},
}