@article{Boyar-Favrholdt-Larsen-Nielsen/03,
AUTHOR = {Boyar, Joan and Favrholdt, Lene M. and Larsen, Kim S. and Nielsen, Morten N.},
TITLE = {Extending the accommodating function},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {1},
PAGES = {3-35},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0124-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Doberkat/03,
AUTHOR = {Doberkat, Ernst-Erich},
TITLE = {Pipelines: Modelling a software architecture through relations},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {1},
PAGES = {37-79},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0121-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Ben-Amram-Berkman-Petersen/03,
AUTHOR = {Ben-Amram, Amir M. and Berkman, Omer and Petersen, Holger},
TITLE = {Element distinctness on one-tape Turing machines: A complete solution},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {81-94},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0125-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Khomenko-Koutny-Vogler/03,
AUTHOR = {Khomenko, Victor and Koutny, Maciej and Vogler, Walter},
TITLE = {Canonical prefixes of Petri net unfoldings},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {95-118},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0122-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Kari-Konstantinidis-Losseva-Wozniak/03,
AUTHOR = {Kari, Lila and Konstantinidis, Stavros and Losseva, Elena and Wozniak, Geoff},
TITLE = {Sticky-free and overhang-free DNA languages},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {119-157},
YEAR = {2003},
KEYWORDS = {theoretical dna computing, dna encodings, codes, formal languages},
URL = {http://dx.doi.org/10.1007/s00236-003-0118-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Lesley-Fekete/03,
AUTHOR = {Lesley, N. and Fekete, A.},
TITLE = {Providing view synchrony for group communication services},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {3},
PAGES = {159-210},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0129-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Layuan-Chunlin/03,
AUTHOR = {Layuan, Li and Chunlin, Li},
TITLE = {A distributed QoS-aware multicast routing protocol},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {3},
PAGES = {211-233},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0123-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Walther/04,
AUTHOR = {Walther, Andrea},
TITLE = {Program reversals for evolutions with non-uniform step costs},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {4},
PAGES = {235-263},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0131-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Charpentier-Chandy/04,
AUTHOR = {Charpentier, Michel and Chandy, K. Mani},
TITLE = {Specification transformers: A predicate transformer approach to composition},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {4},
PAGES = {265-301},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0130-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Lee-Wu-Sung/04,
AUTHOR = {Lee, Wen-Chiung and Wu, Chin-Chia and Sung, Hua-Jung},
TITLE = {A bi-criterion single-machine scheduling problem with learning considerations},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {4},
PAGES = {303-315},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0132-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Barbuti-Tesei/04,
AUTHOR = {Barbuti, Roberto and Tesei, Luca},
TITLE = {Timed automata with urgent transitions},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {5},
PAGES = {317-347},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0135-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Andrei-Chin-Cavadini/04,
AUTHOR = {Andrei, Stefan and Chin, Wei-Ngan and Cavadini, Salvador Valerio},
TITLE = {Self-embedded context-free grammars with regular counterparts},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {5},
PAGES = {349-365},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0133-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{He-Jiang/04,
AUTHOR = {He, Yong and Jiang, Yiwei},
TITLE = {Optimal algorithms for semi-online preemptive scheduling problems on two uniform machines},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {5},
PAGES = {367-383},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0134-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Engelfriet-Gelsema/04,
AUTHOR = {Engelfriet, Joost and Gelsema, Tjalling},
TITLE = {A new natural structural congruence in the pi-calculus with replication},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {6 - 7},
PAGES = {385-430},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0141-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Markey/04,
AUTHOR = {Markey, Nicolas},
TITLE = {Past is for free: On the complexity of verifying linear temporal properties with past},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {6 - 7},
PAGES = {431-458},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-003-0136-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Scott-Johnstone/04,
AUTHOR = {Scott, Elizabeth and Johnstone, Adrian},
TITLE = {Reducing non-determinism in right nulled GLR parsers},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {6 - 7},
PAGES = {459-489},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0137-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Domaratzki/04,
AUTHOR = {Domaratzki, Michael},
TITLE = {Trajectory-based codes},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {6 - 7},
PAGES = {491-527},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0140-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Grumbach-Rafanelli-Tininini/04,
AUTHOR = {Grumbach, St{\'e}phane and Rafanelli, Maurizio and Tininini, Leonardo},
TITLE = {On the equivalence and rewriting of aggregate queries},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {8},
PAGES = {529-584},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0101-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Bacchelli-Barcucci-Grazzini-Pergola/04,
AUTHOR = {Bacchelli, Silvia and Barcucci, Elena and Grazzini, Elisabetta and Pergola, Elisa},
TITLE = {Exhaustive generation of combinatorial objects by ECO},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {8},
PAGES = {585-602},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0139-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Akkerman-Buchheim-Junger-Teske/04,
AUTHOR = {Akkerman, Thorsten and Buchheim, Christoph and J{\"u}nger, Michael and Teske, Daniel},
TITLE = {Erratum to ''The complexity of drawing trees nicely''},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {8},
PAGES = {603-607},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0138-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
NOTE = {Originally in Acta Informatica, Vol. 18, 1983, 377-392},
}
@article{Dolev-Schiller/04,
AUTHOR = {Dolev, Shlomi and Schiller, Elad},
TITLE = {Self-stabilizing group communication in directed networks},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {9},
PAGES = {609-636},
YEAR = {2004},
KEYWORDS = {self-stabilization, group communication, directed networks},
URL = {http://dx.doi.org/10.1007/s00236-004-0143-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Delvaux-Horsten/04,
AUTHOR = {Delvaux, Steven and Horsten, Leon},
TITLE = {On best transitive approximations to simple graphs},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {9},
PAGES = {637-655},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0144-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Epstein-Tassa/04,
AUTHOR = {Epstein, Leah and Tassa, Tamir},
TITLE = {Approximation schemes for the min-max starting time problem},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {9},
PAGES = {657-674},
YEAR = {2004},
URL = {http://dx.doi.org/10.1007/s00236-004-0145-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}