Search dblp for Publications

• > Home > Search

@article{DBLP:journals/vlc/ChapmanSC22,
  author       = {Peter Chapman and
                  Kevin Sim and
                  Huang Hao Chen},
  title        = {Minimising line segments in linear diagrams is NP-hard},
  journal      = {J. Comput. Lang.},
  volume       = {71},
  pages        = {101136},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cola.2022.101136},
  doi          = {10.1016/J.COLA.2022.101136},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/ChapmanSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/LuWGCH22,
  author       = {Hong Lu and
                  Huitao Wang and
                  Jiacheng Gui and
                  Panfeng Chen and
                  Hao Huang},
  title        = {A novel data-driven approach on inferring loop invariants for {C}
                  programs},
  journal      = {J. Comput. Lang.},
  volume       = {71},
  pages        = {101135},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cola.2022.101135},
  doi          = {10.1016/J.COLA.2022.101135},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/LuWGCH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/ObieHAGABC22,
  author       = {Humphrey O. Obie and
                  Dac Thanh Chuong Ho and
                  Iman Avazpour and
                  John C. Grundy and
                  Mohamed Almorsy Abdelrazek and
                  Tomasz Bednarz and
                  Caslon Chua},
  title        = {Gravity++: {A} graph-based framework for constructing interactive
                  visualization narratives},
  journal      = {J. Comput. Lang.},
  volume       = {71},
  pages        = {101125},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cola.2022.101125},
  doi          = {10.1016/J.COLA.2022.101125},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/ObieHAGABC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/SharbafZS22,
  author       = {Mohammadreza Sharbaf and
                  Bahman Zamani and
                  Gerson Suny{\'{e}}},
  title        = {Automatic resolution of model merging conflicts using quality-based
                  reinforcement learning},
  journal      = {J. Comput. Lang.},
  volume       = {71},
  pages        = {101123},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cola.2022.101123},
  doi          = {10.1016/J.COLA.2022.101123},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/SharbafZS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}