-
Source Code For "A Comparative Study Of Endoderm Differentiation In Humans An...
Source code for the publication, "A comparative study of endoderm differentiation in humans and chimpanzees". -
Data processing scripts and model output data of the paper "Starved, stuffed ...
# Data processing scripts and model output data of the paper "Starved, stuffed and wasteful: symptoms of an advancing nutrition transition" Bodirsky, Benjamin Leon,... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The...