| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Publications APR | 2023 | 2024 | 2025 | Total |
|---|---|---|---|---|
| Books | 0 | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 | 0 |
| Journal articles | 10 | 5 | 0 | 15 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 7 | 10 | 0 | 17 |
| Habilitations | 1 | 0 | 0 | 1 |
| Thesis | 2 | 2 | 0 | 4 |
- O. Bodini, A. Genitrini, F. Peschanski : “A Quantitative Study of Pure Parallel Processes”, The Electronic Journal of Combinatorics, vol. 23 (1), pp. p1.11, (Open Journal Systems) [Bodini 2016a]
- M. Boroujeni, A. Basiri, S. Rahmany, A. Valibouze : “Finding solutions of fuzzy polynomial equations systems by an Algebraic method”, Journal of Intelligent and Fuzzy Systems, vol. 30 (2), pp. 791-800, (IOS Press) [Boroujeni 2016]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High Level Data Structures for GPGPU Programming in a Statically Typed Language”, International Journal of Parallel Programming, (Springer Verlag) [Bourgoin 2016]
- A. Darrasse, H.‑K. Hwang, M. Soria : “Shape Measures of Random Increasing k-trees”, Combinatorics, Probability and Computing, vol. 25, pp. 668-699, (Cambridge University Press (CUP)) [Darrasse 2016]
- V. Daxner, A. Genitrini, B. Gittenberger, C. Mailler : “THE RELATION BETWEEN TREE SIZE COMPLEXITY AND PROBABILITY FOR BOOLEAN FUNCTIONS GENERATED BY UNIFORM RANDOM TREES”, Applicable Analysis and Discrete Mathematics, vol. 10 (2), pp. 408-446, (Department of Applied Mathematics, University of Belgrade) [Daxner 2016]
- A. Genitrini, C. Mailler : “Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability”, Algorithmica, vol. 1, pp. 1-33, (Springer Verlag) [Genitrini 2016b]
- J. Mairesse, P. Moyal : “Stability of the stochastic matching model”, Journal of Applied Probability, vol. 54 (3), pp. 1064-1077, (Cambridge University press) [Mairesse 2016]
- A. Ouadjaout, A. Miné, N. Lasla, N. Badache : “Static analysis by abstract interpretation of functional properties of device drivers in TinyOS”, Journal of Systems and Software, vol. 120, pp. 114-132, (Elsevier) [Ouadjaout 2016]
- X. Wu, L. Chen, A. Miné, W. Dong, J. Wang : “Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization”, ACM Transactions on Embedded Computing Systems (TECS), vol. 15 (4), ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on ESWEEK2015 and Regular Papers, pp. 70:1-70:26, (ACM) [Wu 2016]