Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (1)
1.
Ganty, P., Meuter, C., Van Begin, L., Kalyon, G., Raskin, J.-F., & Delzanno, G. (2007). Symbolic Data Structure for Sets of k-uples of Integers.
Thèses et mémoires (1)
1.
Kalyon, G. (2010). Supervisory control of infinite state systems under partial observation (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.