Author:
Lübeck Frank,Neunhöffer Max
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The orbiter ecosystem for combinatorial data;Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation;2020-07-20
2. Scaling Reliably;ACM Transactions on Programming Languages and Systems;2017-12-31
3. Symmetry in Software Synthesis;ACM Transactions on Architecture and Code Optimization;2017-07-21
4. A scalable reliable instant messenger using the SD Erlang libraries;Proceedings of the 15th International Workshop on Erlang;2016-09-23
5. Improving the network scalability of Erlang;Journal of Parallel and Distributed Computing;2016-04