Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 234
Volume 234, 2024
- Weijiang Hong
, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. 103075 - Huiwen Yang, Xiguo Gu, Xiang Chen, Liwei Zheng, Zhanqi Cui:
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection. 103076 - José A. Macías, Clemente Rafael Borges:
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data. 103077 - Xiaoxue Wu, Yizeng Gu, Lidan Lin, Wei Zheng, Xiang Chen:
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis. 103078 - Adem Ait, Javier Luis Cánovas Izquierdo, Jordi Cabot:
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data. 103079 - Birthe van den Berg, Tom Schrijvers:
A framework for higher-order effects & handlers. 103086 - Karam Ignaim, João M. Fernandes, André L. Ferreira:
An industrial experience of using reference architectures for mapping features to code. 103087 - Sharar Ahmadi, Brijesh Dongol, Matt Griffin:
Operationally proving memory access violations in Isabelle/HOL. 103088 - Maxime Savary-Leblanc, Xavier Le Pallec, Sébastien Gérard:
The Modeling Assistant Recommender: A UML class diagram recommender system. 103090 - Davide Di Ruscio, Jessie Galasso, Richard F. Paige:
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. 103091 - Yamine Aït-Ameur, Florin Craciun:
Introduction to the TASE 2022 Special issue. 103092
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.
last updated on 2024-07-17 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
