Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/Bussche05,
  author       = {Jan Van den Bussche},
  title        = {First-order Topology Properties},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {155--164},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Bussche05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DomosiH05,
  author       = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
                  G{\'{e}}za Horv{\'{a}}th},
  title        = {The Language of Primitive Words in not Regular: Two Simple Proofs},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {191--194},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DomosiH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Finkel05,
  author       = {Olivier Finkel},
  title        = {On Decision Problems for Timed Automata},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {185--190},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Finkel05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/FominGK05,
  author       = {Fedor V. Fomin and
                  Fabrizio Grandoni and
                  Dieter Kratsch},
  title        = {Some New Techniques in Design and Analysis of Exact (Exponential)
                  Algorithms},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {47--77},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/FominGK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/GarciaP05,
  author       = {Pedro Garc{\'{\i}}a and
                  Manuel {V{\'a}zquez de Parga}},
  title        = {A note about mergible states in large {NFA}},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {181--184},
  year         = {2005},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/GarciaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/HoyerS05,
  author       = {Peter H{\o}yer and
                  Robert Spalek},
  title        = {Lower Bounds on Quantum Query Complexity},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {78--103},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/HoyerS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/KonigK05,
  author       = {Barbara K{\"{o}}nig and
                  Vitali Kozioura},
  title        = {Augur - {A} Tool for the Analysis of Graph Transformation Systems},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {126--137},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/KonigK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Padberg05,
  author       = {Julia Padberg},
  title        = {Integration of the Generic Component Concepts for System Modeling
                  with Adhesive {HLR} Systems},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {138--154},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padberg05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Palamidessi05,
  author       = {Catuscia Palamidessi and
                  Frank D. Valencia},
  title        = {Recursion vs Replication in Process Calculi: Expressiveness},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {105--125},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Palamidessi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sakakibara05,
  author       = {Yasubumi Sakakibara},
  title        = {Development of a Bacteria Computer: From in silico Finite Automata
                  to in virto {AND} in vivo},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {165--178},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sakakibara05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}