EDBT 2026 Demo / reviewers in the wild / expert
Matt D. B. Halstead
dblp:57/7252
· DBLP profile ↗
4ranked-venue papers
0as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 4
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
2 papers |
Bioinformatics and computational biology · 100% | |
| Computer graphics and multimedia
1 paper |
Visualization and visual analytics · 100% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › systems biology
biological model representation |
0.2 | 2 | 2009 | Biophysical annotation and representation of CellML models · Bioinform. 2009 A method for visualizing CellML models · Bioinform. 2009 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.0 | 1 | 2009 | Biophysical annotation and representation of CellML models · Bioinform. 2009 |
Visualization and visual analytics
model visualization |
0.0 | 1 | 2009 | A method for visualizing CellML models · Bioinform. 2009 |
Visualization and visual analytics
scientific visualization |
0.0 | 1 | 2009 | A method for visualizing CellML models · Bioinform. 2009 |
Methods — techniques the papers use, named apart from their topics
visual language · 0.2ontology annotation · 0.2graph reduction · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Revision history aware repositories of computational models of biological systemsabstractBACKGROUND: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provide a source of smaller, previously verified models to integrate into a larger model. One problem with earlier repositories has been the limitations in facilities to record the revision history of models. Often, these facilities are limited to a linear series of versions which were deposited in the repository. This is problematic for several reasons. Firstly, there are many instances in the history of biological systems modelling where an 'ancestral' model is modified by different groups to create many different models. With a linear series of versions, if the changes made to one model are merged into another model, the merge appears as a single item in the history. This hides useful revision history information, and also makes further merges much more difficult, as there is no record of which changes have or have not already been merged. In addition, a long series of individual changes made outside of the repository are also all merged into a single revision when they are put back into the repository, making it difficult to separate out individual changes. Furthermore, many earlier repositories only retain the revision history of individual files, rather than of a group of files. This is an important limitation to overcome, because some types of models, such as CellML 1.1 models, can be developed as a collection of modules, each in a separate file. The need for revision history is widely recognised for computer software, and a lot of work has gone into developing version control systems and distributed version control systems (DVCSs) for tracking the revision history. However, to date, there has been no published research on how DVCSs can be applied to repositories of computational models of biological systems. RESULTS: We have extended the Physiome Model Repository software to be fully revision history aware, by building it on top of Mercurial, an existing DVCS. We have demonstrated the utility of this approach, when used in conjunction with the model composition facilities in CellML, to build and understand more complex models. We have also demonstrated the ability of the repository software to present version history to casual users over the web, and to highlight specific versions which are likely to be useful to users. CONCLUSIONS: Providing facilities for maintaining and using revision history information is an important part of building a useful repository of computational models, as this information is useful both for understanding the source of and justification for parts of a model, and to facilitate automated processes such as merges. The availability of fully revision history aware repositories, and associated tools, will therefore be of significant benefit to the community. Andrew K. Miller, Tommy Yu, Randall Britten, Mike T. Cooling, James R. Lawson, Dougal Cowan, Alan Garny, Matt D. B. Halstead, Peter J. Hunter, David P. Nickerson, Geoff Nunns, Sarala M. Wimalaratne, Poul M. F. Nielsen |
BMC Bioinform. | 8 |
| 2010 | An overview of the CellML API and its implementationabstractBACKGROUND: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and for archival in a model repository. Allowing for the exchange and archival of models in a computer readable form is a key strategic goal in bioinformatics, because of the associated improvements in scientific record accuracy, the faster iterative process of scientific development, and the ability to combine models into large integrative models.However, for CellML models to be useful, tools which can process them correctly are needed. Due to some of the more complex features present in CellML models, such as imports, developing code ab initio to correctly process models can be an onerous task. For this reason, there is a clear and pressing need for an application programming interface (API), and a good implementation of that API, upon which tools can base their support for CellML. RESULTS: We developed an API which allows the information in CellML models to be retrieved and/or modified. We also developed a series of optional extension APIs, for tasks such as simplifying the handling of connections between variables, dealing with physical units, validating models, and translating models into different procedural languages.We have also provided a Free/Open Source implementation of this application programming interface, optimised to achieve good performance. CONCLUSIONS: Tools have been developed using the API which are mature enough for widespread use. The API has the potential to accelerate the development of additional tools capable of processing CellML, and ultimately lead to an increased level of sharing of mathematical model descriptions. Andrew K. Miller, Justin Marsh, Adam Reeve, Alan Garny, Randall Britten, Matt D. B. Halstead, Jonathan Cooper, David P. Nickerson, Poul M. F. Nielsen |
BMC Bioinform. | 6 |
| 2009 | A method for visualizing CellML modelsabstractMOTIVATION: The Physiome Project was established in 1997 to develop tools to facilitate international collaboration in the physiological sciences and the sharing of biological models and experimental data. The CellML language was developed to represent and exchange mathematical models of biological processes. CellML models can be very complicated, making it difficult to interpret the underlying physical and biological concepts and relationships captured/described in the mathematical model. RESULTS: To address this issue a set of ontologies was developed to explicitly annotate the biophysical concepts represented in the CellML models. This article presents a framework that combines a visual language, together with CellML ontologies, to support the visualization of the underlying physical and biological concepts described by the mathematical model and also their relationships with the CellML model. Automated CellML model visualization assists in the interpretation of model concepts and facilitates model communication and exchange between different communities. Sarala M. Wimalaratne, Matt D. B. Halstead, Catherine M. Lloyd, Mike T. Cooling, Edmund J. Crampin, Poul M. F. Nielsen |
Bioinform. | 2 |
| 2009 | Biophysical annotation and representation of CellML modelsabstractMOTIVATION: CellML is an implementation-independent model description language for specifying and exchanging biological processes. The focus of CellML is the representation of mathematical formulations of biological processes. The language captures the mathematical and model building constructs well, but does not lend itself to capturing the biology these models represent. RESULTS: This article describes the development of an ontological framework for annotating CellML models with biophysical concepts. We demonstrate that, by using these ontological mappings, in combination with a set of graph reduction rules, it is possible to represent the underlying biological process described in a CellML model. Sarala M. Wimalaratne, Matt D. B. Halstead, Catherine M. Lloyd, Edmund J. Crampin, Poul M. F. Nielsen |
Bioinform. | 2 |