Communications publiées lors de congrès ou colloques nationaux et internationaux (20)
  1. 20. Cohen, A., Massart, T., Van Binst, P., & Vandenbroucke, R. (1986). A first performance study of two implementations of the blue book. Proceedings of the 1986 Decus Europe Symposium (pp. 301-310) Decus Europe Symposium(1986: Hamburg, West Germany).
    2.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (2)
  2. 1. Doyen, L., Massart, T., & Shirmohammadi, M. (2012). Infinite Synchronizing Words for Probabilistic Automata: (Erratum).
  3. 2. Massart, T., & Devillers, R. (1991). Agents or expressions: which semantics for a process calculus: (LIT 230). ULB: Laboratoire d'informatique théorique.
    4.   Participations à des congrès et colloques internationaux (2)
  4. 1. Bachy, S., Corieri, P., Goletti, O. O., Hoarau, S. S., Komis, V. K., Massart, T., Mens, K., Parriaux, G., Rafalska, M., Romero, M., & Viéville, T. (2022). Communauté d’Apprentissage de l’Informatique. Poster présenté à la conférence Didapro 9 - Didastic.
  5. 2. Belur Ravish, R., Berke, P., & Massart, T. (2019). Strain gradient plasticity modelling of twinning in TWIP steels. Paper session presented at International Conference on Computational Plasticity (COMPLAS 2019) (15: 3-5/9/2019: Barcelona, Spain).
    6.   Thèses et mémoires (1)
  6. 1. Massart, T. (1990). A basic agent calculus and bisimulation laws for the design of systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
    7.   Divers (19)
  7. 1. Massart, T. (2012). INFO-F-101 - Programmation.
  8. 2. Massart, T. (2012). INFO-H-100 - Informatique.
  9. 3. Massart, T. (2011). INFO-F-403 - Introduction to Language Theory and Compilation.
  10. 4. Massart, T. (2010). Programmation: Transparents. Bruxelles: Presses Universitaires de Bruxelles.
  11. 5. Massart, T. (2008). INFO-F-412 : Vérification I. Bruxelles: Presses universitaires de Bruxelles.
  12. 6. 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.
    13. << Précédent 1 2 3 4 5 6 7 8 Suivant >>