Search dblp for Publications

export results for "toc:db/journals/acta/acta40.bht:"

 download as .bib file

@article{DBLP:journals/acta/AkkermanBJT04,
  author       = {Thorsten Akkerman and
                  Christoph Buchheim and
                  Michael J{\"{u}}nger and
                  Daniel Teske},
  title        = {On the complexity of drawing trees nicely: corrigendum},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {8},
  pages        = {603--607},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0138-y},
  doi          = {10.1007/S00236-004-0138-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AkkermanBJT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AndreiCC04,
  author       = {Stefan Andrei and
                  Wei{-}Ngan Chin and
                  Salvador Valerio Cavadini},
  title        = {Self-embedded context-free grammars with regular counterparts},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {5},
  pages        = {349--365},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0133-8},
  doi          = {10.1007/S00236-003-0133-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AndreiCC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BacchelliBGP04,
  author       = {Silvia Bacchelli and
                  Elena Barcucci and
                  Elisabetta Grazzini and
                  Elisa Pergola},
  title        = {Exhaustive generation of combinatorial objects by {ECO}},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {8},
  pages        = {585--602},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0139-x},
  doi          = {10.1007/S00236-004-0139-X},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BacchelliBGP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BarbutiT04,
  author       = {Roberto Barbuti and
                  Luca Tesei},
  title        = {Timed automata with urgent transitions},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {5},
  pages        = {317--347},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0135-6},
  doi          = {10.1007/S00236-003-0135-6},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BarbutiT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CharpentierC04,
  author       = {Michel Charpentier and
                  K. Mani Chandy},
  title        = {Specification transformers: a predicate transformer approach to composition},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {4},
  pages        = {265--301},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0130-y},
  doi          = {10.1007/S00236-003-0130-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CharpentierC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DelvauxH04,
  author       = {Steven Delvaux and
                  Leon Horsten},
  title        = {On best transitive approximations to simple graphs},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {9},
  pages        = {637--655},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0144-0},
  doi          = {10.1007/S00236-004-0144-0},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DelvauxH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DolevS04,
  author       = {Shlomi Dolev and
                  Elad Schiller},
  title        = {Self-stabilizing group communication in directed networks},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {9},
  pages        = {609--636},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0143-1},
  doi          = {10.1007/S00236-004-0143-1},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DolevS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Domaratzki04,
  author       = {Michael Domaratzki},
  title        = {Trajectory-based codes},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {6-7},
  pages        = {491--527},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0140-4},
  doi          = {10.1007/S00236-004-0140-4},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Domaratzki04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EngelfrietG04,
  author       = {Joost Engelfriet and
                  Tjalling Gelsema},
  title        = {A new natural structural congruence in the pi-calculus with replication},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {6-7},
  pages        = {385--430},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0141-3},
  doi          = {10.1007/S00236-004-0141-3},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelfrietG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EpsteinT04,
  author       = {Leah Epstein and
                  Tamir Tassa},
  title        = {Approximation schemes for the Min-Max Starting Time Problem},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {9},
  pages        = {657--674},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0145-z},
  doi          = {10.1007/S00236-004-0145-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EpsteinT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GrumbachRT04,
  author       = {St{\'{e}}phane Grumbach and
                  Maurizio Rafanelli and
                  Leonardo Tininini},
  title        = {On the equivalence and rewriting of aggregate queries},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {8},
  pages        = {529--584},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0101-y},
  doi          = {10.1007/S00236-004-0101-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GrumbachRT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HeJ04,
  author       = {Yong He and
                  Yiwei Jiang},
  title        = {Optimal algorithms for semi-online preemptive scheduling problems
                  on two uniform machines},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {5},
  pages        = {367--383},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0134-7},
  doi          = {10.1007/S00236-003-0134-7},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HeJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LeeWS04,
  author       = {Wen{-}Chiung Lee and
                  Chin{-}Chia Wu and
                  Hua{-}Jung Sung},
  title        = {A bi-criterion single-machine scheduling problem with learning considerations},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {4},
  pages        = {303--315},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0132-9},
  doi          = {10.1007/S00236-003-0132-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LeeWS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Markey04,
  author       = {Nicolas Markey},
  title        = {Past is for free: on the complexity of verifying linear temporal properties
                  with past},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {6-7},
  pages        = {431--458},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0136-5},
  doi          = {10.1007/S00236-003-0136-5},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Markey04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ScottJ04,
  author       = {Elizabeth Scott and
                  Adrian Johnstone},
  title        = {Reducing non-determinism in right nulled {GLR} parsers},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {6-7},
  pages        = {459--489},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-004-0137-z},
  doi          = {10.1007/S00236-004-0137-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ScottJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Walther04,
  author       = {Andrea Walther},
  title        = {Program reversals for evolutions with non-uniform step costs},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {4},
  pages        = {235--263},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0131-x},
  doi          = {10.1007/S00236-003-0131-X},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Walther04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ben-AmramBP03,
  author       = {Amir M. Ben{-}Amram and
                  Omer Berkman and
                  Holger Petersen},
  title        = {Element distinctness on one-tape Turing machines: a complete solution},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {2},
  pages        = {81--94},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0125-8},
  doi          = {10.1007/S00236-003-0125-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ben-AmramBP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BoyarFLN03,
  author       = {Joan Boyar and
                  Lene M. Favrholdt and
                  Kim S. Larsen and
                  Morten N. Nielsen},
  title        = {Extending the accommodating function},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {1},
  pages        = {3--35},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0124-9},
  doi          = {10.1007/S00236-003-0124-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BoyarFLN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Doberkat03,
  author       = {Ernst{-}Erich Doberkat},
  title        = {Pipelines: Modelling a software architecture through relations},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {1},
  pages        = {37--79},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0121-z},
  doi          = {10.1007/S00236-003-0121-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Doberkat03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KariKLW03,
  author       = {Lila Kari and
                  Stavros Konstantinidis and
                  Elena Losseva and
                  Geoff Wozniak},
  title        = {Sticky-free and overhang-free {DNA} languages},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {2},
  pages        = {119--157},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0118-7},
  doi          = {10.1007/S00236-003-0118-7},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KariKLW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KhomenkoKV03,
  author       = {Victor Khomenko and
                  Maciej Koutny and
                  Walter Vogler},
  title        = {Canonical prefixes of Petri net unfoldings},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {2},
  pages        = {95--118},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0122-y},
  doi          = {10.1007/S00236-003-0122-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KhomenkoKV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LayuanC03,
  author       = {Layuan Li and
                  Chunlin Li},
  title        = {A distributed QoS-Aware multicast routing protocol},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {3},
  pages        = {211--233},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0123-x},
  doi          = {10.1007/S00236-003-0123-X},
  timestamp    = {Fri, 17 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/LayuanC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LesleyF03,
  author       = {Nicole Lesley and
                  Alan D. Fekete},
  title        = {Providing view synchrony for group communication services},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {3},
  pages        = {159--210},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0129-4},
  doi          = {10.1007/S00236-003-0129-4},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LesleyF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.