CODE beyond FAIR: a roadmap for reusable research software
Roberto Di Cosmo, Sabrina Granger, Konrad Hinsen, Nicolas Jullien et autres
0 citationsScientific Data
Daniel Le Berre
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
140Publications signalées
2218Citations signalées
2Affiliations récentes
Institutions déclarées
Domaines associés
Formal Methods in VerificationConstraint Satisfaction and OptimizationLogic, Reasoning, and KnowledgeLogic, programming, and type systemsModel-Driven Software Engineering Techniques
Publications récentes
A Framework for Hybrid Set-Theoretic and Numerical Problem Solving
Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi
0 citations
Stop treating code like an afterthought: record, share and value it
Roberto Di Cosmo, Sabrina Granger, Konrad Hinsen, Nicolas Jullien et autres
5 citationsNature
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara et autres
0 citations
set-sizing-for-counter-models
Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
On Finding Counter-Models: Approach Based on Instantiating Abstract Sets
Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
Stereoisomers Are Not Machine Learning’s Best Friends
Gökhan Tahıl, Fabien Delorme, Daniel Le Berre, Éric Monflier et autres
6 citationsJournal of Chemical Information and Modeling
Highlights of the "Software Pillar of Open Science" workshop
Isabelle Blanc, Roberto Di Cosmo, Mathieu Giraud, Daniel Le Berre et autres
0 citations
Compressing UNSAT CDCL Trees with Caching
Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel
0 citations
“Software and source codes” College: Minutes from the work session, November 30th 2023
Roberto Di Cosmo, François Pellegrini, Mathieu Giraud, Morane Gruenpeter et autres
0 citations
Proceedings of the 14th International Workshop on Pragmatics of SAT
Matti Järvisalo, Daniel Le Berre
1 citationHAL (Le Centre pour la Communication Scientifique Directe)
Establishing a national research software award
Isabelle Catala, Roberto Di Cosmo, Mathieu Giraud, Daniel Le Berre et autres
2 citationsOpen Research Europe
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.