| 2026 | CSEDU | A Trait-Based Prioritization Framework: Teaching Practices to Support Neurodivergent Learners in Computer Science Education. | Ying Jiang, Boris Ddder |
| 2025 | CoopIS | Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models. | Tilman Zuckmantel, Hugo A. Lpez, Yongluan Zhou, Boris Ddder, Thomas T. Hildebrandt |
| 2025 | Coordination | DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects. | Tilman Zuckmantel, Yongluan Zhou, Boris Ddder, Thomas T. Hildebrandt |
| 2025 | WWW | Linking Souls to Humans: Blockchain Accounts with Credible Anonymity for Web 3.0 Decentralized Identity. | Taotao Wang, Zibin Lin, Shengli Zhang, Long Shi, Qing Yang, Boris Ddder |
| 2025 | TrustCom | Zero-Knowledge Quantized Weighted Majority Algorithm. | Li Quan, Xikun Jiang, Boris Ddder |
| 2024 | DSN | Federated Unlearning in the Internet of Vehicles. | Guofeng Li, Xia Feng, Liang-Min Wang, Haiqin Wu, Boris Ddder |
| 2024 | ICIS | Quantum Computing: Going Where No One Has Gone Before. | Michel Avital, Samir Chatterjee, Boris Ddder, Nishtha Langer, Jan Marco Leimeister, Natalia Levina, Jonathan Wareham |
| 2024 | IJCAI | Privacy-Preserving UCB Decision Process Verification via zk-SNARKs. | Xikun Jiang, He Lyu, Chenhao Ying, Yibin Xu, Boris Ddder, Yuan Luo |
| 2024 | NDSS | A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance. | Yibin Xu, Jingyi Zheng, Boris Ddder, Tijs Slaats, Yongluan Zhou |
| 2024 | SECON | Publicly Verify While Hiding Data: Privacy-Aware Streaming Truth Discovery with Public Verifiability in Blockchain-Enhanced Crowdsensing. | Ruikai Zheng, Haiqin Wu, Boris Ddder |
| 2023 | SECON | Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing. | Prasanna Siddharth Mukkamala, Haiqin Wu, Boris Ddder |
| 2022 | CCS | Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit. | Yibin Xu, Tijs Slaats, Boris Ddder |
| 2022 | FC | Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. | Yibin Xu, Tijs Slaats, Boris Ddder, Sren Debois, Haiqin Wu |
| 2021 | ECOOP | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. | Jan Bessai, George T. Heineman, Boris Ddder |
| 2016 | ISoLA | Combinatory Process Synthesis. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2016 | ISoLA | ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. | Boris Ddder, George T. Heineman, Jakob Rehof |
| 2016 | ISoLA | A Long and Winding Road Towards Modular Synthesis. | George T. Heineman, Jan Bessai, Boris Ddder, Jakob Rehof |
| 2015 | SPLC | Synthesizing type-safe compositions in feature oriented software designs using staged composition. | Boris Ddder, Jakob Rehof, George T. Heineman |
| 2015 | SPLC | Towards migrating object-oriented frameworks to enable synthesis of product line members. | George T. Heineman, Armend Hoxha, Boris Ddder, Jakob Rehof |
| 2014 | ESOP | Staged Composition Synthesis. | Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | ISoLA | Combinatory Logic Synthesizer. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2012 | CSL | Bounded Combinatory Logic. | Boris Ddder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn |