Author:
Bošnački Dragan,Odenbrett Maximilian R,Wijs Anton,Ligtenberg Willem,Hilbers Peter
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,Molecular Biology,Biochemistry,Structural Biology
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Innermost many-sorted term rewriting on GPUs;Science of Computer Programming;2023-01
2. Linear parallel algorithms to compute strong and branching bisimilarity;Software and Systems Modeling;2022-12-06
3. GPU Acceleration of Bounded Model Checking with ParaFROST;Computer Aided Verification;2021
4. SAT Solving with GPU Accelerated Inprocessing;Tools and Algorithms for the Construction and Analysis of Systems;2021
5. Towards verified construction of correct and optimised GPU software;Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs;2020-07-23