Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Temporal Logic Patterns for Querying Dynamic Models of Cellular
  Interaction Networks   Models of the dynamics of cellular interaction networks have become
increasingly larger in recent years. Formal verification based on model
checking provides a powerful technology to keep up with this increase in scale
and complexity. The application of model-checking approaches is hampered,
however, by the difficulty for non-expert users to formulate appropriate
questions in temporal logic. In order to deal with this problem, we propose the
use of patterns, that is, high-level query templates that capture recurring
biological questions and that can be automatically translated into temporal
logic. The applicability of the developed set of patterns has been investigated
by the analysis of an extended model of the network of global regulators
controlling the carbon starvation response in Escherichia coli.

22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
1
The categories of this paper are: cs
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol