Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/ArenasBFL13,
  author       = {Marcelo Arenas and
                  Pablo Barcel{\'{o}} and
                  Ronald Fagin and
                  Leonid Libkin},
  title        = {Solutions and query rewriting in data exchange},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {28--61},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.06.002},
  doi          = {10.1016/J.IC.2013.06.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ArenasBFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChatterjeeP13,
  author       = {Krishnendu Chatterjee and
                  Vinayak S. Prabhu},
  title        = {Synthesis of memory-efficient, clock-memory free, and non-Zeno safety
                  controllers for timed systems},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {83--119},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.04.003},
  doi          = {10.1016/J.IC.2013.04.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ChatterjeeP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GabbrielliMM13,
  author       = {Maurizio Gabbrielli and
                  Jacopo Mauro and
                  Maria Chiara Meo},
  title        = {The expressive power of {CHR} with priorities},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {62--82},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.05.001},
  doi          = {10.1016/J.IC.2013.05.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/GabbrielliMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LavadoPS13,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  title        = {Converting nondeterministic automata and context-free grammars into
                  Parikh equivalent one-way and two-way deterministic automata},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {1--15},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.06.003},
  doi          = {10.1016/J.IC.2013.06.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LavadoPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Skrzypczak13,
  author       = {Michal Skrzypczak},
  title        = {Topological extension of parity automata},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {16--27},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.06.004},
  doi          = {10.1016/J.IC.2013.06.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Skrzypczak13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}