Matches in SemOpenAlex for { <https://semopenalex.org/work/W2267638272> ?p ?o ?g. }
- W2267638272 endingPage "e1004591" @default.
- W2267638272 startingPage "e1004591" @default.
- W2267638272 abstract "As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science." @default.
- W2267638272 created "2016-06-24" @default.
- W2267638272 creator A5050836932 @default.
- W2267638272 creator A5056748708 @default.
- W2267638272 date "2016-01-21" @default.
- W2267638272 modified "2023-10-14" @default.
- W2267638272 title "Computational Modeling, Formal Analysis, and Tools for Systems Biology" @default.
- W2267638272 cites W144481999 @default.
- W2267638272 cites W1494977866 @default.
- W2267638272 cites W1509254601 @default.
- W2267638272 cites W1513962738 @default.
- W2267638272 cites W1520566118 @default.
- W2267638272 cites W1533557569 @default.
- W2267638272 cites W1540191989 @default.
- W2267638272 cites W1547304883 @default.
- W2267638272 cites W1565489190 @default.
- W2267638272 cites W1569248486 @default.
- W2267638272 cites W1586735752 @default.
- W2267638272 cites W1590315663 @default.
- W2267638272 cites W1590804833 @default.
- W2267638272 cites W164184961 @default.
- W2267638272 cites W1713068554 @default.
- W2267638272 cites W1788683850 @default.
- W2267638272 cites W181236562 @default.
- W2267638272 cites W1813788325 @default.
- W2267638272 cites W1830517132 @default.
- W2267638272 cites W1925095676 @default.
- W2267638272 cites W1958967754 @default.
- W2267638272 cites W1971224531 @default.
- W2267638272 cites W1972402079 @default.
- W2267638272 cites W1974775743 @default.
- W2267638272 cites W1979197687 @default.
- W2267638272 cites W1979230873 @default.
- W2267638272 cites W1980209984 @default.
- W2267638272 cites W1980824962 @default.
- W2267638272 cites W198216027 @default.
- W2267638272 cites W1983165568 @default.
- W2267638272 cites W1983350265 @default.
- W2267638272 cites W1984372112 @default.
- W2267638272 cites W1986397618 @default.
- W2267638272 cites W1989546403 @default.
- W2267638272 cites W1992022277 @default.
- W2267638272 cites W1995691455 @default.
- W2267638272 cites W1996718897 @default.
- W2267638272 cites W2001289891 @default.
- W2267638272 cites W2003871372 @default.
- W2267638272 cites W2004306067 @default.
- W2267638272 cites W2005998857 @default.
- W2267638272 cites W2012047089 @default.
- W2267638272 cites W2028286620 @default.
- W2267638272 cites W2030263557 @default.
- W2267638272 cites W2030949004 @default.
- W2267638272 cites W2031344785 @default.
- W2267638272 cites W2032408017 @default.
- W2267638272 cites W2035991642 @default.
- W2267638272 cites W2037689113 @default.
- W2267638272 cites W2040860090 @default.
- W2267638272 cites W2041226400 @default.
- W2267638272 cites W2041289840 @default.
- W2267638272 cites W2043100293 @default.
- W2267638272 cites W2049696538 @default.
- W2267638272 cites W2050653042 @default.
- W2267638272 cites W2052600736 @default.
- W2267638272 cites W2054877682 @default.
- W2267638272 cites W2060408509 @default.
- W2267638272 cites W2061438988 @default.
- W2267638272 cites W2062596124 @default.
- W2267638272 cites W2064974862 @default.
- W2267638272 cites W2065782501 @default.
- W2267638272 cites W2066322491 @default.
- W2267638272 cites W2068746602 @default.
- W2267638272 cites W2069941324 @default.
- W2267638272 cites W2077563974 @default.
- W2267638272 cites W2077843325 @default.
- W2267638272 cites W2080267935 @default.
- W2267638272 cites W2080721009 @default.
- W2267638272 cites W2094480641 @default.
- W2267638272 cites W2098939258 @default.
- W2267638272 cites W2099529102 @default.
- W2267638272 cites W2102263388 @default.
- W2267638272 cites W2102653059 @default.
- W2267638272 cites W2103454055 @default.
- W2267638272 cites W2105135903 @default.
- W2267638272 cites W2106190666 @default.
- W2267638272 cites W2110796675 @default.
- W2267638272 cites W2114888488 @default.
- W2267638272 cites W2117189826 @default.
- W2267638272 cites W2117525659 @default.
- W2267638272 cites W2118039525 @default.
- W2267638272 cites W2118689284 @default.
- W2267638272 cites W2119510512 @default.
- W2267638272 cites W2120938811 @default.
- W2267638272 cites W2121163444 @default.
- W2267638272 cites W2122529434 @default.
- W2267638272 cites W2122869170 @default.
- W2267638272 cites W2124677924 @default.
- W2267638272 cites W2124810679 @default.
- W2267638272 cites W2125281005 @default.