Dominik Winterer

2016201720182019202020212022202320241 5 7 10 20 44 72 72 63

Offentlig åtkomst

5 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Zhendong SuProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
Michael KatzPrincipal Research Staff Member, IBM Research AIVerifierad e-postadress på ibm.com
Chengyu ZhangDepartment of Computer Science, ETH ZurichVerifierad e-postadress på stu.ecnu.edu.cn
Shirin SohrabiIBM Research / University of TorontoVerifierad e-postadress på cs.toronto.edu
Octavian UdreaCodeMetal IncVerifierad e-postadress på codemetal.ai
Martin WehrleVerifierad e-postadress på informatik.uni-freiburg.de
Jiwon ParkUC BerkeleyVerifierad e-postadress på berkeley.edu
Florian PommereningUniversity of BaselVerifierad e-postadress på unibas.ch
Vitaly MirkisVerifierad e-postadress på tx.technion.ac.il
Robert MattmüllerUniversity of Freiburg, GermanyVerifierad e-postadress på robert-mattmueller.de
Emil Keyder

Dominik Winterer

Verifierad e-postadress på inf.ethz.ch - Startsida


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Validating SMT Solvers via Semantic Fusion D Winterer, C Zhang, Z Su PLDI 2020, 2020	90	2020
A Novel Iterative Approach to Top-k Planning M Katz, S Sohrabi, U Octavian, D Winterer ICAPS 2018, 2018	73	2018
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers D Winterer, C Zhang, Z Su SPLASH/OOPSLA 2020, 2020	62	2020
Generative type-aware mutation for testing SMT solvers J Park, D Winterer, C Zhang, Z Su SPLASH/OOPSLA 2021, 2021	32	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	5	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, ...

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–11

Citat per år