- Laboratoire d’informatique
Équipes actuelles : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Publications MoVe20212022202320242025Total
Livres620008
Éditions de livres000101
Articles de revues5822017
Chapitres de livres010001
Conférences78810336
Habilitations000000
Soutenances de thèse203319
LIP6
  • F. Bréant, J.‑M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot‑Adet, D. Poitrenaud, D. Regep, G. Sutre : “Modeling and Verifying Behavioral Aspects”, chapter in Formal Methods for Embedded Distributed Systems - How to master the complexity, pp. 171-211, (Kluwer Academic Publishers), (ISBN: 1-4020-7996-6) [Bréant 2004]
  • J. Gomez‑Sanz, M.‑P. Gervais, G. Weiss : “A Survey on Agent-Oriented Software Engineering Researches”, chapter in Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering Handbook, vol. 11, Multiagent Systems, Artificial Societies, and Simulated Organizations, pp. 33-62, (Kluwer Academic Publishers), (ISBN: 1-4020-8057-3) [Gomez-Sanz 2004]
  • O. Lartillot, E. Saint‑James : “Automating Motivic Analysis through the Application of Perceptual Rules.”, chapter in Music Query: Methods, Models, and User Studies, vol. 13, Computing in Musicology, pp. 73-92, (ISBN: 0-262-58256-2) [Lartillot 2004]
  • R. Pawlak, L. Seinturier, L. Duchien, L. Martelli, F. Legond‑Aubry, G. Florin : “Aspect-Oriented Software Development with Java Aspect Components”, chapitre de Aspect-Oriented Software Development, pp. 343-369, (Addison-Wesley), (ISBN: 0-321-21976-7) [Pawlak 2004c]