Updated publications

The main publications have been updated, including our latest work on differential inclusions and a paper on computable compositionality.