Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. True Variability Shining Through Taxonomy Mining;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
2. A Comparative Analysis of Swarm Intelligent Algorithms;2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE);2022-12-18
3. Synthesis of sorting algorithms using multisets in Theorema;Journal of Logical and Algebraic Methods in Programming;2021-02
4. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema;Theoretical Aspects of Computing – ICTAC 2021;2021
5. A Historical Account of My Early Research Interests;Electronic Proceedings in Theoretical Computer Science;2020-08-07