Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lepton-Specific Two Higgs Doublet Model as a Solution of Muon \$g-2\$ Anomaly, , and . (Apr 27, 2015)Polyhedral Clinching Auctions for Two-Sided Markets., and . Math. Oper. Res., 47 (1): 259-285 (2022)Combining higher-order model checking with refinement type inference., , and . PEPM@POPL, page 47-53. ACM, (2019)Gradual Tensor Shape Checking., , and . ESOP, volume 13990 of Lecture Notes in Computer Science, page 197-224. Springer, (2023)Can Abstraction Be Taught? Refactoring-based Abstraction Learning., , and . MODELSWARD, page 429-437. SciTePress, (2018)Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs., , , and . CAV (2), volume 9207 of Lecture Notes in Computer Science, page 287-303. Springer, (2015)Ordered Types for Stream Processing of Tree-Structured Data., , and . Inf. Media Technol., 6 (2): 385-398 (2011)Parameterized Recursive Refinement Types for Automated Program Verification., , and . SAS, volume 13790 of Lecture Notes in Computer Science, page 397-421. Springer, (2022)When and Why Do Software Developers Face Uncertainty?, , and . QRS, page 288-299. IEEE, (2019)iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns., , and . ICSOFT, page 210-218. SciTePress, (2018)