A. Classen, P. Heymans, and P. Schobbens. Fundamental Approaches to Software Engineering, volume 4961 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
S. Cruanes, S. Heymans, I. Mason, S. Owre, and 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, and T. Son. Proc. of 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), Istanbul, Turkey, (August 2013)
V. Chaudhri, M. Wessel, and S. Heymans. Technical Communications of 29th International Conference on Logic Programming (ICLP), Istanbul, Turkey, (August 2013)
V. Chaudhdri, N. Dinesh, S. Heymans, and M. Wessel. Proc. of 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), Beijing, China, (August 2013)
V. Chaudhri, M. Wessel, and S. Heymans. In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (June 2013)
N. Yorke-Smith, S. Heymans, and V. Chaudhri. Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint-Paul, Minnesota, USA, (May 2013)
G. Xiao, T. Eiter, and 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, (November 2012)