Author:
Ring Martin,Lüth Christoph
Publisher
Springer International Publishing
Reference19 articles.
1. LNAI;C. Lüth,2013
2. LNAI;M. Wenzel,2012
3. ProofPeer web page,
http://www.proofpeer.net
(accessed: January 29, 2014)
4. Dourish, P., Bellotti, V.: Awareness and coordination in shared workspaces. In: Proceedings of the 1992 ACM Conference on Computer-supported Cooperative Work, CSCW 1992, pp. 107–114. ACM (1992)
5. Sun, C., Jia, X., Zhang, Y., Yang, Y., Chen, D.: Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems. ACM Trans. Comput.-Hum. Interact. 5(1), 63–108 (1998)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Remote Verification System for Mizar Integrated with Emwiki;Lecture Notes in Computer Science;2024
2. Coqoon;International Journal on Software Tools for Technology Transfer;2017-05-02
3. Interactive Proof Presentations with Cobra;Electronic Proceedings in Theoretical Computer Science;2017-01-24
4. Coqoon;Tools and Algorithms for the Construction and Analysis of Systems;2016
5. Wikis and Collaborative Systems for Large Formal Mathematics;Semantic Web Collaborative Spaces;2016