by Benoit, Anne, Perotin, Lucas, Robert, Yves, Vivien, Frederic
Published in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)

by Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)

by Basold, Henning, Geuvers, Herman
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)

Published in Proceedings of the ACM Symposium on Principles of Distributed Computing

Published in The 31st ACM Symposium on Parallelism in Algorithms and Architectures

Published in Proceedings of the 3rd ACM Conference on Advances in Financial Technologies

Published in Proceedings of the 2019 ACM Conference on International Computing Education Research

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control

Published in Proceedings of the ACM Symposium on Principles of Distributed Computing

Published in Proceedings of the 51st ACM Technical Symposium on Computer Science Education

Published in Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Published in Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020

Published in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

Published in Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Published in Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions

Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Published in Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

by Chen, Cheng Che, Singh, Jaswinder Pal, Altman, Russ B.
Published in Proceedings of the 1996 ACM/IEEE conference on Supercomputing (17.11.1996)

Published in Proceedings of the 1961 16th ACM national meeting on

Published in Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77