- Computer Science Laboratory
Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Publications MoVe20212022202320242025Total
Books620008
Edited books000101
Articles5822017
Book chapters010001
Conference papers78810336
Habilitations000000
Thesis203319
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]