Skip to Main content Skip to Navigation
Help


hal-01837891v1  Directions of work or proceedings
Martin LeuckerJorge PérezCamilo RuedaFrank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science
...
hal-01264187v1  Directions of work or proceedings
Alain DeniseOlivier LespinetMireille Régnier. Proceedings of the SeqBio 2015 workshop: String algorithms for bioinformatics
Alain Denise; Olivier Lespinet; Mireille Régnier. Nov 2015, Orsay, France. 2015
hal-01257171v1  Directions of work or proceedings
Martin LeuckerCamilo RuedaFrank Valencia. Theoretical Aspects of Computing - ICTAC 2015
France. 9399, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
hal-00931522v1  Directions of work or proceedings
Daniel AugotAnne CanteautGohar KyureghyanFaina Solov'EvaØyvind Ytrehus. Designs, Codes and Cryptography (Special Issue in Coding and Cryptography)
Daniel Augot and Anne Canteaut and Gohar Kyureghyan and Faina Solov'Eva and Øyvind Ytrehus. 66, Springer, pp.399, 2013, 0925-1022
hal-00904805v1  Directions of work or proceedings
Bernadette Charron-BostStephan MerzAndrey RybalchenkoJosef Widder. Formal Verification of Distributed Algorithms
Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩
hal-00741923v1  Directions of work or proceedings
Daniel AugotAnne CanteautGohar KyureghyanFaina Solov'EvaØyvind Ytrehus. Editorial
Daniel Augot and Anne Canteaut and Gohar Kyureghyan and Faina Solov'eva and Øyvind Ytrehus. Springer, pp.2, 2012, Designs, Codes and Cryptography, ⟨10.1007/s10623-012-9731-1⟩