Markus
Wagner
» Home
» Research
» Publications
» Awards & Activities
» Teaching
» Contact
|
|
|
| |
Publications
|
 |
 |
|
|
| |
Most of my publications are also available at DBLP and Google Scholar.
Regarding the copyright, I should mention that the following listing gives links to pre-print or author-prepared versions of the papers.
They are provided for timely communication among scholars,
without permission for further distribution.
The definitive version of a paper is the published version.
If you have any questions, if you would like to get access to code or to raw results, if you would like to collaborate, ...
then please do not hesitate to email me.
Theses
-
Doctor of Philosophy
-
Diploma Computer Science
Testing a Verification System
Markus Wagner
Supervisors: Bernhard Beckert and Thorsten Bormer
Refereed Journal Articles
-
Energy (IF 6.082)
Wind turbine power output prediction using a new hybrid neuro-evolutionary method
Mehdi Neshat, Meysam Majidi Nezhad, Ehsan Abbasnejad, Seyedali Mirjalili, Daniele Groppi, Azim Heydari, Lina Bertling Tjernberg, Davide Astiaso Garcia, Bradley Alexander, Qinfeng Shi, Markus Wagner
ScienceDirect
-
Energy Conversion and Management (IF 8.208)
A deep learning-based evolutionary model for short-term wind speed forecasting: A case study of the Lillgrund offshore wind farm
Mehdi Neshat, Meysam Majidi Nezhad, Ehsan Abbasnejad, Seyedali Mirjalili, Lina Bertling Tjernberg, Davide Astiaso Garcia, Bradley Alexander, Markus Wagner
ScienceDirect
-
Applied Soft Computing (IF 5.472, accepted on 11 March 2021)
Toward more efficient heuristic construction of Boolean functions
Domagoj Jakobovic, Stjepan Picek, Marcella S. R. Martins, Markus Wagner
ScienceDirect |
PDF
-
Natural Computing (IF=1.495, accepted 6 February 2021)
Saving Computational Budget in Bayesian Network-based Evolutionary Algorithms
Marcella Scoczynski, Myriam Delgado, Ricardo Luders, Diego Oliva, Markus Wagner, Inkyung Sung, and Mohamed El Yafrani
SpringerLink
-
SoftwareX (accepted on 29 January 2021)
-
Natural Computing (IF=1.495, accepted 8 January 2021)
Evolutionary Algorithms and Submodular Functions: Benefits of Heavy-Tailed Mutations
Tobias Friedrich, Andreas Göbel, Francesco Quinzan, Markus Wagner
arxiv.org |
SpringerLink
-
Technical Report
Self-Adaptive Systems: A Systematic Literature Review Across Categories and Domains
Terence Wong, Markus Wagner, Christoph Treude
arxiv.org
-
Technical Report
Metaheuristics 'In the Large'
Jerry Swan, Steven Adraensen, Alexander E. I. Brownlee, Colin G. Johnson, Ahmed Kheiri, Faustyna Krawiec, J. J. Merelo, Leandro L. Minku, Ender Özcan, Gisele L. Pappa, Pablo GarcÃa-Sánchez, Kenneth Sörensen, Stefan Voß, Markus Wagner, David R. White
arxiv.org
-
Technical Report
A weighted-sum method for solving the bi-objective traveling thief problem
Jonatas B. C. Chagas, Markus Wagner
arxiv.org
-
Energies (IF 2.702)
A New Bi-Level Optimisation Framework for Optimising a Multi-Mode Wave Energy Converter Design: A Case Study for the Marettimo Island, Mediterranean Sea
Mehdi Neshat, Nataliia Y. Sergiienko, Erfan Amini, Meysam Majidi Nezhad, Davide Astiaso Garcia, Bradley Alexander and Markus Wagner
online |
PDF
-
Journal of Heuristics (accepted 2 Sep 2020, IF 1.577)
A Non-Dominated Sorting Based Customized Random-Key Genetic Algorithm for the Bi-Objective Traveling Thief Problem
Chagas, J. B. C., Blank, J., Wagner, M., Souza, M. J. F. and Deb, K.
PDF
| updated PDF
| arxiv
| TTP Project Page
| Springer
-
Operations Research Letters (Accepted 26 August 2020, IF 0.757)
-
Applied Soft Computing (Full Special Issue, IF 5.472)
Benchmarking of Computational Intelligence Algorithms
Thomas Weise, Markus Wagner, Bin Li, Xingyi Zhang, Jörg Lässig
ScienceDirect |
editorial
-
Technical Report
Benchmarking in Optimization: Best Practice and Open Issues
Thomas Bartz-Beielstein, Carola Doerr, Jakob Bossek, Sowmya Chandrasekaran, Tome Eftimov, Andreas Fischbach, Pascal Kerschke, Manuel Lopez-Ibanez, Katherine M. Malan, Jason H. Moore, Boris Naujoks, Patryk Orzechowski, Vanessa Volz, Markus Wagner, and Thomas Weise
arxiv.org
-
Swarm and Evolutionary Computation (Elsevier, impact factor 6.912, accepted 7 July 2020)
New insights into the Position Optimization of Wave Energy Converters by a Hybrid Local Search
Mehdi Neshat, Bradley Alexander, Nataliia Sergiienko, and Markus Wagner
arxiv.org
| code: on the project page
| ScienceDirect
-
Information Sciences (Elsevier, impact factor 5.524)
A Hybrid Cooperative Co-evolution Algorithm Framework for Optimising Power Take Off and Placements of Wave Energy Converters
Mehdi Neshat, Bradley Alexander, and Markus Wagner
arxiv.org
| Elsevier
-
Empirical Software Engineering 2020 (Springer, impact factor 4.457)
Better Software Analytics via "DUO": Data Mining Algorithms Using/Used-by Optimizers
Amritanshu Agrawal, Tim Menzies, Leandro L. Minku, Markus Wagner, and Zhe Yu
arxiv.org
| Springer
-
Optimization in Industry 2019
Evolutionary computation for multicomponent problems: opportunities and future directions
Mohammad Reza Bonyadi, Zbigniew Michalewicz, Frank Neumann, and Markus Wagner
Springer Book Chapter
arxiv
-
Information Sciences 2018 (Elsevier, impact factor 4.832)
On the use of genetic programming to evolve priority rules for resource constrained project scheduling problems
Shelvin Chand, Quang Huynh, Hemant Singh, Tapabrata Ray, and Markus Wagner
Elsevier | PDF
Tunnelling and Underground Space Technology 2017 (Elsevier, impact factor 2.562)
Performance Analysis of ZigBee Network Topologies for Underground Space Monitoring and Communication Systems
Mohammad Ali Moridi, Youhei Kawamura, Mostafa Sharifzadeh, Emmanuel Knox Chanda, Markus Wagner, Hirokazu Okawa
Elsevier |
PDF
Genetic Programming and Evolvable Machines 2017 (Springer, impact factor 1.514)
A hyperheuristic approach based on low-level heuristics for the travelling thief problem
Mohamed El Yafrani, Marcella Martins, Markus Wagner, Belaïd Ahiod, Myriam Delgado, and Ricardo Lüders
SpringerLink |
PDF
| TTP Project Page
Journal of Heuristics 2017 (Springer, impact factor 1.344)
Frontiers in Applied Mathematics and Statistics, Section Optimization
Applied Soft Computing 2016 (Elsevier, impact factor 3.222)
Renewable Energy 2016 (Elsevier, impact factor 3.982)
Renewable Energy 2016 Special Issue "Optimization Methods in Renewable Energy Systems Design"
Paul Kaufmann, Oliver Kramer, Frank Neumann, and Markus Wagner (Managing Guest Editor)
ScienceDirect |
PDF (Editorial) | Our special issue received 135 submissions.
Surveys in Operations Research and Management Science 2015 (Elsevier)
Evolutionary Many-Objective Optimization: A Quick-Start Guide
Shelvin Chand and Markus Wagner
ScienceDirect |
PDF
Frontiers in Robotics and AI, Section Computational Intelligence 2015
Analyzing the Effects of Instance Features and Algorithm Parameters for Max-Min Ant System and the Traveling Salesperson Problem
Samadhi Nallaperuma, Markus Wagner, and Frank Neumann
Frontiers (open access) |
PDF
European Journal of Operational Research 2015 (Elsevier, impact factor 2.911)
Applied Soft Computing 2015 (Elsevier, impact factor 3.222)
Evolutionary Computation Journal 2015 (MIT Press, impact factor 2.366)
On the Performance of Different Genetic Programming Approaches for the SORTING Problem
Markus Wagner, Frank Neumann, and Tommaso Urli
MIT Press |
PDF
International Journal of Mining Science and Technology 2015 (Elsevier, impact factor 1.41)
Development of Underground Mine Monitoring and Communication System integrated ZigBee and GIS
Mohammad Ali Moridi, Youhei Kawamura, Mostafa Sharifzadeh, Emmanuel Knox Chanda, Markus Wagner, Hyongdoo Jang, and Hirokazu Okawa
ScienceDirect |
PDF
Journal of Disaster Research 2015 (Fuji Technology Press)
Analysis of radio wave propagation in an urban environment and its application to initial disaster response support
Youhei Kawamura, Kento Ishii, Hyongdoo Jang, Markus Wagner, Hajime Nobuhara, Ashraf M. Dewan, Bert Veenendaal, and Itaru Kitahara
Fuji Technology |
PDF
ISPRS International Journal of Geo-Information 2015
A Multimedia Data Visualization Based on Ad-Hoc Communication Networks and Its Application to Disaster Management
Youhei Kawamura, Markus Wagner, Hyongdoo Jang, Hajime Nobuhara, Takeshi Shibuya, Itaru Kitahara, Ashraf M Dewan, Bert Veenendaal
ISPRS (open access) |
PDF
Renewable Energy 2013 (Elsevier, impact factor 3.982)
-
Renewable Energy 2013 (Elsevier, impact factor 3.982)
Predicting the Energy Output of Wind Farms Based on Weather Data: Important Variables
and their Correlation
Katya Vladislavleva, Tobias Friedrich, Frank Neumann, and Markus Wagner
ScienceDirect |
arXiv.org
-
Annals of Mathematics and Artificial Intelligence 2013 (Springer, impact factor 0.49)
A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem
Olaf Mersmann, Bernd Bischl, Heike Trautmann, Markus Wagner, and Frank Neumann
Springer AMAI |
arXiv.org
Book Chapters
-
Advances in Metaheuristics 2013
-
GPTP 2011
Refereed Conference Papers and Other Articles
-
GECCO 2021 Workshop ECPERM — Evolutionary Computation for Permutation Problems
Generating Instances with Performance Differences for More Than Just Two Algorithms
Jakob Bossek, Markus Wagner
arxiv.org
-
EvoCOP 2021
MATE: A Model-based Algorithm Tuning Engine
Mohamed El Yafrani, Marcella Scoczynski Ribeiro Martins, Inkyung Sung, Markus Wagner, Carola Doerr, and Peter Nielsen
arxiv.org
-
Symposium On Applied Computing (SAC) 2021
Modelling and Optimization of Run-of-Mine Stockpile Recovery
Hirad Assimi, Ben Koch, Chris Garcia, Markus Wagner, and Frank Neumann
PDF
-
Network & Distributed System Security (NDSS) Symposium 2021 (acceptance rate 17.6%)
Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers
Madura A Shelton, Niels Samwel, Lejla Batina, Francesco Regazzoni, Markus Wagner, and Yuval Yarom
arxiv.org
| ePrint
This has also been accepted at Real World Crypto 2021 (acceptance rate 35.6%) for presentation.
-
SIGSOFT Software Engineering Notes, Vol. 45, No. 4
Genetic Improvement @ ICSE 2020
William B. Langdon, Westley Weimer, Justyna Petke, Erik Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang and Michael Gerten
PDF
| ACM
-
ICONIP 2020
The Dynamic Travelling Thief Problem: Benchmarks and Performance of Evolutionary Algorithms
Ragav Sachdeva, Frank Neumann, and Markus Wagner
arxiv.org
| TTP Project Page
-
PPSN 2020
Human-Like Summaries from Heterogeneous and Time-Windowed Software Development Artefacts
Mahfouth Alghamdi, Christoph Treude, and Markus Wagner
arxiv.org
-
PPSN 2020
Fitness Landscape Analysis of Dimensionally-Aware Genetic Programming Featuring Feynman Equations
Marko Durasevic, Domagoj Jakobovic, Marcella Scoczynski Ribeiro Martins, Stjepan Picek, and Markus Wagner
arxiv.org
-
Genetic Improvement Workshop GI@GECCO 2020
-
Genetic Improvement Workshop GI@GECCO 2020
Optimising the Fit of Stack Overflow Code Snippets into Existing Code
Brittany Reid, Christoph Treude, and Markus Wagner
arxiv.org
| ACM
| slides
-
Genetic Improvement Workshop GI@GECCO 2020
Genetic Improvement of Software Efficiency: The Curse of Fitness Estimation
Mahmoud A. Bokhari, Brad Alexander, and Markus Wagner
ACM |
slides
-
GECCO 2020
Towards Rigorous Validation of Energy Optimisation Experiments
Mahmoud A. Bokhari, Brad Alexander, Markus Wagner
arxiv.org
| slides
| ACM
-
GECCO 2020, Best Paper Award (RWA Track, best of 47 submissions in this track)
-
Technical Report
An Evolutionary Deep Learning Method for Short-term Wind Speed Prediction: A Case Study of the Lillgrund Offshore Wind Farm
Mehdi Neshat, Meysam Majidi Nezhad, Ehsan Abbasnejad, Lina Bertling Tjernberg, Davide Astiaso Garcia, Bradley Alexander, Markus Wagner
arxiv.org
-
OMAE 2020 - 39th International Conference on Ocean, Offshore & Arctic Engineering
Design optimisation of a multi-mode wave energy converter
Nataliia Y. Sergiienko, Mehdi Neshat, Leandro S.P. da Silva, Bradley Alexander and Markus Wagner
arxiv.org
| simulation tool
-
Technical Report
Is perturbation an effective restart strategy?
Aldeida Aleti, Mark Wallace, and Markus Wagner
arxiv.org
-
Configuration and Selection of Algorithms Workshop (COSEAL) 2019
-
International Conference on Neural Information Processing (ICONIP) 2019
Adaptive Neuro-Surrogate-Based Optimisation Method for Wave Energy Converters Placement Optimisation
Mehdi Neshat, Ehsan Abbasnejad, Qinfeng Shi, Bradley Alexander, and Markus Wagner
SpringLink |
researchgate
-
BRACIS 2019
On updating probabilistic graphical models in a Bayesian Optimisation Algorithm
Marcella Scoczynski, Mohamed El Yafrani, Myriam R. B. S. Delgado, Ricardo Lüders, Inkyung Sung, Markus Wagner, and Diego Oliva
PDF
-
Foundations of Genetic Algorithms (FOGA)
Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
Jakob Bossek, Pascal Kerschke, Aneta Neumann, Markus Wagner, Frank Neumann and Heike Trautmann
preliminary version
| code
-
GECCO 2019 Companion - Genetic Improvement of Software Workshop
A Survey of Genetic Improvement Search Spaces
Justyna Petke, Brad Alexander, Earl T. Barr, Alexander E.I. Brownlee, Markus Wagner, and David R. White
ACM |
PDF
-
GECCO 2019 Companion - Genetic Improvement of Software Workshop
Toward Human-Like Summaries Generated from Heterogeneous Software Artefacts
Mahfouth Alghamdi, Christoph Treude, and Markus Wagner
ACM
| PDF
| arxiv
| slides
-
GECCO 2019 Companion - Genetic Improvement of Software Workshop
The Quest for Non-Functional Property Optimisation in Heterogeneous and Fragmented Ecosystems: a Distributed Approach
Mahmoud A. Bokhari, Markus Wagner, and Brad Alexander
ACM
| PDF
| slides
-
GECCO 2019 Companion - Black-Box Discrete Optimisation Benchmarking Workshop
Kinder Surprise’s Debut in Discrete Optimisation – A Real-World Toy Problem that can be Subadditive
Markus Wagner
ACM
| PDF
| GitHub
| slides
-
Technical Report
On resampling vs. adjusting probabilistic graphical models in estimation of distribution algorithms
Mohamed El Yafrani, Marcella S. R. Martins, Myriam R. B. S. Delgado, Inkyung Sung, Ricardo Luders, Markus Wagner
arxiv.org
-
GECCO 2019, CORE A, acc rate 35%
Gin: Genetic Improvement Research Made Easy
Alexander E.I. Brownlee, Justyna Petke, Brad Alexander, Earl T. Barr, Markus Wagner, and David R. White
ACM |
PDF
-
GECCO 2019, CORE A, acc rate 35%, Best Paper Award in the RWA Track (best of 87 submissions in this track)
-
GECCO 2019, CORE A, acc rate 35%
A characterisation of S-box fitness landscapes in cryptography
Domagoj Jakobovic, Stjepan Picek, Marcella S. R. Martins, and Markus Wagner
ACM |
PDF |
arxiv.org |
slides
-
GECCO 2019, CORE A, acc rate 35%, Best Paper Nomination
-
Mining Software Repositories (MSR) 2019, CORE A, acc rate 25%
-
Congress on Evolutionary Computation (CEC) 2019
Mind the gap -- a distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance
Mahmoud Bokhari, Lujung Weng, Markus Wagner, Bradley Alexander
IEEE Xplore
| PDF
-
AAAI 2019, CORE A*, acc rate 16%
-
MOBIQUITOUS 2018
In-vivo and offline optimisation of energy use in the presence of small energy signals - A case study on a popular Android library
Mahmoud A. Bokhari, Brad Alexander, and Markus Wagner
preliminary version
| ACM
-
Parallel Problem Solving from Nature (PPSN) 2018
-
Parallel Problem Solving from Nature (PPSN) 2018
-
Parallel Problem Solving from Nature (PPSN) 2018
Sparse incomplete LU-decomposition for Wave Farm Designs under Realistic Conditions
Didac Rodriguez Arbones, Nataliia Y. Sergiienko, Boyin Ding, Oswin Krause, Christian Igel, and Markus Wagner
SpringerLink |
preliminary version
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
Escaping Large Deceptive Basins of Attraction with Heavy-Tailed Mutation Operators
Tobias Friedrich, Francesco Quinzan, and Markus Wagner
ACM
| PDF
| slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
A Detailed Comparison of Meta-Heuristic Methods for Optimising Wave Energy Converter Placements
Mehdi Neshat, Bradley Alexander, Markus Wagner, and Yuanzhong Xia
ACM |
PDF |
PDF with appendix |
slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
On the Effectiveness of Simple Success-Based Parameter Selection Mechanisms for Two Classical Discrete Black-Box Optimization Benchmark Problems
(new title: "Simple On-the-Fly Parameter Selection Mechanisms for Two Classical Discrete Black-Box Optimization Benchmark Problems")
Carola Doerr and Markus Wagner
ACM
| PDF
| slides
| arxiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
Discrepancy-based Evolutionary Diversity Optimization
Aneta Neumann, Wanru Gao, Carola Doerr, Frank Neumann, Markus Wagner
ACM |
PDF | arxiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
-
Mining Software Repositories (MSR), CORE A, acc rate 33%
Data-Driven Search-based Software Engineering
Vivek Nair, Amritanshu Agrawal, Jianfeng Chen, Wei Fu, George Mathew, Tim Menzies, Leandro Minku, Markus Wagner, Zhe Yu
ACM |
PDF |
slides |
arxiv.org
-
Simulated Evolution and Learning (SEAL) 2017
-
Genetic Improvement Workshop (GI@GECCO) 2017
Deep Parameter Optimisation on Android Smartphones for Energy Minimisation - A Tale of Woe and a Proof-of-Concept
Mahmoud A. Bokhari, Bobby R. Bruce, Brad Alexander, and Markus Wagner
ACM | PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2017
Theoretical results on bet-and-run as an initialisation strategy
Andrei Lissovoi, Dirk Sudholt, Markus Wagner, and Christine Zarges
ACM
| PDF
| slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2017
HSEDA: A Heuristic Selection Approach Based on Estimation of Distribution Algorithm for the Travelling Thief Problem
Marcella Martins, Mohamed El Yafrani, Markus Wagner, Myriam Delgado, Belaid Ahiod, and Ricardo Lueders
ACM | PDF
| TTP Project Page
-
Genetic and Evolutionary Computation Conference (GECCO) 2017 Poster
Multi-objectiveness in the Single-objective Traveling Thief Problem
Mohamed El Yafrani, Shelvin Chand, Aneta Neumann, Belaid Ahiod, and Markus Wagner
ACM | PDF
| TTP Project Page
-
IEEE Congress on Evolutionary Computation (CEC) 2017
Improving local search in a minimum vertex cover solver for classes of networks
Markus Wagner, Tobias Friedrich, and Marius Lindauer
IEEE Xplore
| PDF
-
IEEE Congress on Evolutionary Computation (CEC) 2017
A Modified Indicator-Based Evolutionary Algorithm (mIBEA)
Wenwen Li, Ender Ozcan, Robert John, John H. Drake, Aneta Neumann, and Markus Wagner
IEEE Xplore
| PDF
| slides
-
Learning and Intelligent Optimisation (LION) 2017
Learning a Reactive Restart Strategy to Improve Stochastic Search
Serdar Kadioglu, Meinolf Sellmann and Markus Wagner
SpringerLink
| PDF
| slides
-
Technical Report (arXiv)
Validation of Internal Meters of Mobile Android Devices
Mahmoud A. Bokhari, Yuanzhong Xia, Bo Zhou, Brad Alexander, and Markus Wagner
arxiv
-
International Workshop on Water Waves and Floating Bodies (IWWWFB) 2017
Study of fully submerged point absorber wave energy converter - modelling, simulation and scaled experiment
Boyin Ding, Leandro Souza Pinheiro da Silva, Nataliia Sergiienko, Fantai Meng, Jonathan David Piper, Luke Bennetts, Markus Wagner, Benjamin Cazzolato, Maziar Arjomandi
PDF |
Website
-
AAAI Conference on Artificial Intelligence 2017, CORE A*, acc rate 25%
A Generic Bet-and-run Strategy for Speeding Up Stochastic Local Search
Tobias Friedrich, Timo Kötzing, and Markus Wagner
31st Association for the Advancement of Artificial Intelligence Conference
AAAI page | arxiv | PDF
-
Australasian Conference on Artificial Life and Computational Intelligence (ACALCI) 2017
Multi-Objective Optimisation with Multiple Preferred Regions
Shahriar Mahbub, Markus Wagner, and Luigi Crema
Australasian Conference on Artificial Life and Computational Intelligence
PDF
| slides
-
Parallel Problem Solving from Nature (PPSN) 2016
Fast and Effective Multi-Objective Optimisation of Submerged Wave Energy Converters
Didac Rodriguez Arbones, Boyin Ding, Nataliia Sergiienko, and Markus Wagner
Proceedings, 14th International Conference on Parallel Problem Solving from Nature
SpringerLink | PDF
-
Swarm Intelligence (ANTS) 2016
-
MaxSAT Competition 2016: Solver SC2016
-
Genetic and Evolutionary Computation Conference (GECCO) 2016: Genetic Improvement Workshop
(Towards) Optimising Energy Consumption Heuristically on Android Mobile Phones
Mahmoud Bokhari and Markus Wagner
Proceedings, Genetic and Evolutionary Computation Conference (Companion)
Note that the "Towards" was added post-acceptance to make it clearer that this is a position paper.
ACM |
PDF
Best Presentation Award
-
Genetic and Evolutionary Computation Conference (GECCO) 2016: Genetic Improvement Workshop
(Towards) Speeding up the proof strategy in formal software verification
Markus Wagner
Proceedings, Genetic and Evolutionary Computation Conference (Companion)
Note that the "Towards" was added post-acceptance to make it clearer that this is a position paper.
ACM |
PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2016
Fast and effective optimisation of arrays of submerged wave energy converters
Junhua Wu, Slava Shekh, Nataliia Sergiienko, Benjamin Cazzolato, Boyin Ding, Frank Neumann, and Markus Wagner
Proceedings, Genetic and Evolutionary Computation Conference
ACM |
PDF |
Matlab code
-
Genetic and Evolutionary Computation Conference (GECCO) 2016
-
World Congress on Computational Intelligence/Congress on Evolutionary Computation (WCCI/CEC) 2016
Constrained Evolutionary Wind Turbine Placement with Penalty Functions
Daniel Lückehe, Oliver Kramer and Markus Wagner
Proceedings, World Congress on Computational Intelligence: Congress on Evolutionary Computation
PDF
-
Symposium on Search-Based Software Engineering (SSBSE) 2015
An Improved Beam-Search for Testing Formal Verification Systems
Mahmoud Bokhari, Thorsten Bormer, and Markus Wagner
Proceedings, Symposium on Search-Based Software Engineering
Springer LNCS 9275 |
PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2015
On Evolutionary Approaches to Wind Turbine Placement with Geo-Constraints
Daniel Lückehe, Markus Wagner, and Oliver Kramer
Proceedings, Genetic and Evolutionary Computation Conference
ACM |
PDF |
slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2015
-
Genetic and Evolutionary Computation Conference (GECCO) 2015
Improving Test Coverage of Formal Verification Systems via Beam Search
Mahmoud Bokhari and Markus Wagner
Companion, Genetic and Evolutionary Computation Conference
ACM |
PDF
-
Simulated Evolution and Learning (SEAL) 2014
Beyond the edge of feasibility: analysis of bottlenecks
Mohammad Reza Bonyadi, Zbigniew Michalewicz and Markus Wagner
Proceedings, 10th Int. Conference on Simulated Evolution and Artificial Life
Springer LNCS 8886 |
Bottleneck stories |
PDF
-
Simulated Evolution and Learning (SEAL) 2014
Incorporating User Preferences into Approximation-Guided Multi-Objective Evolution
Anh Quang Nguyen, Markus Wagner and Frank Neumann
Proceedings, 10th Int. Conference on Simulated Evolution and Artificial Life
Springer LNCS 8886 |
PDF
-
Parallel Problem Solving from Nature (PPSN) 2014
Parameter Prediction based on Features of Evolved Instances for Ant Colony Optimization and the Traveling Salesperson Problem
Samadhi Nallaperuma, Markus Wagner, and Frank Neumann
Proceedings, Parallel Problem Solving from Nature
Springer LNCS 8672 |
PDF
-
World Congress on Computational Intelligence/Congress on Evolutionary Computation (WCCI/CEC) 2014
Maximising Axiomatization Coverage and Minimizing Regression Testing Time
Markus Wagner
Proceedings, IEEE World Congress on Computational Intelligence: Congress on Evolutionary Computation
IEEE |
PDF |
slides
-
World Congress on Computational Intelligence/Congress on Evolutionary Computation (WCCI/CEC) 2014
Single- and Multi-Objective Genetic Programming: New Runtime Results for SORTING
Markus Wagner and Frank Neumann
Proceedings, IEEE World Congress on Computational Intelligence: Congress on Evolutionary Computation
IEEE |
PDF |
slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2014
A Comprehensive Benchmark Set and Heuristics for the Traveling Thief Problem
Sergey Polyakovskiy, Mohammad Reza Bonyadi, Markus Wagner, Frank Neumann, and Zbigniew Michalewicz
Proceedings, Genetic and Evolutionary Computation Conference
ACM |
PDF |
all 9720 Instances
Related data:
objective function ( C#,
Java (including heuristic algorithms),
Matlab),
experimental results (objective values, runtimes, as plots and tables),
feature data of of the instances for feature analyses (uploaded on 25 Feb 2016)
| TTP Project Page
-
Metaheuristics International Conference (MIC) 2013
Heuristically Creating Test Cases for Program Verification Systems
Bernhard Beckert, Thorsten Bormer, and Markus Wagner
Proceedings, Metaheuristics International Conference
PDF |
slides
-
Congress on Evolutionary Computation (CEC) 2013
Efficient Parent Selection for Approximation-Guided Evolutionary Multi-Objective Optimization
Markus Wagner and Tobias Friedrich
Proceedings, IEEE Congress on Evolutionary Computation
IEEE |
PDF |
slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2013
-
Genetic and Evolutionary Computation Conference (GECCO) 2013
-
Genetic and Evolutionary Computation Conference (GECCO) 2013
Ant colony optimisation and the traveling salesperson problem - hardness, features and parameter settings (extended abstract)
Samadhi Nallaperuma, Markus Wagner, and Frank Neumann
Proceedings, Genetic and Evolutionary Computation Conference (Companion Material)
ACM |
PDF
-
Tests and Proofs (TAP) 2013
A Metric for Testing Program Verification Systems
Bernhard Beckert, Markus Wagner, and Thorsten Bormer
Proceedings, 7th International Conference on Tests and Proofs
Springer LNCS 7942 |
PDF
-
Foundations of Genetic Algorithms (FOGA) 2013
A Feature-Based Comparison of Local Search and the Christofides Algorithm
for the Travelling Salesperson Problem
Samadhi Nallaperuma, Markus Wagner, Frank Neumann, Bernd Bischl, Olaf Mersmann and Heike Trautmann
Proceedings, Foundations of Genetic Algorithms XII
ACM |
PDF (preproceedings version)
-
Foundations of Genetic Algorithms (FOGA) 2013
Single- and multi-objective genetic programming: new bounds for Weighted ORDER and MAJORITY
Anh Quang Nguyen, Tommaso Urli and Markus Wagner
Proceedings, Foundations of Genetic Algorithms XII
ACM |
PDF (preproceedings version)
-
Parallel Problem Solving from Nature (PPSN) 2012
Parsimony Pressure versus Multi-Objective Optimization
for Variable Length Representations
Markus Wagner and Frank Neumann
Proceddings, 12th International Conference on Parallel Problem Solving From Nature
Springer LNCS 7491
| PDF
-
Parallel Problem Solving from Nature (PPSN) 2012
Experimental Supplements to the Computational Complexity
Analysis of Genetic Programming for Problems Modelling Isolated Program Semantics
Tommaso Urli, Markus Wagner, and Frank Neumann
Proceddings, 12th International Conference on Parallel Problem Solving From Nature
Springer LNCS 7491
| PDF
-
Parallel Problem Solving from Nature (PPSN) 2012 - Joint Workshop on Automated Selection and Tuning of Algorithms
Features of Easy and Hard Instances for
Approximation Algorithms and the Traveling Salesperson Problem
Samadhi Nallaperuma, Markus Wagner, Frank Neumann, Bernd Bischl,
Olaf Mersmann, and Heike Trautmann
PDF
-
World Congress on Computational Intelligence/Congress on Evolutionary Computation (WCCI/CEC) 2012
An Adaptive Data Structure for Evolutionary Multi-Objective Algorithms with Unbounded Archives
Joseph Yuen, Sophia Gao, Markus Wagner, and Frank Neumann
Proceedings, IEEE World Congress on Computational Intelligence: Congress on Evolutionary Computation
IEEE
| PDF
| Bibtex
| Abstract
-
World Congress on Computational Intelligence/Congress on Evolutionary Computation (WCCI/CEC) 2012
Optimizing Energy Output and Layout Costs for Large Wind Farms using Particle Swarm Optimization
Kalyan Veeramachaneni, Markus Wagner, Una-May O'Reilly and Frank Neumann
Proceedings, IEEE World Congress on Computational Intelligence: Congress on Evolutionary Computation
IEEE
| PDF
| Bibtex
| Abstract
-
Learning and Intelligent Optimisation (LION) 2012
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
Olaf Mersmann, Bernd Bischl, Jakob Bossek, Heike Trautmann, Markus Wagner, and Frank Neumann
Proceedings, Learning and Intelligent Optimization Conference
Springer LNCS
| PDF
| slides
| Bibtex
| Abstract
-
Metaheuristics International Conference (MIC) 2011 (Best Paper Award)
Evolving Pacing Strategies for Team Pursuit Track Cycling
Markus Wagner, Jareth Day, Diora Jordan, Trent Kroeger, and Frank Neumann
Proceedings, 9th Metaheuristics International Conference
PDF
| BibTeX
| Abstract
| Slides
-
International Joint Conference on Artificial Intelligence (IJCAI) 2011
-
Technical Report
Computational Complexity Results for Genetic Programming and the Sorting Problem
Markus Wagner and Frank Neumann
arXiv.org
-
EWEA Annual Event 2011
Optimizing the Layout of 1000 Wind Turbines
Markus Wagner, Kalyan Veeramachaneni, Frank Neumann, and Una-May O'Reilly
Proceedings, European Wind Energy Association 2011
PDF
| Poster
| BibTeX
| Abstract
-
Foundations of Genetic Algorithms (FOGA) 2011
Simple Max-Min Ant Systems and the Optimization of Linear Pseudo-Boolean Functions
Timo Kötzing, Frank Neumann, Dirk Sudholt, and Markus Wagner
Proceedings, Foundations of Genetic Algorithms XI
ACM
| PDF
| BibTeX
| Abstract
-
Foundations of Genetic Algorithms (FOGA) 2011
Faster Black-Box Algorithms Through Higher Arity Operators
Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner, and Carola Winzen
Proceedings, Foundations of Genetic Algorithms XI
ACM
| PDF
| BibTeX
| Abstract
-
Formal Verification of Object-Oriented Software (FoVeOOS) 2010
Towards Testing a Verifying Compiler
Thorsten Bormer and Markus Wagner
Pre-Proceedings, International Conference on Formal Verification of Object-Oriented Software
PDF
| BibTeX
| Abstract
-
Künstliche Intelligenz (KI) 2009
Probabilistic Models for the Verification of Human-Computer Interaction
Bernhard Beckert and Markus Wagner
Proceedings, 32nd Annual German Conference on Artificial Intelligence
PDF
| Springer LNCS 5803
| Poster
| BibTeX
| Abstract
General Stipend by Universität Koblenz-Landau
-
Congress on Evolutionary Computation (CEC) 2009
Towards an Evolved Lower Bound for the Most Circular Partition of a Square
Claudia Obermaier and Markus Wagner
Proceedings, 2009 IEEE Congress on Evolutionary Computation
PDF
| Presentation
| BibTeX
| Abstract
General Stipend by Universität Koblenz-Landau
-
Gesellschaft für Informatik: Informatiktage 2009
Probabilistic User Models for the Verification of Human-Computer Interaction
Markus Wagner
Proceedings, GI Informatiktage 2009, Lecture Notes in Informatics
PDF
| Poster (PNG)
| BibTeX
| Abstract
-
Genetic and Evolutionary Methods 2008
Better Huffman Coding via Genetic
Algorithm
Cody Boisclair and Markus Wagner
Proceedings, The 2008 International Conference on Genetic and Evolutionary Methods
PDF
| BibTeX
| Abstract
Participation Stipend by WORLDCOMP
-
EvoWorkshops
2008
Composing
Music with Neural Networks and Probabilistic Finite-State Machines
Tomasz Oliwa and Markus Wagner
Proceedings, 6th European Workshop on Evolutionary and Biologically Inspired Music, Art and Design
PDF
| Springer LNCS 4974
| Poster
| BibTeX
| Abstract
| Project Website
Housing Stipend by EvoStar, Travel Stipend by Universität Koblenz-Landau
-
FLoC Workshop on Empirically Successful Computerized Reasoning (ESCoR) 2006
-
Real
World
Verification - Experiences from the Verisoft Email Client
Gerd Beuster, Niklas Henrich, and Markus Wagner
Proceedings, FLoC'06 Workshop on Empirically Successful Computerized
Reasoning
PDF
| BibTeX
| Abstract
Other activities
-
Presentations
Tuning your algorithms by brains and CPU
Markus Wagner
Slides of the invited seminar, Western Sydney University, online, 16 September 2020
Optimizing the Layout of 1000 Turbines
Markus Wagner
Presentation, Opening Keynote Speaker at WSIRE 2014
Theory and Applications of Bio-inspired Algorithms
Markus Wagner
Poster
| Best Poster Award (People's Choice) at the HDR Poster Day 2011
Evolutionary Lessons for Wind Energy Efficiency
Markus Wagner
Presentation
| Presentation at the C9Go8 HDR Forum "Clean Energy and Sustainable Future 2011"
Testing a Verification Tool
Markus WagnerInterdisciplinary College 2010 Play, Act and Learn, Günne at Lake Möhnesee, Germany
Poster
| BibTeX
| Abstract
Partial Stipend by IK2010
The Verisoft XT Project
Thorsten Bormer, Markus Wagner7th KeY Symposium 2008, Göteborg, Sweden
General Stipend by Universität Koblenz-Landau
User Modeling in the Context of Critical Actions
Markus Wagner5th KeY Symposium 2006, Speyer, Germany
General Stipend by Universität Koblenz-Landau
Proving C0 programs correct with Isabelle
Markus Wagner4th KeY Symposium 2005, Lökeberg, Sweden
General Stipend by Universität Koblenz-Landau
Review Article
|
|
|
