@article{Mahmoud/04,
AUTHOR = {Mahmoud, Hosam M.},
TITLE = {Random sprouts as internet models, and P{\'o}lya processes},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {1},
PAGES = {1-18},
YEAR = {2004},
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-0146-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bozapalidis-Kalampakas/04,
AUTHOR = {Bozapalidis, Symeon and Kalampakas, Antonios},
TITLE = {An axiomatization of graphs},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {1},
PAGES = {19-61},
YEAR = {2004},
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-0149-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Mahmoud/04a,
AUTHOR = {Mahmoud, Hosam M.},
TITLE = {Erratum to ''The size of random bucket trees via urn models''},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {1},
PAGES = {63-63},
YEAR = {2004},
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-0148-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Originally in: Acta Informatica, Vol. 38, 2002, No. 11-12, 813-838},
}
@article{Kim-Yang-Lee/04,
AUTHOR = {Kim, SungSuk and Yang, Sun Ok and Lee, SangKeun},
TITLE = {Maintaining mobile transactional consistency in hybrid broadcast environments},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {65-81},
YEAR = {2004},
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-003-0142-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Grigoriev-Woeginger/04,
AUTHOR = {Grigoriev, Alexander and Woeginger, Gerhard J.},
TITLE = {Project scheduling with irregular costs: Complexity, approximability, and algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {83-97},
YEAR = {2004},
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-0150-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Mahmoud-Tsukiji/04,
AUTHOR = {Mahmoud, Hosam and Tsukiji, Tatsuie},
TITLE = {Limit laws for terminal nodes in random circuits with restricted fan-out: A family of graphs generalizing binary search trees},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {99-110},
YEAR = {2004},
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-0152-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Alhazov-Pan-Paun/04,
AUTHOR = {Alhazov, Artiom and Pan, Linqiang and P{\u{a}}un, Gheorghe},
TITLE = {Trading polarizations for labels in $P$ systems with active membranes},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {111-144},
YEAR = {2004},
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-0153-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Frisco-Hoogeboom/04,
AUTHOR = {Frisco, Pierluigi and Hoogeboom, Hendrik Jan},
TITLE = {$P$ systems with symport/antiport simulating counter automata},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {145-170},
YEAR = {2004},
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-0154-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Li-Tsai/04,
AUTHOR = {Li, Zheng-Zhu and Tsai, Y.S.},
TITLE = {Three-element codes with one $d$-primitive word},
JOURNAL = {Acta Inf.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {171-180},
YEAR = {2004},
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-0155-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@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},
}