Dominik Winterer

2016201720182019202020212022202320241 5 7 10 20 44 72 73 79

Public access

5 articles

0 articles

available

not available

Based on funding mandates

Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Michael KatzPrincipal Research Staff Member, IBM Research AIVerified email at ibm.com
Chengyu ZhangDepartment of Computer Science, ETH ZurichVerified email at stu.ecnu.edu.cn
Shirin SohrabiIBM Research / University of TorontoVerified email at cs.toronto.edu
Octavian UdreaCodeMetal IncVerified email at codemetal.ai
Martin WehrleVerified email at informatik.uni-freiburg.de
Jiwon ParkUC BerkeleyVerified email at berkeley.edu
Florian PommereningUniversity of BaselVerified email at unibas.ch
Vitaly MirkisVerified email at tx.technion.ac.il
Robert MattmüllerUniversity of Freiburg, GermanyVerified email at robert-mattmueller.de
Emil Keyder

Dominik Winterer

Verified email at inf.ethz.ch - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Validating SMT Solvers via Semantic Fusion D Winterer, C Zhang, Z Su PLDI 2020, 2020	95	2020
A Novel Iterative Approach to Top-k Planning M Katz, S Sohrabi, U Octavian, D Winterer ICAPS 2018, 2018	76	2018
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers D Winterer, C Zhang, Z Su SPLASH/OOPSLA 2020, 2020	66	2020
Generative type-aware mutation for testing SMT solvers J Park, D Winterer, C Zhang, Z Su SPLASH/OOPSLA 2021, 2021	36	2021
Oversubscription Planning as Classical Planning with Multiple Cost Functions M Katz, E Keyder, F Pommerening, D Winterer ICAPS 2019, 2019	13	2019
Stubborn Sets for Fully Observable Nondeterministic Planning D Winterer, R Mattmüller, M Wehrle ICAPS 2017, 2017	11	2017
Structural Symmetries for Fully Observable Nondeterministic Planning D Winterer, M Wehrle, M Katz IJCAI 2016, 2016	8	2016
Finding and Understanding Incompleteness Bugs in SMT Solvers M Bringolf, D Winterer, Z Su ASE 2022, 2022	6	2022
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages V Szabo, D Winterer, Z Su arXiv preprint arXiv:2406.04778, 2024		2024
Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration D Winterer, Z Su SPLASH/OOPSLA 2024, 2024		2024
Demonstrations Committee A Arrieta, A Martin-Lopez, A Gorla, A Marchetto, B Xu, C Menghi, C Nagy, ...

The system can't perform the operation now. Try again later.

Articles 1–11

Citations per year