Proceedings (23)
281.
Proceedings
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.
282.
Proceedings
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.
283.
Proceedings
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.
284.
Proceedings
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)
285.
Proceedings
5789). 14th European Symposium on Research in Computer Security, Saint-Malo, September 21, 2009 - September 23, 2009. Springer, Berlin (2009), XVI, 706 pp.
Computer Security – ESORICS 2009 (Lecture notes in computer science, 286.
Proceedings
5675). 4th International Computer Science Symposium in Russia, Novosibirsk, August 18, 2009 - August 23, 2009. Springer, Berlin (2009), XIII, 367 pp.
Computer science - theory and applications (Lecture notes in computer science, Conference Paper (938)
287.
Conference Paper
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)
288.
Conference Paper
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)
289.
Conference Paper
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)
290.
Conference Paper
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)
291.
Conference Paper
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)
292.
Conference Paper
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)
293.
Conference Paper
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)
294.
Conference Paper
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)
295.
Conference Paper
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)
296.
Conference Paper
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)
297.
Conference Paper
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)
298.
Conference Paper
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)
299.
Conference Paper
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)
300.
Conference Paper
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)