Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former team : MLIA
Publications MoVe201720182019202020212022Total
Books0001506
Edited books3230109
Journal articles85594334
Book chapters1120004
Conference papers222018135381
Habilitations1010002
Theses0031206
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]