Workflow composition and enactment using jORCA. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 328-339 (2010).
1
Jorca: easily integrating bioinformatics web services. (English)
Bioinformatics 26, No. 4, 553-559 (2010).
2
On the nonlinearity of exponential welch costas functions (English)
IEEE Transactions on Information Theory 56, No. 3, 1230-1238 (2010).
3
Computing the degree of a Boolean function from its support (English)
ISITA, 123-128 (2010).
4
Workflow composition and enactment using jorca (English)
ISoLA (1), 328-339 (2010).
5
Prep+07: improvements of a user friendly tool to preprocess and analyse microarray data. (English)
BMC Bioinform. 10 (2009).
6
On the construction of bent functions of $n+2$ variables from bent functions of $n$ variables. (English)
Adv. Math. Commun. 2, No. 4, 421-431 (2008).
7
Emerging OCL tools. (English)
Softw. Syst. Model. 2, No. 4, 248-261 (2003).
8
Start
Contact
Print
General Help
