Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/BasileBDLFGG20,
  author       = {Davide Basile and
                  Maurice H. ter Beek and
                  Pierpaolo Degano and
                  Axel Legay and
                  Gian{-}Luigi Ferrari and
                  Stefania Gnesi and
                  Felicita Di Giandomenico},
  title        = {Controller synthesis of service contracts with variability},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102344},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102344},
  doi          = {10.1016/J.SCICO.2019.102344},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BasileBDLFGG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HamanaAK20,
  author       = {Makoto Hamana and
                  Tatsuya Abe and
                  Kentaro Kikuchi},
  title        = {Polymorphic computation systems: Theory and practice of confluence
                  with call-by-value},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102322},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102322},
  doi          = {10.1016/J.SCICO.2019.102322},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HamanaAK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KukovecTK20,
  author       = {Jure Kukovec and
                  Thanh{-}Hai Tran and
                  Igor Konnov},
  title        = {Extracting symbolic transitions from TLA\({}^{\mbox{+}}\) specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102361},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102361},
  doi          = {10.1016/J.SCICO.2019.102361},
  timestamp    = {Thu, 18 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KukovecTK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MedeirosJM20,
  author       = {S{\'{e}}rgio Queiroz de Medeiros and
                  Gilney de Azevedo Alvez Junior and
                  Fabio Mascarenhas},
  title        = {Automatic syntax error reporting and recovery in parsing expression
                  grammars},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102373},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102373},
  doi          = {10.1016/J.SCICO.2019.102373},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MedeirosJM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NicolaSI20,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso},
  title        = {Multi-agent systems with virtual stigmergy},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102345},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102345},
  doi          = {10.1016/J.SCICO.2019.102345},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SaidC20,
  author       = {Najah Ben Said and
                  Ioana Cristescu},
  title        = {End-to-end information flow security for web services orchestration},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102376},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102376},
  doi          = {10.1016/J.SCICO.2019.102376},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SaidC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WangFQF20,
  author       = {Jiawei Wang and
                  Ming Fu and
                  Lei Qiao and
                  Xinyu Feng},
  title        = {Formalizing SPARCv8 instruction set architecture in Coq},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102371},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102371},
  doi          = {10.1016/J.SCICO.2019.102371},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WangFQF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/XiangZWXBXZ20,
  author       = {Shuangqing Xiang and
                  Huibiao Zhu and
                  Xi Wu and
                  Lili Xiao and
                  Marcello M. Bonsangue and
                  Wanling Xie and
                  Lei Zhang},
  title        = {Modeling and verifying the topology discovery mechanism of OpenFlow
                  controllers in software-defined networks using process algebra},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102343},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102343},
  doi          = {10.1016/J.SCICO.2019.102343},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/XiangZWXBXZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhangP20,
  author       = {Chenyi Zhang and
                  Jun Pang},
  title        = {Preface for the special issue of the 12th International Symposium
                  on Theoretical Aspects of Software Engineering {(TASE} 2018)},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102375},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102375},
  doi          = {10.1016/J.SCICO.2019.102375},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhangZP20,
  author       = {Yueling Zhang and
                  Min Zhang and
                  Geguang Pu},
  title        = {Optimizing backbone filtering},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102374},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102374},
  doi          = {10.1016/J.SCICO.2019.102374},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangZP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.