An active registry for bioinformatics web services. - Steve Pettifer; David Thorne; Philip McDermott; Terri K. Attwood; J. Baran; Jan Christian Bryne; Taavi Hupponen; D. Mowbray; Gert Vriend (Bioinform., 2009)

Handling concatenation in trace- and model-checking. - J. Baran (2009)