- David Cachera, David Pichardie. Programmation d un interpréteur abstrait certifié en logique constructive. Technique et Science Informatiques, 30(4):381-408, 2011.
- Besma Zeddini, Mahdi Zargayouna, M. Temani, A. Yassine. De l intelligence collective pour le transport à la demande. Technique et Science Informatiques, 30(3):339-360, 2011.
- Ludovic Apvrille, Pierre de Saqui-Sannes. Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. Technique et Science Informatiques, 30(3):309-337, 2011.
- Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Expérimentations en Coq pour un générateur de code qualifiable. Technique et Science Informatiques, 30(4):409-440, 2011.
- Xavier Rival. Analyse statique par interprétation abstraite. Technique et Science Informatiques, 30(4):371-380, 2011.
- Sandrine Blazy. Introduction. Technique et Science Informatiques, 30(4):369-370, 2011.
- P. Giabbanelli, J. Peters. SYNTHSE. Rseaux complexes et pidmies. Technique et Science Informatiques, 30(2):181-212, 2011.
- Amira Ben Hamida, Frédéric Le Mouël, Stéphane Frénot, Mohamed Ben Ahmed. Dploiement adaptatif dapplications orientes services sur environnements contraints. Technique et Science Informatiques, 30(1):59-91, 2011.
- Djamal Benslimane. Éditorial. Technique et Science Informatiques, 30(3):241-242, 2011.
- Thomas Aynaud, Jean-Loup Guillaume. Structure communautaire multi-chelle de grands graphes de terrain. Technique et Science Informatiques, 30(2):137-154, 2011.