Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications for year 2017

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


International Refereed Journals


[hal-01477206:1]
Lisa Chedik, Arnaud Bruyère, Marc Le Vee, Bruno Stieger, Claire Denizot, Yannick Parmentier, Sophie Potin & Olivier Fardel, Inhibition of Human Drug Transporter Activities by the Pyrethroid Pesticides Allethrin and Tetramethrin., PLoS ONE, Vol. 12. Pp. e0169480, Public Library of Science. 2017. [URL]
[hal-01159182:1]
Frédéric Loulergue, Wadoud Bousdira & Julien Tesson, Calculating Parallel Programs in Coq using List Homomorphisms, International Journal of Parallel Programming, Vol. 45(2). Pp. 300-319, Springer Verlag. 2017. [URL]
[hal-01495453:1]
Thibaut Tachon, Chong Li, Gaétan Hains & Frédéric Loulergue, Automated generation of BSP automata, Parallel Processing Letters, Vol. 17(1), World Scientific Publishing. 2017. [URL]
[hal-01302828:1]
Marcin Urbanski, Wojciech Mazurczyk, Jean-François Lalande & Luca Caviglione, Detecting Local Covert Channels Using Process Activity Correlation on Android Smartphones, International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. 2017. [URL]


Book Chapters


[hal-01430804:1]
Luca Caviglione, Mauro Gaggero, Jean-François Lalande & Wojciech Mazurczyk, Understanding Information Hiding to Secure Communications and to Prevent Exfiltration of Mobile Data, in Adaptive Mobile Computing: Advances in Processing Mobile Data Sets, B. S. Al-Haj M. Migliardi, A. Merlo (Ed.), Elsevier. 2017. [URL]


International Conference or Workshop with Proceedings


[hal-01495454:1]
Blanchard Allan, Frédéric Loulergue & Nikolai Kosmatov, From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation, in Fifth International Workshop on Verification and Program Transformation (VPT 2017). Uppsala, Sweden. 4. 2017. [URL]
[hal-01445668:1]
Nirina Andrianarivelo, Vivien Pelletier & Pierre Réty, Transforming Prefix-Constrained or Controlled Rewrite Systems, in 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017). Gammarth, Tunisia. 4. 2017. [URL]
[hal-01479439:1]
Florian Bridoux, Pierre Guillon, Kévin Perrot, Sylvain Sené & Guillaume Theyssier, On the cost of simulating a parallel Boolean automata network with a block-sequential one, in Proceedings of TAMC'17. Unknown, zz, Springer. 2017. [URL]
[hal-01436460:2]
Martin Delacourt & Nicolas Ollinger, Permutive one-way cellular automata and the finiteness problem for automaton groups, in Computability in Europe. Turku, Finland. 6. 2017. [URL]
[hal-01396915:1]
Chia-Tung Kuo, S. S. Ravi, Thi-Bich-Hanh Dao, Christel Vrain & Ian Davidson, A Framework for Minimal Clustering Modification via Constraint Programming, in the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). San Francisco, United States. 2. 2017. [URL]


Unrefereed publications at Conferences or Workshops


[hal-01468891:1]
Mathias Bourgoin, Emmanuel Chailloux & Anastasios doumoulakis, Profiling High Level Heterogeneous Programs, in Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017). Stockholm, Sweden. 1. 2017. [URL]
[hal-01494832:1]
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue & Gaetan Hains, Replicated Synchronization for Imperative BSP Programs, in International Conference on Computational Science (ICCS). Zürich, Switzerland, Elsevier.. 2017. [URL]


Other Publications


[hal-01468723:1]
Mohamad Al hajj Hassan & Mostafa Bamha, Handling limits of high degree vertices in graph processing using MapReduce and Pregel. 01. 2017. [URL]
[hal-01472161:1]
Eric Goles, Pedro Montealegre, Kévin Perrot & Guillaume Theyssier, On the complexity of two-dimensional signed majority cellular automata. 02. 2017. [URL]



2017/03/26 generated via HALLO + JabRef.