Background: Restriction enzymes are one of the everyday tools used in molecular biology. The continuously expanding panel of known restriction enzymes (several thousands) renders ...
Patrick Martin, Kim E. Boulukos, Philippe Pognonec
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Background: RNAmute is an interactive Java application which, given an RNA sequence, calculates the secondary structure of all single point mutations and organizes them into categ...