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


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

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]
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]
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]
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

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

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]
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]
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]
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]
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

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]
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

Mohamad Al hajj Hassan & Mostafa Bamha, Handling limits of high degree vertices in graph processing using MapReduce and Pregel. 01. 2017. [URL]
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.