| Equipes atuais : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Time anterior : | Whisper |
| Publicações MoVe | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | Total |
|---|---|---|---|---|---|---|---|
| Livros | 1 | 0 | 0 | 0 | 1 | 2 | 4 |
| Livros Editados | 2 | 3 | 2 | 3 | 0 | 1 | 11 |
| Jornais | 10 | 8 | 5 | 5 | 8 | 3 | 39 |
| Capítulos de livros | 1 | 1 | 1 | 2 | 0 | 0 | 5 |
| Artigos de Conferencia | 17 | 22 | 18 | 17 | 12 | 1 | 87 |
| Habilitações (Livre Docência) | 2 | 1 | 0 | 1 | 0 | 0 | 4 |
| Teses | 3 | 0 | 0 | 3 | 1 | 0 | 7 |
- B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains”, Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag) [Bérard 2018a]
- B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets”, Fundamenta Informaticae, vol. 161 (4), pp. 317-349, (Polskie Towarzystwo Matematyczne) [Bérard 2018d]
- F. Kordon, D. Moldt : “Introduction to the special issue from Petri Nets 2016”, Science of Computer Programming, vol. 157, pp. 1-2, (Elsevier) [Kordon 2018a]
- J. Martinez, T. Ziadi, M. Papadakis, Tegawendé F. Bissyandé, J. Klein, Y. Le Traon : “Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants”, Information and Software Technology, (Elsevier) [Martinez 2018c]
- S. Tigane, L. Kahloul, S. Bourekkache, S. Baarir : “Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems”, International Journal of Critical Computer-Based Systems, vol. 8 (1), pp. 25, (Inderscience) [tigane 2018]