Science of Computer Programming

ISSNs: 0167-6423

Elsevier

Scopus rating (2020): CiteScore 3.2 SJR 0.313 SNIP 1.071

Journal

Publications

  1. 2022
  2. 2021
  3. Fast Rule-Based Graph Programs

    Campbell, G., Courtehoute, B. & Plump, D., 28 Sep 2021, (E-pub ahead of print)

    Article in Science of Computer Programming

  4. 2020
  5. 2019
  6. Multi-core cyclic executives for safety-critical systems

    Deutschbein, C., Fleming, T. D., Burns, A. & Baruah, S., 1 Mar 2019

    Article in Science of Computer Programming

  7. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print)

    Article in Science of Computer Programming

  8. 2018
  9. 2014
  10. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

  11. 2013
  12. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  13. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  14. 2012
  15. 2011
  16. 2010
  17. Sound refactorings

    Cornelio, M., Cavalcanti, A. & Sampaio, A., Mar 2010

    Article in Science of Computer Programming

  18. 2009
Previous 1 2 Next

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations