io-port.net

first | previous | 1 | next | last

Result 1 to 5 of 5 total

io-port 05901345 Groote, J.F.; Keiren, J.J.A.; Stappers, F.P.M.; Wesselink, J.W.; Willemse, T.A.C.

Experiences in developing the mCRL2 toolset. (English)

Softw., Pract. Exper. 41, No. 2, 143-153 (2011).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05882201 Ploeger, B.; Wesselink, J.W.; Willemse, T.A.C.

Verification of reactive systems via instantiation of parameterised Boolean equation systems. (English)

Inf. Comput. 209, No. 4, 637-663 (2011).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05511416 Tress, Michael L.; Wesselink, Jan-Jaap; Frankish, Adam; López, Gonzalo; Goldman, Nick; Löytynoja, Ari; Massingham, Tim; Pardi, Fabio; Whelan, Simon; Harrow, Jennifer; Valencia, Alfonso

Determination and validation of principal gene products. (English)

Bioinformatics 24, No. 1, 11-17 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01961982 Reynolds, Alan P.; Dicks, Jo L.; Roberts, Ian N.; Wesselink, Jan-Jap; de la Iglesia, Beatriz; Robert, Vincent; Boekhout, Teun; Rayward-Smith, Victor J.

Algorithms for identification key generation and optimization with application to yeast identification. (English)

Cagnoni, Stefano (ed.) et al., Applications of evolutionary computing. EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14‒16, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00976-0/pbk). Lect. Notes Comput. Sci. 2611, 107-118 (2003).

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70184185 Reynolds, Alan P.; Dicks, Jo L.; Roberts, Ian N.; Wesselink, Jan-Jaap; De La Iglesia, Beatriz; Robert, Vincent; Boekhout, Teun; Rayward-Smith, Victor J.

Algorithms for identification key generation and optimization with application to yeast identification (English)

EvoWorkshops, 107-118 (2003).

PDF XML AMS-TeX TEXT BIBTeX DOI

first | previous | 1 | next | last

Result 1 to 5 of 5 total