S. Cruanes, S. Heymans, I. Mason, S. Owre, и N. Shankar. Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), Kanazawa, Japan, Springer, (2014)
V. Chaudhri, S. Heymans, M. Wessel, и T. Son. Proc. of 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), Istanbul, Turkey, (августа 2013)
V. Chaudhri, M. Wessel, и S. Heymans. Technical Communications of 29th International Conference on Logic Programming (ICLP), Istanbul, Turkey, (августа 2013)
V. Chaudhdri, N. Dinesh, S. Heymans, и M. Wessel. Proc. of 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), Beijing, China, (августа 2013)
V. Chaudhri, M. Wessel, и S. Heymans. In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (июня 2013)
N. Yorke-Smith, S. Heymans, и V. Chaudhri. Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint-Paul, Minnesota, USA, (мая 2013)
G. Xiao, T. Eiter, и S. Heymans. Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference (SWWS 2012), Shenzhen City, China, (ноября 2012)
S. Heymans, T. Eiter, и G. Xiao. Proc. of 19th European Conference on Artificial Intelligence (ECAI), том 215 из Frontiers in Artificial Intelligence and Applications, стр. 35--40. IOS Press, (2010)
S. Heymans, R. Korf, M. Erdmann, J. Pührer, и T. Eiter. Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 1, стр. 248--255. (2010)
S. Heymans, T. Eiter, и G. Xiao. Proc. of 19th European Conference on Artificial Intelligence (ECAI), том 215 из Frontiers in Artificial Intelligence and Applications, стр. 35--40. IOS Press, (2010)
J. Pührer, S. Heymans, и T. Eiter. Proc. of 7th Extended Semantic Web Conference (ESWC 2010), том 6088 из Lecture Notes in Computer Science, стр. 183-197. Springer Berlin / Heidelberg, (2010)