Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AmeenKS24,
  author       = {Mahmudul Faisal Al Ameen and
                  Naoki Kobayashi and
                  Ryosuke Sato},
  title        = {Asynchronous unfold/fold transformation for fixpoint logic},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103014},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103014},
  doi          = {10.1016/J.SCICO.2023.103014},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AmeenKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AudritoT24,
  author       = {Giorgio Audrito and
                  Gianluca Torta},
  title        = {{FCPP} to aggregate them all},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103026},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103026},
  doi          = {10.1016/J.SCICO.2023.103026},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AudritoT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Banach24,
  author       = {Richard Banach},
  title        = {Core Hybrid Event-B {III:} Fundamentals of a reasoning framework},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103002},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103002},
  doi          = {10.1016/J.SCICO.2023.103002},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Banach24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BergSMV24,
  author       = {Birthe van den Berg and
                  Tom Schrijvers and
                  James McKinna and
                  Alexander Vandenbroucke},
  title        = {Forward- or reverse-mode automatic differentiation: What's the difference?},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103010},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103010},
  doi          = {10.1016/J.SCICO.2023.103010},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergSMV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Bortin24,
  author       = {Maksym Bortin},
  title        = {Structured development of implementations for divide-and-conquer specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103011},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103011},
  doi          = {10.1016/J.SCICO.2023.103011},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Bortin24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BucchiaroneMFC24,
  author       = {Antonio Bucchiarone and
                  Tommaso Martorella and
                  Davide Frageri and
                  Diego Colombo},
  title        = {PolyGloT: {A} personalized and gamified eTutoring system for learning
                  modelling and programming skills},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103003},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103003},
  doi          = {10.1016/J.SCICO.2023.103003},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BucchiaroneMFC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GinerMiguelezGC24,
  author       = {Joan Giner{-}Miguelez and
                  Abel G{\'{o}}mez and
                  Jordi Cabot},
  title        = {DescribeML: {A} dataset description tool for machine learning},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103030},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103030},
  doi          = {10.1016/J.SCICO.2023.103030},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GinerMiguelezGC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HarboVMA24,
  author       = {Sean Kristian Remond Harbo and
                  Emil Palmelund Voldby and
                  Jonas Madsen and
                  Michele Albano},
  title        = {ACSmt: {A} plugin for eclipse papyrus to model systems of systems},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103008},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103008},
  doi          = {10.1016/J.SCICO.2023.103008},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HarboVMA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HuangKP24,
  author       = {Wen{-}ling Huang and
                  Niklas Krafczyk and
                  Jan Peleska},
  title        = {Exhaustive property oriented model-based testing with symbolic finite
                  state machines},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103005},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103005},
  doi          = {10.1016/J.SCICO.2023.103005},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuangKP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KauffmanZ24,
  author       = {Sean Kauffman and
                  Martin Zimmermann},
  title        = {The complexity of evaluating nfer},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103012},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103012},
  doi          = {10.1016/J.SCICO.2023.103012},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KauffmanZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Kiselyov24,
  author       = {Oleg Kiselyov},
  title        = {Generating {C:} Heterogeneous metaprogramming system description},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103015},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103015},
  doi          = {10.1016/J.SCICO.2023.103015},
  timestamp    = {Mon, 23 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Kiselyov24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LopezIC24,
  author       = {Jos{\'{e}} Antonio Hern{\'{a}}ndez L{\'{o}}pez and
                  Javier Luis C{\'{a}}novas Izquierdo and
                  Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
  title        = {ModelSet: {A} labelled dataset of software models for machine learning},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103009},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103009},
  doi          = {10.1016/J.SCICO.2023.103009},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LopezIC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MuLZLL24,
  author       = {Xiangyu Mu and
                  Lei Liu and
                  Peng Zhang and
                  Jingyao Li and
                  Hui Li},
  title        = {A method of test case set generation in the commutativity test of
                  reduce functions},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103006},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103006},
  doi          = {10.1016/J.SCICO.2023.103006},
  timestamp    = {Mon, 23 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MuLZLL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SandroMVC24,
  author       = {Alessio Di Sandro and
                  Logan Murphy and
                  Torin Viger and
                  Marsha Chechik},
  title        = {{MMINT-A:} {A} framework for model-based safety assurance},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103004},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103004},
  doi          = {10.1016/J.SCICO.2023.103004},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SandroMVC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SantanaMVRCM24,
  author       = {Railana Santana and
                  Luana Almeida Martins and
                  T{\'{a}}ssio Virg{\'{\i}}nio and
                  Larissa Rocha and
                  Heitor A. X. Costa and
                  Ivan Machado},
  title        = {An empirical evaluation of {RAIDE:} {A} semi-automated approach for
                  test smells detection and refactoring},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103013},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103013},
  doi          = {10.1016/J.SCICO.2023.103013},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SantanaMVRCM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SmajevicAB24,
  author       = {Muhamed Smajevic and
                  Syed Juned Ali and
                  Dominik Bork},
  title        = {CM2KG\({}^{\mbox{cloud}}\) - An open web-based platform to transform
                  conceptual models into knowledge graphs},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103007},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103007},
  doi          = {10.1016/J.SCICO.2023.103007},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SmajevicAB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/YigitbasSBGE24,
  author       = {Enes Yigitbas and
                  Maximilian Schmidt and
                  Antonio Bucchiarone and
                  Sebastian Gottschalk and
                  Gregor Engels},
  title        = {GaMoVR: Gamification-based {UML} learning environment in virtual reality},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103029},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103029},
  doi          = {10.1016/J.SCICO.2023.103029},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/YigitbasSBGE24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhaoGYZ24,
  author       = {Yaxin Zhao and
                  Lina Gong and
                  Wenhua Yang and
                  Yu Zhou},
  title        = {How accessibility affects other quality attributes of software? {A}
                  \emph{case} study of GitHub},
  journal      = {Sci. Comput. Program.},
  volume       = {231},
  pages        = {103027},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2023.103027},
  doi          = {10.1016/J.SCICO.2023.103027},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZhaoGYZ24.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.