Cited By
View all- Cheng SChen JAnastasiou CAngeli PMatar OGuo YPain CArcucci R(2023)Generalised Latent Assimilation in Heterogeneous Reduced Spaces with Machine Learning Surrogate ModelsJournal of Scientific Computing10.1007/s10915-022-02059-494:1Online publication date: 1-Jan-2023
- Rong HPark JXiang LAnderson TSmelyanskiy MZaks AMendelson BRauchwerger LHwu W(2016)SparsoProceedings of the 2016 International Conference on Parallel Architectures and Compilation10.1145/2967938.2967943(247-259)Online publication date: 11-Sep-2016
- Meijer JPol J(2016)Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability AnalysisProceedings of the 8th International Symposium on NASA Formal Methods - Volume 969010.1007/978-3-319-40648-0_20(255-271)Online publication date: 7-Jun-2016
- Show More Cited By