Author:
Chatterjee Krishnendu,Ibsen-Jensen Rasmus,Pavlogiannis Andreas
Publisher
Springer International Publishing
Reference44 articles.
1. DIMACS implementation challenges.
http://dimacs.rutgers.edu/Challenges/
2. Lecture Notes in Computer Science;S Almagor,2013
3. Blackburn, S.M., Garner, R., Hoffmann, C., Khang, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanović, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA. ACM (2006)
4. Lecture Notes in Computer Science;R Bloem,2009
5. Bloem, R., Greimel, K., Henzinger, T.A., Jobstmann, B.: Synthesizing robust systems. In: FMCAD (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth;Lecture Notes in Computer Science;2023
2. Efficient approximations for cache-conscious data placement;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Faster algorithms for quantitative verification in bounded treewidth graphs;Formal Methods in System Design;2021-04-29
4. The treewidth of smart contracts;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
5. Efficient parameterized algorithms for data packing;Proceedings of the ACM on Programming Languages;2019-01-02