Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/ArchibaldCSX22,
  author       = {Blair Archibald and
                  Muffy Calder and
                  Michele Sevegnani and
                  Mengwei Xu},
  title        = {Modelling and verifying {BDI} agents with bigraphs},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102760},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102760},
  doi          = {10.1016/J.SCICO.2021.102760},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ArchibaldCSX22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ClarisoC22,
  author       = {Robert Claris{\'{o}} and
                  Jordi Cabot},
  title        = {User-driven diverse scenario exploration in model finders},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102745},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102745},
  doi          = {10.1016/J.SCICO.2021.102745},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClarisoC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DvorakP22,
  author       = {Ondrej Dvor{\'{a}}k and
                  Robert Pergl},
  title        = {Tackling rapid technology changes by applying enterprise engineering
                  theories},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102747},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102747},
  doi          = {10.1016/J.SCICO.2021.102747},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DvorakP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HuangSCCY22,
  author       = {Rubing Huang and
                  Weifeng Sun and
                  Haibo Chen and
                  Chenhui Cui and
                  Ning Yang},
  title        = {A nearest-neighbor divide-and-conquer approach for adaptive random
                  testing},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102743},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102743},
  doi          = {10.1016/J.SCICO.2021.102743},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HuangSCCY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MaoZSHL22,
  author       = {Xia Mao and
                  Yueling Zhang and
                  Jianqi Shi and
                  Yanhong Huang and
                  Qin Li},
  title        = {A refinement development approach for enhancing the safety of {PLC}
                  programs with Event-B},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102763},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102763},
  doi          = {10.1016/J.SCICO.2021.102763},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MaoZSHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Mogensen22,
  author       = {Torben {\AE}gidius Mogensen},
  title        = {Hermes: {A} reversible language for lightweight encryption},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102746},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102746},
  doi          = {10.1016/J.SCICO.2021.102746},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Mogensen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Nakano22,
  author       = {Keisuke Nakano},
  title        = {Time-symmetric Turing machines for computable involutions},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102748},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102748},
  doi          = {10.1016/J.SCICO.2021.102748},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Nakano22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NetoMVM22,
  author       = {Jo{\~{a}}o Batista de Souza Neto and
                  Anamaria Martins Moreira and
                  Genoveva Vargas{-}Solar and
                  Martin A. Musicante},
  title        = {A two-level formal model for Big Data processing programs},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102764},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102764},
  doi          = {10.1016/J.SCICO.2021.102764},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NetoMVM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/YanCGY22,
  author       = {Rongjie Yan and
                  Yuhang Chen and
                  Hongyu Gao and
                  Jun Yan},
  title        = {Test case prioritization with neuron valuation based pattern},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102761},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102761},
  doi          = {10.1016/J.SCICO.2021.102761},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/YanCGY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhangP22,
  author       = {Chenyi Zhang and
                  Jun Pang},
  title        = {Modal characterisation of simulation relations in probabilistic concurrent
                  games},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102762},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102762},
  doi          = {10.1016/J.SCICO.2021.102762},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhangXZX22,
  author       = {Qiang Zhang and
                  Lei Xu and
                  Xiangyu Zhang and
                  Baowen Xu},
  title        = {Quantifying the interpretation overhead of Python},
  journal      = {Sci. Comput. Program.},
  volume       = {215},
  pages        = {102759},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102759},
  doi          = {10.1016/J.SCICO.2021.102759},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangXZX22.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.