Formal methods for software
Recently Published Articles
|September 25, 2026
A Knowledge Graph-Driven Dietary Recommendation App for Chronic Kidney Disease: Development and Preliminary Accuracy Validation
Yu Yan, Di-Fei Duan, Deng-Yan Ma, Ke-Ding Huang, Shu Gong
|September 25, 2026
Evolving the DarTwin evolution language
Øystein Haugen, Martin Arthur Andersen, Stefan Klikovits, Francis Bordeleau, Joost Mertens, Joachim Denil
|September 25, 2026
Clinical translation of CRISPR-Cas9 therapeutics in cancer and inherited genetic disorders
Khushi Bashir, Prathiksha Vasudev, Vikas Chhetri, Devika Prasad Dubhashi, Yash Gurunath Teli, Rhitam Biswas, Sudha Ramaiah, Anand Anbarasu
|September 25, 2026
DockM8: an all-in-one open-source platform for consensus virtual screening in drug design
Antoine Lacour, Hamza Agha, Anna K H Hirsch, Andrea Volkamer
|September 25, 2026
The commercialization of "unvaccinated" blood: A cross-sectional analysis of organizations marketing services based on donor COVID-19 vaccination status
Jeremy W Jacobs, Garrett S Booth, Sheharyar Raza
|September 25, 2026
Application of the Ischemic Stroke Phenotyping System 2025 in a Real-World Embolic Stroke of Undetermined Source Cohort: Advantages and Limitations
Angelo Cascio Rizzo, Ghil Schwarz
|September 25, 2026
Real-World Effectiveness of Lebrikizumab in Patients With Head-Neck Atopic Dermatitis: A Multicenter Study With Focus on Flare Occurrence
Marika Del Gaudio, Luca Potestio, Silvia Mariel Ferrucci, Alessandra Narcisi, Martina Turco, Marianna Cimmino, Francesca Barei, Paolo Calzari, Martina Zussino, Matteo Bianco, Ruggero Cascio Ingurgio, Luigi Gargiulo, Luciano Ibba, Francesca Di Vico, Cataldo Patruno, Maddalena Napolitano
|September 25, 2026
Generalizing the Prevalence Threshold Under Prevalence-Dependent Diagnostic Accuracy
Jacques Balayla