Sala, A.; Goel, A.; Gummadi, K. (Hg.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, 01. Oktober 2014 - 02. Oktober 2014. ACM, New York, NY (2014), 278 S.

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Hg.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, 04. November 2013. ACM, New York, NY (2013), 30 S.

Papagiannaki, K.; Gummadi, K.; Partridge, C. (Hg.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013), 470 S.

Weirich, S.; Dreyer, D. (Hg.): TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , Austin, TX, USA, 25. Januar 2011. (2011)

Backes, M.; Ning, P. (Hg.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, 21. September 2009 - 23. September 2009. Springer, Berlin (2009), XVI, 706 S.

Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Hg.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, 18. August 2009 - 23. August 2009. Springer, Berlin (2009), XIII, 367 S.

Aghamov, R.; Baier, C.; Karimov, T.; Ouaknine, J.; Piribauer, J.: Linear Dynamical Systems with Continuous Weight Functions. In: HSCC '24, 22, S. 1 - 11 (Hg. Ábrahám, E.; Mazo, M.). 27th International Conference on Hybrid Systems: Computation and Control, Hong Kong, SAR, China, 13. Mai 2024 - 16. Mai 2024. ACM, New York, NY (2024)

Anand, A.; Schmuck, A.-K.; Nayak, S. P.: Contract-Based Distributed Logical Controller Synthesis. In: HSCC '24, 11, S. 1 - 11 (Hg. Ábrahám, E.; Mazo, M.). 27th International Conference on Hybrid Systems: Computation and Control, Hong Kong, SAR, China, 13. Mai 2024 - 16. Mai 2024. ACM, New York, NY (2024)

D'Costa, J.; Ouaknine, J.; Worrell, J.: Nonnegativity Problems for Matrix Semigroups. In: 41st International Symposium on Theoretical Aspects of Computer Science, 27, S. 1 - 16 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)

Devidze, R.; Kamalaruban, P.; Singla, A.: Informativeness of Reward Functions in Reinforcement Learning. In: AAMAS '24, S. 444 - 452 (Hg. Dastani, M.; Sichmann, J. S.; Alechina, N.; Dignum, V.). 23rd International Conference on Autonomous Agents and Multiagent Systems, Auckland, New Zealand, 06. Mai 2024 - 10. Mai 2024. ACM, New York, NY (2024)

Dutta, P.; Gesmundo, F.; Ikenmeyer, C.; Jindal, G.; Lysikov, V.: Fixed-Parameter Debordering of Waring Rank. In: 41st International Symposium on Theoretical Aspects of Computer Science, 30, S. 1 - 15 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)

Ganardi, M.; Sağlam, I.; Zetzsche, G.: Directed Regular and Context-Free Languages. In: 41st International Symposium on Theoretical Aspects of Computer Science, 36, S. 1 - 20 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)

Ghosh, A.; Malva, L.; Singla, A.: Analyzing-Evaluating-Creating: Assessing Computational Thinking and Problem Solving in Visual Programming Domains. In: SIGCSE 2024, S. 387 - 393 (Hg. Stephenson, B.; Stone, J. A.; Battestilli, L.; Rebelsky, S. A.; Shoop, L.). 55th ACM Technical Symposium on Computer Science Education, Portland, OR, USA, 20. März 2024 - 24. März 2024. ACM, New York, NY (2024)

Guo, Q.; Alizadeh, M.; Falahati, A.; Bindschaedler, L.: AlterEgo: A Dedicated Blockchain Node For Analytics. In: EdgeSys '24, S. 7 - 12. 7th International Workshop on Edge Systems, Analytics and Networking, Athens, Greece, 22. April 2024. ACM, New York, NY (2024)

Hausmann, D.; Piterman, N.; Sağlam, I.; Schmuck, A.-K.: Fair Omega-Regular Games. In: Foundations of Software Science and Computation Structures, S. 13 - 33 (Hg. Kobayashi, N.; Worrell, J.). 27th International Conference on Foundations of Software Science and Computation Structures, Luxembourg City, Luxembourg, 08. April 2024 - 11. April 2024. Springer, Berlin (2024)

Klimis, V.; Donaldson, A. F.; Vafeiadis, V.; Wickerson, J.; Raad, A.: Challenges in Empirically Testing Memory Persistency Models. In: ICSE-NIER 2024, S. 82 - 86 (Hg. Paiva, A.; Abreu, R.; Hierons, R.; Madeira, H.; Roychoudhury, A. et al.). 44th International Conference on Software Engineering: New Ideas and Emerging Results, Lisbon, Portugal, 17. April 2024 - 20. April 2024. ACM, New York, NY (2024)

Kokologiannakis, M.; Majumdar, R.; Vafeiadis, V.: Enhancing GenMC's Usability and Performance. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 66 - 84 (Hg. Finkbeiner, B.; Kovács, L.). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. Springer, Berlin (2024)

Majumdar, R.: Challenges and Opportunities in Model Checking Large-scale Distributed Systems. In: ICSE '24, 1, S. 1 - 2 (Hg. Palva, A.; Abreu, R.; Roychoudhury, A.; Storev, M.). 46th International Conference on Software Engineering, Lisbon, Portugal, 14. April 2024 - 20. April 2024. ACM, New York, NY (2024)

Majumdar, R.; Sağlam, I.; Thejaswini, K. S.: Rabin Games and Colourful Universal Trees. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 213 - 231 (Hg. Finkbeiner, B.; Kovács, L.). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. Springer, Berlin (2024)

Nayak, S. P.; Schmuck, A.-K.: Most General Winning Secure Equilibria Synthesis in Graph Games. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 173 - 193 (Hg. Finkbeiner, B.; Kovács, L.). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. Springer, Berlin (2024)