Diana Hermith
Orcid: 0000-0003-0710-5262
According to our database1,
Diana Hermith
authored at least 10 papers
between 2011 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2017
A static analysis for Brane Calculi providing global occurrence counting information.
Theor. Comput. Sci., 2017
2016
Theor. Comput. Sci., 2016
2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014
A framework for modelling spatially dependent interactions of biological systems in CCP.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014
2013
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013
2012
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012
2011
Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011