Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (7)
  1. 5. Geeraerts, G., Goossens, J., & Lindstrom, M. (2011). A faster exact multiprocessor schedulability test for sporadic tasks.
  2. 6. Finkel, A., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2005). A counter-example to the minimal coverability tree algorithm.
  3. 7. Geeraerts, G., & Van Begin, L. (2003). Concurrent Boolean Programs.
    4.   Participations à des congrès et colloques internationaux (3)
  4. 1. Geeraerts, G., Goossens, J., & Stainer, A. (2014). Efficient computation of succinct strategies, with applications to real-time scheduler synthesis. Paper session presented at CASSTING Workshop at ETAPS (2014: Grenoble).
  5. 2. Monmege, B., Brihaye, T., Geeraerts, G., SHANKARA NARAYANAN, K., MANASA, L., & Trivedi, A. (2014). Weighted timed games : Positive results with negative costs. Paper session presented at CASSTING Workshop at ETAPS (2014: Grenoble).
  6. 3. Doyen, L., Di Giampaolo, B., Geeraerts, G., Raskin, J.-F., Reichert, J., & Sznajder, N. (2010). Realizability of real-time logics : decidability and implementation. Paper session presented at GAMES 2010 workshop (2010: Oxford).
    7.   Thèses et mémoires (1)
  7. 1. Geeraerts, G. (2007). Coverability and expressiveness properties of well-structured transition systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
    8.   Divers (5)
  8. 1. Geeraerts, G. (2008). FS/1/6584 – Algorithmique (notes de cours). Mons: Presses universitaires de Mons.
  9. 2. Massart, T., Benseba, N., Dall'Olio, E., De Wulf, M., Geeraerts, G., Goossens, J., Macq, C., & Markowitch, O. (2006). INFO-F-101 : Programmation (syllabus de théorie et d’exercices). Bruxelles: Presses universitaires de Bruxelles.
  10. 3. Geeraerts, G., Kremer, S., Markowitch, O., & Pluquet, F. (2006). INFO-F-203 : Algorithmique 2 (syllabus d’exercices). Bruxelles: Presses universitaires de Bruxelles.
  11. 4. Markowitch, O., Geeraerts, G., Kremer, S., & Pluquet, F. (2005). Algorithmique générale 2. Bruxelles: Presses Universitaires de Bruxelles.
  12. 5. Markowitch, O., Geeraerts, G., Kremer, S., & Pluquet, F. (2005). Algorithmique 2 : Syllabus d'exercices. Bruxelles: Presses Universitaires de Bruxelles.
    13. << Précédent 1 2 3 4 5 6 Suivant >>