@article{Vagner-Melichar/07,
AUTHOR = {Vagner, Ladislav and Melichar, Bo{\v{r}}ivoj},
TITLE = {Parallel $LL$ parsing},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {1},
PAGES = {1-21},
YEAR = {2007},
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-0031-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {see Erratum in Acta Inf., Vol. 44, 2007, No. 1, 73-73},
}
@article{Dai-Lyuu/07,
AUTHOR = {Dai, Tian-Shyr and Lyuu, Yuh-Dauh},
TITLE = {An exact subexponential-time lattice algorithm for Asian options},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {1},
PAGES = {23-39},
YEAR = {2007},
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-0033-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Derrick-Wehrheim/07,
AUTHOR = {Derrick, John and Wehrheim, Heike},
TITLE = {On using data abstractions for model checking refinements},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {1},
PAGES = {41-71},
YEAR = {2007},
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-007-0042-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Vagner-Melichar/07a,
AUTHOR = {Vagner, Ladislav and Melichar, Bo{\v{r}}ivoj},
TITLE = {Erratum to ''Parallel $LL$ parsing''},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {1},
PAGES = {73-73},
YEAR = {2007},
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-0032-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Originally in Acta Inf., Vol. 44, 2007, No. 1, 1-21},
}
@article{Bergstra-Bethke-Ponse/07,
AUTHOR = {Bergstra, Jan and Bethke, Inge and Ponse, Alban},
TITLE = {Decision problems for pushdown threads},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {2},
PAGES = {75-90},
YEAR = {2007},
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-007-0040-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kahrs/07,
AUTHOR = {Kahrs, Stefan},
TITLE = {Infinitary rewriting: Meta-theory and convergence},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {2},
PAGES = {91-121},
YEAR = {2007},
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-007-0043-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/07,
AUTHOR = {Hesselink, Wim H.},
TITLE = {A criterion for atomicity revisited},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {2},
PAGES = {123-151},
YEAR = {2007},
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-007-0044-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kari-Mahalingam-Thierrin/07,
AUTHOR = {Kari, Lila and Mahalingam, Kalpana and Thierrin, Gabriel},
TITLE = {The syntactic monoid of hairpin-free languages},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {3-4},
PAGES = {153-166},
YEAR = {2007},
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-007-0041-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Okhotin/07,
AUTHOR = {Okhotin, Alexander},
TITLE = {Recursive descent parsing for Boolean grammars},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {3-4},
PAGES = {167-189},
YEAR = {2007},
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-007-0045-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Halava-Hirvensalo/07,
AUTHOR = {Halava, Vesa and Hirvensalo, Mika},
TITLE = {Improved matrix pair undecidability results},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {3-4},
PAGES = {191-205},
YEAR = {2007},
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-007-0047-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Vincent-Liu-Mohania/07,
AUTHOR = {Vincent, Millist W. and Liu, Jixue and Mohania, Mukesh},
TITLE = {On the equivalence between FDs in XML and FDs in relations},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {3-4},
PAGES = {207-247},
YEAR = {2007},
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-007-0048-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Geeraerts-Raskin-Van_Begin/07,
AUTHOR = {Geeraerts, Gilles and Raskin, Jean-Fran{\c{c}}ois and Van Begin, Laurent},
TITLE = {Well-structured languages},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {3-4},
PAGES = {249-288},
YEAR = {2007},
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-007-0050-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Afrati-Chirkova-Gergatsoulis-Pavlaki/07,
AUTHOR = {Afrati, Foto and Chirkova, Rada and Gergatsoulis, Manolis and Pavlaki, Vassia},
TITLE = {View selection for real conjunctive queries},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {5},
PAGES = {289-321},
YEAR = {2007},
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-007-0046-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Morris-Tyrrell/07,
AUTHOR = {Morris, Joseph M. and Tyrrell, Malcolm},
TITLE = {Dual unbounded nondeterminacy, recursion, and fixpoints},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {5},
PAGES = {323-344},
YEAR = {2007},
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-007-0049-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Iwamoto-Hatayama-Nakashiba-Morita-Imai/07,
AUTHOR = {Iwamoto, Chuzo and Hatayama, Naoki and Nakashiba, Yoshiaki and Morita, Kenichi and Imai, Katsunobu},
TITLE = {Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {5},
PAGES = {345-359},
YEAR = {2007},
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-007-0051-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bernini-Grazzini-Pergola-Pinzani/07,
AUTHOR = {Bernini, Antonio and Grazzini, Elisabetta and Pergola, Elisa and Pinzani, Renzo},
TITLE = {A general exhaustive generation algorithm for Gray structures},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {5},
PAGES = {361-376},
YEAR = {2007},
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-007-0053-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fuzzati-Merro-Nestmann/07,
AUTHOR = {Fuzzati, Rachele and Merro, Massimo and Nestmann, Uwe},
TITLE = {Distributed consensus, revisited},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {6},
PAGES = {377-425},
YEAR = {2007},
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-007-0052-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Scott-Johnstone-Economopoulos/07,
AUTHOR = {Scott, Elizabeth and Johnstone, Adrian and Economopoulos, Rob},
TITLE = {BRNGLR: A cubic Tomita-style GLR parsing algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {6},
PAGES = {427-461},
YEAR = {2007},
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-007-0054-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Haddad-Poitrenaud/07,
AUTHOR = {Haddad, Serge and Poitrenaud, Denis},
TITLE = {Recursive Petri nets --- Theory and application to discrete event systems},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {7-8},
PAGES = {463-508},
YEAR = {2007},
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-007-0055-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Nishimura-Ragde-Szeider/07,
AUTHOR = {Nishimura, Naomi and Ragde, Prabhakar and Szeider, Stefan},
TITLE = {Solving \#SAT using vertex covers},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {7-8},
PAGES = {509-523},
YEAR = {2007},
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-007-0056-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bergstra-Middelburg/07,
AUTHOR = {Bergstra, J.A. and Middelburg, C.A.},
TITLE = {Synchronous cooperation for explicit multi-threading},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {7-8},
PAGES = {525-569},
YEAR = {2007},
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-007-0057-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Jiang-He/07,
AUTHOR = {Jiang, Yiwei and He, Yong},
TITLE = {Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {7-8},
PAGES = {571-590},
YEAR = {2007},
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-007-0058-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Calders/07,
AUTHOR = {Calders, Toon},
TITLE = {The complexity of satisfying constraints on databases of transactions},
JOURNAL = {Acta Inf.},
VOLUME = {44},
NUMBER = {7-8},
PAGES = {591-624},
YEAR = {2007},
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-007-0060-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Janssen-Korlyukov-Van_den_Bussche/07,
AUTHOR = {Janssen, Wim and Korlyukov, Alexandr and Van den Bussche, Jan},
TITLE = {On the tree-transformation power of XSLT},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {6},
PAGES = {371-393},
YEAR = {2007},
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-0026-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Konstantinidis-Santean-Yu/07,
AUTHOR = {Konstantinidis, Stavros and Santean, Nicolae and Yu, Sheng},
TITLE = {Representation and uniformization of algebraic transductions},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {6},
PAGES = {395-417},
YEAR = {2007},
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-0027-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Honkala/07,
AUTHOR = {Honkala, Juha},
TITLE = {A new bound for the D0Ll sequence equivalence problem},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {6},
PAGES = {419-429},
YEAR = {2007},
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-0028-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Gravell/07,
AUTHOR = {Gravell, Andrew M.},
TITLE = {Verification conditions are code},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {6},
PAGES = {431-447},
YEAR = {2007},
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-0029-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Asarin-Dang-Girard/07,
AUTHOR = {Asarin, Eugene and Dang, Thao and Girard, Antoine},
TITLE = {Hybridization methods for the analysis of nonlinear systems},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {7},
PAGES = {451-476},
YEAR = {2007},
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-0035-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Tabuada/07,
AUTHOR = {Tabuada, Paulo},
TITLE = {Symbolic models for control systems},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {7},
PAGES = {477-500},
YEAR = {2007},
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-0036-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Wisniewski-Raussen/07,
AUTHOR = {Wisniewski, Rafael and Raussen, Martin},
TITLE = {Geometric analysis of nondeterminacy in dynamical systems --- Towards a geometric analysis of concurrent systems},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {7},
PAGES = {501-519},
YEAR = {2007},
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-0037-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Currie-Visentin/07,
AUTHOR = {Currie, James D. and Visentin, Terry I.},
TITLE = {On Abelian 2-avoidable binary patterns},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {8},
PAGES = {521-533},
YEAR = {2007},
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-0030-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fu/07,
AUTHOR = {Fu, Yuxi},
TITLE = {Fair ambients},
JOURNAL = {Acta Inf.},
VOLUME = {43},
NUMBER = {8},
PAGES = {535-594},
YEAR = {2007},
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-007-0038-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}