Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Laboratoire Spécification et Vérification [Cachan]
labStructName_s : Département d'informatique [M'sila]
Image document

Performance Evaluation of Post-quantum Public-Key Cryptography in Smart Mobile Devices

Noureddine Chikouche , Abderrahmen Ghadbane
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.67-80, ⟨10.1007/978-3-030-02131-3_9⟩
Conference papers hal-02274171v1
Image document

An Efficient Cooperative Method to Solve Multiple Sequence Alignment Problem

Lamiche Chaabane
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.185-195, ⟨10.1007/978-3-319-89743-1_17⟩
Conference papers hal-01913906v1
Image document

Counter Machines and Distributed Automata

Olivier Carton , Bruno Guillon , Fabian Reiter
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Conference papers hal-01824873v1
Image document

Boolean Networks: Beyond Generalized Asynchronicity

Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers hal-01768359v2