Browse by Publication

Shen, M, Xu, K, Zhong, Y, Liu, H and Wang, N (2012) Routing on demand: Toward the energy-aware traffic engineering with OSPF

Lim, D, Ong, Y-S, Jin, Y and Sendhoff, B (2008) Evolutionary optimization with dynamic fidelity computational models

Wei, K and Heather, J (2007) A theorem-proving approach to verification of fair non-repudiation protocols Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4691 LNCS . 202 - 219.

Schaathun, HG and Cohen, GD (2006) Nested codes for constrained memory and for dirty paper

Wei, K and Heather, J (2005) Embedding the stable failures model of CSP in PVS Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS . 246 - 265. ISSN 0302-9743

Okabe, T, Jin, Y, Olhofer, M and Sendhoff, B (2004) On test functions for evolutionary multi-objective optimization

Jin, Y and Sendhoff, B (2003) Trade-off between performance and robustness: An evolutionary multiobjective approach