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

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Eds.): 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, November 04, 2013. ACM, New York, NY (2013), 30 pp.

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

Weirich, S.; Dreyer, D. (Eds.): 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, January 25, 2011. (2011)

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

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

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

Anand, A.; Schmitz, S.; Schütze, L.; Zetzsche, G.: Verifying Unboundedness via Amalgamation. In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 4, pp. 1 - 15 (Eds. Dal Lago, U.; Esparza, J.; Sobocinsk, P.). 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, July 08, 2024 - July 11, 2024. ACM, New York, NY (2024)

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

Baumann, P.; Keskin, E.; Meyer, R.; Zetzsche, G.: Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. In: 51st International Colloquium on Automata, Languages, and Programming, 126, pp. 1 - 19 (Eds. Bringmann, K.; Grohe, M.; Puppins, G.; Svensson, O.). 51st International Colloquium on Automata, Languages, and Programming , Tallinn, Estonia, July 08, 2024 - July 12, 2024. Schloss Dagstuhl, Wadern (2024)

Ciobanu, L.; Zetzsche, G.: Slice Closures of Indexed Languages and Word Equations with Counting Constraints. In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 25, pp. 1 - 12 (Eds. Dal Lago, U.; Esparza, J.; Sobocinsk, P.). 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, July 08, 2024 - July 11, 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, pp. 1 - 16 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 2024. Schloss Dagstuhl, Wadern (2024)

Devidze, R.; Kamalaruban, P.; Singla, A.: Informativeness of Reward Functions in Reinforcement Learning. In: AAMAS '24, pp. 444 - 452 (Eds. Dastani, M.; Sichmann, J. S.; Alechina, N.; Dignum, V.). 23rd International Conference on Autonomous Agents and Multiagent Systems, Auckland, New Zealand, May 06, 2024 - May 10, 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, pp. 1 - 15 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 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, pp. 1 - 20 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 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, pp. 387 - 393 (Eds. Stephenson, B.; Stone, J. A.; Battestilli, L.; Rebelsky, S. A.; Shoop, L.). 55th ACM Technical Symposium on Computer Science Education, Portland, OR, USA, March 20, 2024 - March 24, 2024. ACM, New York, NY (2024)

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

Hase, C.; Krishna, S. N.; Madnani, K.; Mishra, O. S.; Zetzsche, G.: An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. In: 51st International Colloquium on Automata, Languages, and Programming, 142, pp. 1 - 17 (Eds. Bringmann, K.; Grohe, M.; Puppins, G.; Svensson, O.). 51st International Colloquium on Automata, Languages, and Programming , Tallinn, Estonia, July 08, 2024 - July 12, 2024. Schloss Dagstuhl, Wadern (2024)

Hausmann, D.; Piterman, N.; Sağlam, I.; Schmuck, A.-K.: Fair Omega-Regular Games. In: Foundations of Software Science and Computation Structures, pp. 13 - 33 (Eds. Kobayashi, N.; Worrell, J.). 27th International Conference on Foundations of Software Science and Computation Structures, Luxembourg City, Luxembourg, April 08, 2024 - April 11, 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, pp. 82 - 86 (Eds. 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, April 17, 2024 - April 20, 2024. ACM, New York, NY (2024)