1. Adelaide Research & Scholarship

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 61-70 of 100 (Search time: 0.003 seconds).
Item hits:
PreviewIssue DateTitleAuthor(s)
2016Speeding up the proof strategy in formal software verificationWagner, M.; Friedrich, T.; Genetic and Evolutionary Computation Conference (GECCO) (20 Jul 2016 - 24 Jul 2016 : Denver, CO)
2022Efficiently solving the thief orienteering problem with a max–min ant colony optimization approachChagas, J.B.C.; Wagner, M.
2014Single- and multi-objective genetic programming: new runtime results for sortingWagner, M.; Neumann, F.; 2014 IEEE Congress on Evolutionary Computation (CEC) (6 Jul 2014 - 11 Jul 2014 : Beijing)
2022Self-adaptive systems: A systematic literature review across categories and domainsWong, T.; Wagner, M.; Treude, C.
2018Evolutionary computation for multicomponent problems: opportunities and future directionsBonyadi, M.; Michalewicz, Z.; Wagner, M.; Neumann, F.; Datta, S.; Davim, J.P.
2014User preferences for approximation-guided multi-objective evolutionNguyen, A.; Wagner, M.; Neumann, F.; Dick, G.; et al.,; 10th International Conference on Simulated Evolution and Learning (SEAL) (15 Dec 2014 - 18 Dec 2014 : Dunedin, New Zealand)
2018In-vivo and offline optimisation of energy use in the presence of small energy signals: case study on a popular Android libraryBokhari, M.A.; Alexander, B.; Wagner, M.; Schulzrinne, H.; Li, P.; EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous) (5 Nov 2018 - 7 Nov 2018 : New York City, NY)
2014A comprehensive benchmark set and heuristics for the traveling thief problemPolyakovskiy, S.; Bonyadi, M.; Wagner, M.; Michalewicz, Z.; Neumann, F.; Igel, C.; 2014 Genetic and Evolutionary Computation Conference (GECCO 2014) (12 Jul 2014 - 16 Jul 2014 : Vancouver, Canada)
2015An improved beam-search for the test case generation for formal verification systemsBokhari, M.; Bormer, T.; Wagner, M.; Barros, M.; Labiche, Y.; International Symposium on Search Based Software Engineering (SSBSE) (5 Sep 2015 - 7 Sep 2015 : Bergamo, Italy)
2015Efficient optimization of many objectives by approximation-guided evolutionWagner, M.; Bringmann, K.; Friedrich, T.; Neumann, F.

Discover