Cited By
View all- Meinecke C(2022)Labeling of Cultural Heritage Collections on the Intersection of Visual Analytics and Digital Humanities2022 IEEE 7th Workshop on Visualization for the Digital Humanities (VIS4DH)10.1109/VIS4DH57440.2022.00009(19-24)Online publication date: Oct-2022
- Zou DZeng MXiong YFu ZZhang LSu Z(2019)Detecting floating-point errors via atomic conditionsProceedings of the ACM on Programming Languages10.1145/33711284:POPL(1-27)Online publication date: 20-Dec-2019
- Pédrot PTabareau N(2019)The fire triangle: how to mix substitution, dependent elimination, and effectsProceedings of the ACM on Programming Languages10.1145/33711264:POPL(1-28)Online publication date: 20-Dec-2019
- Show More Cited By