Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/Asarin04,
  author       = {Eugene Asarin},
  title        = {Challenges in Timed Languages: from applied theory to basic theory
                  (Column: Concurrency)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {106--120},
  year         = {2004},
  url          = {http://www.cs.auc.dk/\&\#126;luca/BEATCS/timedchall.pdf},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Asarin04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Ehrig04a,
  author       = {Hartmut Ehrig},
  title        = {Integration of Specification Techniques for Applications in Engineering
                  1998-2004 (Column: Formal Specification)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {156--158},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Ehrig04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/GarciaR04,
  author       = {Pedro Garc{\'{\i}}a and
                  Jos{\'{e}} Ruiz},
  title        = {A Note on Minimal Cover-Automata for Finite Languages},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {193--199},
  year         = {2004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/GarciaR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/HolzerK04,
  author       = {Markus Holzer and
                  Barbara K{\"{o}}nig},
  title        = {Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State
                  Complexity Results, and How These Topics are Related to Each Other
                  (Column: Formal Language Theory)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {139--155},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/HolzerK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/KariS04,
  author       = {Lila Kari and
                  Petr Sos{\'{\i}}k},
  title        = {On Language Equations with Deletion},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {173--180},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/KariS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Katsanyi04,
  author       = {Istv{\'{a}}n Kats{\'{a}}nyi},
  title        = {A Note on Restricted Insertion-Deletion Systems},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {181--185},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Katsanyi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Malkhi04,
  author       = {Dahlia Malkhi},
  title        = {Locality-Aware Network Solutions - {A} survey (Column: Distributed
                  Computing)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {121--138},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Malkhi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun04,
  author       = {Gheorghe Paun},
  title        = {Membrane Computing after the Second Brainstorming Week Sevilla, February
                  2004 (Column: Natural Computing)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {159--170},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sanders04,
  author       = {Peter Sanders},
  title        = {Algorithms for Memory Hierarchies (Column: Algorithmics)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {67--85},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sanders04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sempere04,
  author       = {Jos{\'{e}} M. Sempere},
  title        = {A Representation Theorem for Languages Accepted by Watson-Crick Finite
                  Automata},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {187--191},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sempere04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Toran04,
  author       = {Jacobo Tor{\'{a}}n},
  title        = {Space and Width in Propositional Resolution (Column: Computational
                  Complexity)},
  journal      = {Bull. {EATCS}},
  volume       = {83},
  pages        = {86--104},
  year         = {2004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Toran04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}