default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 235

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 235, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ThierryMiegRPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ThierryMiegRPP24
Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud:
A model-checker exploiting structural reductions even with stutter sensitive LTL. 103089
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DongRSXH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DongRSXH24
Haozhen Dong, Hongmin Ren, Jialiang Shi, Yichen Xie, Xudong Hu:
Neighborhood contrastive learning-based graph neural network for bug triaging. 103093
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BeckerPO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeckerPO24
Pablo Becker, María Fernanda Papa, Luis Olsina:
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology. 103094
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GiudiceMQRL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiudiceMQRL24
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A tool for reasoning about collective systems. 103095
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DamianiEP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DamianiEP24
Ferruccio Damiani, David M. Eyers, Anna Philippou:
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. 103096
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KangB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KangB24
Byeongjee Kang, Kyungmin Bae:
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. 103097
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CaoCZLCW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaoCZLCW24
Yulu Cao, Zhifei Chen, Xiaowei Zhang, Yanhui Li, Lin Chen, Linzhang Wang:
Diagnosis of package installation incompatibility via knowledge base. 103098
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DongCYZWK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DongCYZWK24
Yukun Dong, Xiaotong Cheng, Yufei Yang, Lulu Zhang, Shuqi Wang, Lingjie Kong:
A method to identify overfitting program repair patches based on expression tree. 103105
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KuhailMKBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KuhailMKBS24
Mohammad Amin Kuhail, Sujith Samuel Mathew, Ashraf Khalil, Jose Berengueres, Syed Jawad Hussain Shah:
"Will I be replaced?" Assessing ChatGPT's effect on software development and programmer perceptions of AI tools. 103111

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.