Logo Uni weis auf blau  





Logo FB4
 Markus Wagner

 

 Path: Markus Wagner»Publications

  
Publications
Pinselstrich rechts
Pinselstrich links


  
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

Theory and Applications of Bio-Inspired Algorithms
Markus Wagner
Supervisors: Frank Neumann and Zbyszek Michalewicz

PDF | PDF @ University of Adelaide Library | Winner of the University Doctoral Research Medal 2013

Diploma Computer Science

Testing a Verification System
Markus Wagner
Supervisors: Bernhard Beckert and Thorsten Bormer

Refereed Journal Articles

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
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

Journal of Heuristics 2017 (Springer, impact factor 1.344)

A case study of algorithm selection for the traveling thief problem
Markus Wagner, Marius Lindauer, Mustafa Misir, Samadhi Nallaperuma, and Frank Hutter
PDF | arxiv | datasets (ASlib scenario, performance data, ...) | Springer | Readcube version (read only, no print/PDF) | data sets

Frontiers in Applied Mathematics and Statistics, Section Optimization

Nested Multi- and Many-Objective Optimisation of Team Track Pursuit Cycling
Markus Wagner
Frontiers (open access)

(under review)

Evolutionary computation for multicomponent problems: opportunities and future directions
Mohammad Reza Bonyadi, Zbigniew Michalewicz, Frank Neumann, and Markus Wagner
arxiv

Applied Soft Computing 2016 (Elsevier, impact factor 3.222)

Incorporating Domain Knowledge into the Optimization of Energy Systems
Md Shahriar Mahbub, Markus Wagner, and Luigi Crema
PDF (accepted 13 June 2016)

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)

Efficient Optimization of Many Objectives by Approximation-Guided Evolution
Markus Wagner, Karl Bringmann, Tobias Friedrich, and Frank Neumann
ScienceDirect | Source Code: jMetal implementation (Note) | PDF

Applied Soft Computing 2015 (Elsevier, impact factor 3.222)

Seeding the Initial Population of Multi-Objective Evolutionary Algorithms: A Computational Study
Tobias Friedrich and Markus Wagner
ScienceDirect | arXiv.org | Seeding: solutions used for DTLZ, LZ, WFG, ZDT | PDF

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 (MDPI)

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)

A Fast and Effective Local Search Algorithm for Optimizing the Placement of Wind Turbines
Markus Wagner, Jareth Day, and Frank Neumann
ScienceDirect | arXiv.org | publicly available version | Code: Turbine Distribution Algorithm (TDA)

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

Evolving Pacing Strategies for Team Pursuit Track Cycling
Markus Wagner, Jareth Day, Diora Jordan, Trent Kroeger, and Frank Neumann
Springer Operations Research/Computer Science Interfaces Series | PDF

GPTP 2011

Computational Complexity Analysis of Genetic Programming
Frank Neumann, Una-May O'Reilly, and Markus Wagner
Genetic Programming: Theory and Practice
PDF | Chapter @ Springer Verlag | Book @ Springer Verlag | BibTeX | Abstract

Refereed Conference Papers and Other Articles

Simulated Evolution and Learning (SEAL) 2017

Exact Approaches for the Travelling Thief Problem
Junhua Wu, Markus Wagner, Sergey Polyakovskiy, Frank Neumann
arXiv

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

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

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

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, Rober John, John H. Drake, Aneta Neumann, and Markus Wagner
IEE Xplore | PDF

Learning and Intelligent Optimisation (LION) 2017

Learning a Reactive Restart Strategy to Improve Stochastic Search
Serdar Kadioglu, Meinolf Sellmann and Markus Wagner
SpringerLink | PDF

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

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

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

Stealing items more efficiently with ants: a Swarm Intelligence Approach to the Travelling Thief Problem
Markus Wagner
Proceedings, 10th International Conference on Swarm Intelligence (ANTS)
SpringerLink | PDF, (extended version) | code for the MMAS approach | experimental results on 108 instances as used in the article (averages of 30 independent runs)

MaxSAT Competition 2016: Solver SC2016

MaxSAT Solver SC2016
Markus Wagner
Internal technical report (place holder until article is published)
PDF | Bibtex | Competition Results (PDF) | Competition Results (website)
SC2016 achieved 1x First Place, 3x Second Place, 4x Third Place (17 competitors)

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

Fast Heuristics for the Multiple Traveling Thieves Problem
Shelvin Chand and Markus Wagner
Proceedings, Genetic and Evolutionary Computation Conference
ACM | PDF
code for the MTTP (including the objective function and some heuristics)
experimental results on 72 instances as used in the article (averages of 30 independent runs)

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

Genetic and Evolutionary Computation Conference (GECCO) 2015

Approximate Approaches to the Traveling Thief Problem
Hayden Faulkner, Sergey Polyakovskiy, Tom Schultz, and Markus Wagner
Proceedings, Genetic and Evolutionary Computation Conference
ACM | PDF | code for the heuristics H1-5 and C1-6
experimental results on 72 instances as used in the article (averages of 30 independent runs)
experimental results on 9720 instance (single run, uploaded on 25 Feb 2016), readme

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

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

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)

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

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

Genetic and Evolutionary Computation Conference (GECCO) 2013

A Fast Approximation-Guided Evolutionary Multi-Objective Algorithm
Markus Wagner and Frank Neumann
Proceedings, Genetic and Evolutionary Computation Conference
ACM | PDF | Source Code: jMetal implementation (Note)

Genetic and Evolutionary Computation Conference (GECCO) 2013

Fast and Effective Multi-Objective Optimisation of Wind Turbine Placement
Raymond Tran, Junhua Wu, Christopher Denison, Thomas Ackling, Markus Wagner, and Frank Neumann
Proceedings, Genetic and Evolutionary Computation Conference
ACM | PDF | jMetal-based source code (incl. all objective functions and plotting scripts)

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

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

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 | 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

Approximation-Guided Evolutionary Multi-Objective Optimization
Karl Bringmann, Tobias Friedrich, Frank Neumann, and Markus Wagner
Proceedings, 21nd International Joint Conference on Artificial Intelligence
PDF (corrected) | BibTeX | Abstract | Errata | Source Code: jMetal implementation (Note) | Source Code: Shark implementation

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

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 Wagner
Interdisciplinary 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 Wagner
7th KeY Symposium 2008, Göteborg, Sweden
General Stipend by Universität Koblenz-Landau

User Modeling in the Context of Critical Actions
Markus Wagner
5th KeY Symposium 2006, Speyer, Germany
General Stipend by Universität Koblenz-Landau

Proving C0 programs correct with Isabelle
Markus Wagner
4th KeY Symposium 2005, Lökeberg, Sweden
General Stipend by Universität Koblenz-Landau

Review Article