Stop the war!

Остановите войну!

for scientists:

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

a service of

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.