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
-
Information Sciences 2017 (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
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)
Frontiers in Applied Mathematics and Statistics, Section Optimization
(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)
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 (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)
-
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
-
Parallel Problem Solving from Nature (PPSN) 2018
Sensitivity of Parameter Control Mechanisms with Respect to Their Initialization
Carola Doerr and Markus Wagner
preliminary version
-
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
preliminary version
-
Technical Report
Per-Corpus Configuration of Topic Modelling for GitHub and Stack Overflow Collections
Christoph Treude and Markus Wagner
arxiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
Escaping Large Deceptive Basins of A raction with Heavy-Tailed Mutation Operators
Tobias Friedrich, Francesco Quinzan, and Markus Wagner
PDF
-
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
PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
A fitness landscape analysis of the Travelling Thief Problem
Mohamed El Yafrani, Marcella S. R. Martins, Mehdi El Krari, Markus Wagner, Myriam R. B. S. Delgado, Belaid Ahiod, and Ricardo Lueders
PDF | code by Mehdi EL KRARI
-
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
PDF | arxiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
Discrepancy-based Evolutionary Diversity Optimization
Aneta Neumann, Wanru Gao, Carola Doerr, Frank Neumann, Markus Wagner
PDF | arxiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
Evolutionary Computation plus Dynamic Programming for the Bi-Objective Travelling Thief Problem
Junhua Wu, Sergey Polyakovskiy, Markus Wagner, Frank Neumann
PDF | arxiv.org
-
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
PDF | arxiv.org
-
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
-
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
-
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
-
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
-
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
-
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
-
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 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
|
|
|
