The Laboratory of Computing, Modelling and Optimization of the Systems (LIMOS) is a Mixed Unit of Research (UMR 6158) in computing, and more generally in Sciences and Technologies of information and the Communication ( STIC).

(see more)

Postdoc : Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes

Benjamin Bergougnoux, Florent Capelli, Mamadou Moustapha Kanté - May 1, 2019
Counting Minimal Transversals of β-Acyclic Hypergraphs
Journal of Computer and System Sciences

Jules Djoko, Jonas Koko, Radek Kucera - March 18, 2019
Power law Stokes equations with threshold slip boundary conditions: Numerical methods and implementation
Mathematical Methods in the Applied Sciences

Nancy El Rachkidy, Alexandre Guitton, Megumi Kaneko - April 1, 2019
Collision Resolution Protocol for Delay and Energy Efficient LoRa Networks
IEEE Transactions on Green Communications and Networking

Nicolas Spatola, Clément Belletier, Pierre Chausse, Maria Augustinova, Alice Normand, Vincent Barra, Ludovic Ferrand, Pascal Huguet - Jan. 18, 2019
Improved Cognitive Control in Presence of Anthropomorphized Robots
International Journal of Social Robotics

Khaled Medini, Xavier Boucher - June 1, 2019
Specifying a modelling language for PSS Engineering – A development method and an operational tool
Computers in Industry