受强制性开放获取政策约束的文章 - Philipp Czerner了解详情
无法在其他位置公开访问的文章：1 篇
Brief Announcement: Population Protocols Decide Double-exponential Thresholds
P Czerner
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing …, 2023
强制性开放获取政策： German Research Foundation, European Commission
可在其他位置公开访问的文章：5 篇
Fast and succinct population protocols for Presburger arithmetic
P Czerner, R Guttenberg, M Helfrich, J Esparza
Journal of Computer and System Sciences 140, 103481, 2024
强制性开放获取政策： European Commission
Lower bounds on the state complexity of population protocols
P Czerner, J Esparza
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021
强制性开放获取政策： German Research Foundation, European Commission
Making Practical: Efficient Interactive Protocols for BDD Algorithms
E Couillard, P Czerner, J Esparza, R Majumdar
International Conference on Computer Aided Verification, 437-458, 2023
强制性开放获取政策： German Research Foundation, European Commission
Breaking Through the Ω (n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds
P Czerner
38th International Symposium on Distributed Computing (DISC 2024), 17: 1-17: 18, 2024
强制性开放获取政策： German Research Foundation, European Commission
Decision Power of Weak Asynchronous Models of Distributed Computing
P Czerner, R Guttenberg, M Helfrich, J Esparza
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021
强制性开放获取政策： German Research Foundation, European Commission
出版信息和资助信息由计算机程序自动确定