552 documents

  • William Hurst, Nathan Shone, Quentin Monnet. Predicting the Effects of DDoS Attacks on a Network of Critical Infrastructures. Thirteenth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC’15), Oct 2015, Liverpool, United Kingdom. Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015 IEEE International Conference on 2015, <10.1109/CIT/IUCC/DASC/PICOM.2015.256>. <hal-01314192>
  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Arithmetical Congruence Preservation: from Finite to Infinite. Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich, 9300, pp.210-225, 2015, LNCS. <hal-01260281>
  • Louis Bigo, Daniele Ghisi, Antoine Spicher, Moreno Andreatta. Representation of Musical Structures and Processes in Simplicial Chord Spaces. Computer Music Journal, Massachusetts Institute of Technology Press (MIT Press): Arts & Humanities Titles etc, 2015, 39 (3), pp.9 - 24. <10.1162/COMJ_a_00312>. <hal-01263299>
  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. International Journal of Number Theory, World Scientific Publishing, 2015, 11 (7), pp.2109-2139. <http://www.worldscientific.com/doi/pdf/10.1142/S179304211550092X>. <hal-01260277>
  • Victor Allombert, Frédéric Gava, Julien Tesson. Multi-ML: Programming Multi-BSP Algorithms in ML. International Journal of Parallel Programming, Springer Verlag, 2015, pp.20. <hal-01160164v3>
  • Sergiu Ivanov, Sergey Verlan. Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Inform., 2015, 138 (1-2), pp.127--144. <10.3233/FI-2015-1203>. <hal-01161696>
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. Accepted to STACS 2016. 2015. <hal-01164086v3>
  • Clément Aubert, Marc Bagnol, Thomas Seiller. Memoization for Unary Logic Programming: Characterizing PTIME. [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28. <hal-01107377v3>
  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha, <http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/>. <hal-01107296>
  • Clément Aubert. An in-between "implicit" and "explicit" complexity: Automata. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom. <http://dice15.computing.dundee.ac.uk/>. <hal-01111737v2>