84 search results - page 9 / 17 » corr 2009 |
CORR
2009
Springer
13 years 5 months ago
2009
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In 2009, R
CORR
2009
Springer
13 years 5 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The hairpin completion is a natural operation on formal languages which has been inspired by biochemistry and DNA-computing. In this paper we solve two problems which were posed f...