|
||
---|---|---|
hal-02960557v1
Article dans une revue
Advances in Smalltalk technologies Science of Computer Programming, Elsevier, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩ |
||
hal-02924057v1
Article dans une revue
A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure Mobile Networks and Applications, Springer Verlag, 2020, ⟨10.1007/s11036-020-01599-z⟩ |
||
hal-03028409v1
Communication dans un congrès
Menhir: Generic High-Speed FPGA Model-Checker 2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩ |
||
hal-02960569v2
Article dans une revue
Automated Exploration of Homomorphic Encryption Scheme Input Parameters Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩ |
||
|