Malte Mues -

Registered user since Wed 19 Feb 2020

Name:Malte Mues

Affiliation:TU Dortmund University

Personal website: https://ls14-www.cs.tu-dortmund.de/cms/en/staff/wimis/Mues.html

Contributions

2024

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

ASE

2021

ASE

Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Research Papers-track
Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Artifact Evaluation-track

2020

ISSTA

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track