default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 244

> 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 244, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/scp/FlinkowPM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FlinkowPM25
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan:
Comparing differentiable logics for learning with logical constraints. 103280
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Sarikoc25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Sarikoc25
Fatih Sarikoc:
Model checking and verification of a rail-side protection system. 103286
- view
  authority control:
- export record
  dblp key:
  - journals/scp/WuHWWL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WuHWWL25
Yue Wu, Zhentao He, Qingnan Wang, Yihui Wang, Huaxiao Liu:
LayoutOptimizer: A layout rendering performance optimizer for Android application. 103287
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenDD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenDD25
Zezhong Chen, Yuxin Deng, Wenjie Du:
Trusta: Reasoning about assurance cases with formal methods and large language models. 103288
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LiuZTQZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuZTQZ25
Xutong Liu, Yufei Zhou, Yutian Tang, Junyan Qian, Yuming Zhou:
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss? 103296
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GrundtRBM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GrundtRBM25
Dominik Grundt, Astrid Rakow, Philipp Borchers, Eike Möhlmann:
What does AI need to know to drive: Testing relevance of knowledge. 103297
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SilvaSSMF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SilvaSSMF25
Patrick Rodrigo da Silva, Érica Ferreira de Souza, Gláucia Braga e Silva, Giovani Volnei Meinerz, Kátia Romero Felizardo:
Applying graph-based knowledge representation to capture insights from discussions forum in software engineering. 103298
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BonfantiRS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BonfantiRS25
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. 103299
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MillerPVFP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MillerPVFP25
Alice Miller, Bernd Porr, Ivaylo Valkov, Douglas Fraser, Daumantas Pagojus:
Model checking with memoisation for fast overtaking planning. 103300
- view
  authority control:
- export record
  dblp key:
  - journals/scp/StemmerSPGAMW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/StemmerSPGAMW25
Ralf Stemmer, Ishan Saxena, Lukas Panneke, Dominik Grundt, Anna Austel, Eike Möhlmann, Bernd Westphal:
Runtime monitoring of complex scenario-based requirements for autonomous driving functions. 103301
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CarvalhoC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CarvalhoC25
Lucas de O. Carvalho, Tayana Conte:
Software architecture decision-making process: The practitioners' view from the Brazilian industry. 103302

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.