Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
David Milner, Hagit Hel-Or, Daniel Keren, Shmuel R...
In this meeting report we give an overview of the talks and presentations from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium held as ...
Lucia Peixoto, Nils Gehlenborg, Sarath Chandra Jan...