Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
Publicações MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livros | 0 | 0 | 0 |
Livros Editados | 0 | 0 | 0 |
Jornais | 2 | 0 | 2 |
Capítulos de livros | 0 | 0 | 0 |
Artigos de Conferencia | 7 | 1 | 8 |
Habilitações (Livre Docência) | 0 | 0 | 0 |
Teses | 2 | 1 | 3 |
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model with Contextual Management for Ambient Systems”, Transactions on Computational Collective Intelligence XVI, vol. 8780, pp. 146-169 [Chaouche 2014c]
- J.‑R. Falleri, X. Blanc, R. Bendraou, M. Almeida Da Silva, C. Teyton : “Incremental inconsistency detection with low memory overhead”, Software: Practice and Experience, vol. 44 (5), pp. 621-641, (Wiley) [Falleri 2014]
- G. Geeraerts, J.‑F. Raskin, N. Sznajder : “On regions and zones for event-clock automata”, Formal Methods in System Design, vol. 45 (3), pp. 330-380, (Springer Verlag) [Geeraerts 2014]
- R. Khefifi, P. Poizat, F. Saïs : “Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures”, Revue des Nouvelles Technologies de l'Information, vol. RNTI-W-2, pp. 75-89, (Editions RNTI) [Khefifi 2014]
- O. Melekhova : “Coordination dans la décision pour les architectures autonomiques à grande échelle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 33 (1-2), pp. 31-62, (Lavoisier) [Melekhova 2014]
- M. Thabet, M. Boufaïda, F. Kordon : “An Approach for Developing an Interoperability Mechanism Between Cloud Providers”, International Journal of Space-Based and Situated Computing, vol. 4 (2), pp. 88-99, (Inderscience) [Thabet 2014]
- A. Yessad, I. Mounier, Th. Carron, F. Kordon, J.‑M. Labat : “Formal Framework to improve the reliability of concurrent and collaborative learning games”, EAI Endorsed Transactions on Serious Games, vol. 14 (2), pp. e4, (ICST) [Yessad 2014b]
- Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Controllability for Discrete Event Systems Modeled in VeriJ”, International Journal of Critical Computer-Based Systems, vol. 5 (3/4), pp. 218-240, (Inderscience) [Zhang 2014]