A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
Biological data management includes the traditional areas of data generation, acquisition, modelling, integration, and analysis. Although numerous academic biological data managem...
Victor M. Markowitz, Frank Korzeniewski, Krishna P...
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...