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
-
Research in Education (IF 1.300)
"You can't really learn the future" - student perspectives of futures education in schools
Neil Selwyn, Fareed Kaviani, Yolande Strengers, Kari Dahlgren, Bronwyn Cumbo, and Markus Wagner
SageJournals
-
Empirical Software Engineering (IF 4.728)
The role of surprisal in issue trackers
James Caddy, Earl Barr, Christoph Treude, Markus Wagner
SpringerLink
-
Technical Report
Weakly Supervised Test-Time Domain Adaptation for Object Detection
Anh-Dzung Doan, Bach Long Nguyen, Terry Lim, Madhuka Jayawardhana, Surabhi Gupta, Christophe Guettier, Ian Reid, Markus Wagner, Tat-Jun Chin
arXiv.org
-
Nature Scientific Reports (IF: 4.3)
Detecting Fallacies in Climate Misinformation: A Technocognitive Approach to Identifying Misleading Argumentation
Francisco Zanartu, John Cook, Markus Wagner, Julian Garcia
arXiv.org |
online |
PDF
-
IEEE Transaction on Emerging Topics in Computational Intelligence (IF 5.3)
Multi-Agent Task Assignment in Vehicular Edge Computing: A Regret-Matching Learning-Based Approach
Bach Long Nguyen, Duong D. Nguyen, Hung X. Nguyen, Duy T. Ngo, and Markus Wagner
arXiv.org |
IEEE Xplore |
code
-
Empirical Software Engineering (IF 4.728)
Detecting Outdated Code Element References in Software Repository Documentation
Wen Siang Tan, Markus Wagner, Christoph Treude
SpringerLink |
arXiv.org
-
Empirical Software Engineering (IF 4.728)
Program Transformation Landscapes for Automated Program Modification Using Gin
Justyna Petke, Brad Alexander, Earl T. Barr, Alexander E.I. Brownlee, Markus Wagner, David R. White
SpringerLink Open Access
-
IEEE Transactions on Intelligent Transportation Systems (IF 7.9)
Sensor Allocation and Online-Learning-based Path Planning for Maritime Situational Awareness Enhancement: A Multi-Agent Approach
Bach Long Nguyen, Anh-Dzung Doan, Tat-Jun Chin, Christophe Guettier, Estelle Parra, Ian Reid, Markus Wagner
arXiv.org |
IEEE Xplore
-
Soft Computing (IF 3.732)
A regression analysis of the impact of routing and packing dependencies on the expected runtime
Mohamed El Yafrani, Marcella Scoczynski, Markus Wagner and Peter Nielsen
PDF |
SpringerLink
-
Computer Vision and Image Understanding (IF 4.5)
Assessing Domain Gap for Continual Domain Adaptation in Object Detection
Anh-Dzung Doan, Bach Long Nguyen, Surabhi Gupta, Ian Reid, Markus Wagner, Tat-Jun Chin
ScienceDirect |
arXiv.org
-
IEEE Transactions on Software Engineering (Q1, IF=9.322)
NCQ: Code reuse support for node.js developers
Brittany Reid, Marcelo d'Amorim, Markus Wagner, Christoph Treude
arXiv.org |
IEEE
-
Ocean Engineering (IF 4.372, Q1)
A novel integrated approach for offshore wind power optimization
Fenglan He, Markus Wagner, Lijun Zhang, Changsheng Shao, Wenhao Xu, Weiqiu Chen, Yun Yan, and Ye Li
Elsevier ScienceDirect
-
Information and Software Technology (IF=2.370)
Self-Adaptive Systems: A Systematic Literature Review Across Categories and Domains
Terence Wong, Markus Wagner, Christoph Treude
arXiv.org |
Elsevier ScienceDirect
-
IEEE Transactions on Cloud Computing (IF=5.938)
Online Deployment Algorithms for Microservice Systems with Complex Dependencies
Xiang He, Zhiying Tu, Markus Wagner, Xiaofei Xu, and Zhongjie Wang
arXiv.org |
IEEE Xplore
-
Optimization Letters (IF 1.888)
Efficiently solving the thief orienteering problem with a max-min ant colony optimization approach
Jonatas B. C. Chagas and Markus Wagner
PDF |
code |
SpringerLink
-
Computers and Operations Research (IF=4.008)
-
Technical Report
What makes a good Node.js package? Investigating Users,Contributors, and Runnability
Bodin Chinthanet, Brittany Reid, Christoph Treude, Markus Wagner, Raula Gaikovina Kula, Takashi Ishio, and Kenichi Mastumoto
preprint
-
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
Elsevier 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
Elsevier ScienceDirect
-
Applied Soft Computing (IF 5.472)
Toward more efficient heuristic construction of Boolean functions
Domagoj Jakobovic, Stjepan Picek, Marcella S. R. Martins, Markus Wagner
Elsevier ScienceDirect |
PDF
-
Natural Computing (IF=1.495)
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
-
Natural Computing (IF=1.495)
Evolutionary Algorithms and Submodular Functions: Benefits of Heavy-Tailed Mutations
Tobias Friedrich, Andreas Göbel, Francesco Quinzan, Markus Wagner
arXiv.org |
SpringerLink
-
European Journal of Operational Research (IF=5.334)
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 |
Elsevier ScienceDirect
-
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 (IF 1.577)
-
Operations Research Letters (IF 0.757)
-
Applied Soft Computing (Full Special Issue, IF 5.472)
-
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)
-
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 ScienceDirect
-
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
| SpringerLink
-
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.org
-
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 ScienceDirect | 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 ScienceDirect |
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)
Incorporating Domain Knowledge into the Optimization of Energy Systems
Md Shahriar Mahbub, Markus Wagner, and Luigi Crema
Elsevier ScienceDirect |
PDF
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)
Elsevier ScienceDirect |
PDF (Editorial) | Our special issue received 135 submissions.
Surveys in Operations Research and Management Science 2015 (Elsevier)
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
Elsevier 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
Elsevier 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
-
16th International Conference on Evolutionary Computation Theory and Applications (ECTA)
Generating Small Instances with Interesting Features for the Traveling Salesperson Problem
Thomas Weise, Tinayu Liang, Zhize Wu, Matthias Threr, and Markus Wagner
PDF at conference |
scitepress online
-
Genetic and Evolutionary Computation Conference (GECCO) 2024
-
IEEE 21st International Conference on Software Architecture (ICSA) 2024
Smart HPA: A Resource-Efficient Horizontal Pod Auto-Scaler for Microservice Architectures
Hussain Ahmad, Christoph Treude, Markus Wagner, and Claudia Szabo
IEEE Xplore
-
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (Demo Paper) 2024
MicroKarta: Visualising Microservice Architectures
Oscar Manglaras, Alex Farkas, Peter Fule, Christoph Treude, Markus Wagner
ACM Digital Library
-
IEEE WCCI/CEC 2024
Towards Adaptation in Multiobjective Evolutionary Algorithms for Integer Problems
Guenter Rudolph and Markus Wagner
PDF |
IEEE Xplore
-
IEEE/ACM First International Conference on AI Foundation Models and Software Engineering (FORGE) 2024
Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
Scott Blyth, Christoph Treude, and Markus Wagner
arXiv.org |
ACM Digital Library
-
International Symposium on Communications and Information Technologies (ISCIT) 2023
Design of Terahertz All-Dielectric Antenna via Optimisation
Chenchu Ma, Harrison Lees, Markus Wagner and Withawat Withayachumnankul
IEEE Xplore
-
IEEE International Conference on Energy Technologies for Future Grids (ETFG) 2023
Community Battery Energy Storage Systems for Enhancing Distribution System Operation: A Multi-objective Optimization Approach
Yunqi Wang, Hao Wang, Markus Wagner, and Ariel Liebman
IEEE Xplore
-
IEEE Working Conference on Software Visualization (VISSOFT) 2023
Problems in Microservice Development: Supporting Visualisation
Oscar Manglaras, Alex Farkas, Peter Fule, Christoph Treude, Markus Wagner
IEEE Xplore
-
IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM) 2023
Using the TypeScript compiler to fix erroneous Node.js snippets
Brittany Reid, Christoph Treude, Markus Wagner
arXiv.org |
IEEE Xplore
-
IEEE International Conference on Software Maintenance and Evolution (ICSME) 2023
Wait, wasn't that code here before? Detecting Outdated Software Documentation
Wen Siang Tan, Markus Wagner, Christoph Treude
arXiv.org |
code
-
Software Engineering News (SEN) September 2023
Genetic Improvement @ ICSE 2023
William B. Langdon, Vesna Nowack, Justyna Petke, Erik M. Fredericks, Gabin An, Aymeric Blot, Markus Wagner, and Hyeonseok Lee
preprint
-
NLBSE 2023 - 2nd International Workshop on NL-based Software Engineering
Applying information theory to software evolution
Adriano Torres, Sebastian Baltes, Christoph Treude, Markus Wagner
arXiv.org |
IEEE Xplore
-
Genetic and Evolutionary Computation Conference (GECCO) 2023 poster
ELEA - Build your own Evolutionary Algorithm in your Browser
Markus Wagner, Erik Kohlros, Gerome Quantmeyer, Timo Ktzing
arXiv.org |
ACM Digital Library
-
ICSE 2023 Demo Paper
CryptOpt: Automatic Optimization of Straightline Code
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom
PDF |
GitHub |
ICSE page with video
-
PLDI 2023 Distinguished Paper
CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
arXiv.org |
ACM Digital Library |
GitHub
PLDI Distinguished Paper
Humies 2023 GOLD Award: certificate | entry form | presentation
This has also been accepted at Real World Crypto 2023 (acceptance: 28/135) for presentation
seminar recording from January 2023 (Monash University, presented by Joel Kuepper)
featured in the SIGEvolution newsletter (Volume 16, Issue 3)
featured in the Australian Information Security Association's (AISA) "Cyber Today", Edition 2
Winner of the Bi-Annual German IT Security Prize (EUR 100,000) !!! Announcement,
LinkedIn,
certificate,
ceremony photo
-
2022 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe)
Optimal offering strategy for an aggregator across multiple products of European day-ahead market
Yogesh Pipada Sunil Kumar, S. Ali Pourmousavi, Markus Wagner, and Jon A. R. Liisberg
arXiv.org |
IEEE Xplore
-
Technical Report
Automatically Categorising GitHub Repositories by Application Domain
Francisco Zanartu, Christoph Treude, Bruno Cartaxo, Hudson Silva Borges, Pedro Moura, Markus Wagner, and Gustavo Pinto
arXiv.org
-
GI @ Genetic and Evolutionary Computation Conference (GECCO) 2022 Workshop
Opportunities for Genetic Improvement of Cryptographic Code
Chitchanok Chuengsatiansup, Markus Wagner, and Yuval Yarom
PDF |
ACM Digital Library
-
GI @ Genetic and Evolutionary Computation Conference (GECCO) 2022 Workshop
Dissecting Copy/Delete/Replace/Swap mutations: Insights from a GIN Case Study
Sherlock Licorish and Markus Wagner
PDF |
ACM Digital Library
-
Mining Software Repositories (MSR) - registered report
Is Surprisal in Issue Trackers Actionable?
James Caddy, Markus Wagner, Christoph Treude, Earl T. Barr, Miltiadis Allamanis
arXiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2022 poster
On the Utility of Marrying GIN and PMD for Improving Stack Overflow Code Snippets
Sherlock A. Licorish, Markus Wagner
arXiv.org
-
Genetic and Evolutionary Computation Conference (GECCO) 2022 poster
Fairness in Generative Modeling: do it Unsupervised!
Nathanael Carraz, Vlad Hosu, Laurent Najman, Fabien Teytaud, Olivier Teytaud, Markus Wagner, and Mariia Zameshina
arXiv.org |
ACM Digital Library
-
Genetic and Evolutionary Computation Conference (GECCO) 2022 poster
Neighbours similar fitness and the effectiveness of restarting local search
Aldeida Aleti, Mark Wallace, and Markus Wagner
ACM Digital Library
-
Genetic and Evolutionary Computation Conference (GECCO) 2022 poster
On the Fitness Landscapes of Interdependency Models in the Travelling Thief Problem
Mohamed El Yafrani, Marcella Scoczynski Ribeiro Martins, Myriam Delgado, Ricardo Lüders, Peter Nielsen, and Markus Wagner
arXiv.org |
ACM Digital Library
-
International Workshop on Recruiting Participants for Empirical Software Engineering (RoPES) 2022
Software Engineering User Study Recruitment on Prolific: An Experience Report
Brittany Reid, Markus Wagner, Marcelo d'Amorim, and Christoph Treude
arXiv.org
-
Symposium On Applied Computing (SAC) 2022
Run-of-Mine stockyard recovery scheduling and optimisation for multiple reclaimers
Hirad Assimi, Ben Koch, Chris Garcia, Markus Wagner and Frank Neumann
arXiv.org |
ACM Digital Library
-
Technical Report
Many-Objective Optimization for Diverse Image Generation
Nathanal Carraz Rakotonirina, Andry Rasoanaivo, Laurent Najman, Petr Kungurtsev, Jeremy Rapin, Fabien Teytaud, Baptiste Roziere, Olivier Teytaud, Markus Wagner, Pak-Kan Wong, and Vlad Hosu
HAL (PDF)
-
ACM Conference on Computer and Communications Security (CCS) 2022
Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code
Madura Shelton, Niels Samwel, Łukasz Chmielewski, Markus Wagner, Lejla Batina, and Yuval Yarom
ACM Digital Library |
eprint |
code
-
Genetic and Evolutionary Computation Conference (GECCO) 2021 Poster
Novelty Particle Swarm Optimisation for Truss Optimisation Problems
Hirad Assimi, Frank Neumann, Markus Wagner, and Xiaodong Li
ACM Digital Library
-
Genetic and Evolutionary Computation Conference (GECCO) 2021 Poster
On the Effectiveness of Restarting Local Search
Aldeida Aleti, Mark Wallace, and Markus Wagner
ACM Digital Library
-
Genetic and Evolutionary Computation Conference (GECCO) 2021 Workshop ECPERM: Evolutionary Computation for Permutation Problems
-
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 |
SpringerLink
-
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 |
ACM Digital Library
-
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 Digital Library
-
ICONIP 2020
-
Parallel Problem Solving from Nature (PPSN) 2020
Human-Like Summaries from Heterogeneous and Time-Windowed Software Development Artefacts
Mahfouth Alghamdi, Christoph Treude, and Markus Wagner
arXiv.org |
SpringerLink
-
Parallel Problem Solving from Nature (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
-
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 Digital Library |
slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2020
-
Genetic and Evolutionary Computation Conference (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 |
Elsevier ScienceDirect
-
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
Algorithm Selection for Image Quality Assessment
Markus Wagner, Hanhe Lin, Shujun Li, and Dietmar Saupe
arXiv.org
| PDF
| poster
-
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 |
IEEE Xplore
-
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
| ACM Digital Library
-
Genetic and Evolutionary Computation Conference (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 Digital Library |
PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2019 Companion - Genetic Improvement of Software Workshop
-
Genetic and Evolutionary Computation Conference (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 Digital Library
| PDF
| slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2019 Companion - Black-Box Discrete Optimisation Benchmarking Workshop
-
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
-
Genetic and Evolutionary Computation Conference (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 Digital Library |
PDF
-
Genetic and Evolutionary Computation Conference (GECCO) 2019, CORE A, acc rate 35%, Best Paper Award in the RWA Track (best of 87 submissions in this track)
-
Genetic and Evolutionary Computation Conference (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 Digital Library |
PDF |
arXiv.org |
slides
-
Genetic and Evolutionary Computation Conference (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 Digital Library
-
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 Digital Library
| PDF
| slides
-
Genetic and Evolutionary Computation Conference (GECCO) 2018
-
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 Digital Library
| 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 Digital Library |
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 Digital Library |
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 Digital Library | 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 Digital Library
| 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 Digital Library
| 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 Digital Library
| 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.org
-
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 Ktzing, and Markus Wagner
31st Association for the Advancement of Artificial Intelligence Conference
AAAI page
| arXiv.org
| 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 Digital Library |
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 Digital Library |
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 Digital Library |
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 Digital Library |
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 Digital Library |
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 Xplore |
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 Xplore |
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 Digital Library |
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 Xplore |
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 Digital Library |
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 Digital Library |
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 Digital Library |
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 Xplore
| 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 Xplore
| 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
| simulator code
-
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 Ktzing, Frank Neumann, Dirk Sudholt, and Markus Wagner
Proceedings, Foundations of Genetic Algorithms XI
ACM Digital Library
| PDF
| BibTeX
| Abstract
-
Foundations of Genetic Algorithms (FOGA) 2011
Faster Black-Box Algorithms Through Higher Arity Operators
Benjamin Doerr, Daniel Johannsen, Timo Ktzing, Per Kristian Lehre, Markus Wagner, and Carola Winzen
Proceedings, Foundations of Genetic Algorithms XI
ACM Digital Library
| 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
|
|
|