Search dblp for Publications

export results for "toc:db/journals/scp/scp190.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/scp/Banach20,
  author       = {Richard Banach},
  title        = {Automated urban train control with hybrid Event-B: 'Tackling' the
                  rugby club problem},
  journal      = {Sci. Comput. Program.},
  volume       = {190},
  pages        = {102404},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102404},
  doi          = {10.1016/J.SCICO.2020.102404},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Banach20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JaiswalKC20,
  author       = {Swati Jaiswal and
                  Uday P. Khedker and
                  Supratik Chakraborty},
  title        = {Bidirectionality in flow-sensitive demand-driven analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {190},
  pages        = {102391},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102391},
  doi          = {10.1016/J.SCICO.2020.102391},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JaiswalKC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Lopez-GonzalezS20,
  author       = {J. L{\'{o}}pez{-}Gonz{\'{a}}lez and
                  Juan M. Serrano},
  title        = {The optics of language-integrated query},
  journal      = {Sci. Comput. Program.},
  volume       = {190},
  pages        = {102395},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102395},
  doi          = {10.1016/J.SCICO.2020.102395},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Lopez-GonzalezS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.