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-01503616:1]
Emilie Cornec-Le Gall, Marie-Pierre Audrézet, Eric Renaudineau, Maryvonne Hourmant, Christophe Charasse, Eric Michez, Thierry Frouget, Cécile Vigneau, Jacques Dantal, Pascale Siohan, Hélène Longuet, Philippe Gatault, Laure Ecotière, Frank Bridoux, Lise Mandart, Catherine Saliou, Corina Stanescu, Pascale Depraetre, Sophie Gie, Michiel Massad, Aude Kersalé, Guillaume Séret, Jean-François Augusto, Philippe Saliou, Sandrine Maestri, Jian-Min Chen, Peter C Harris, Claude Férec & Yannick Le Meur, PKD2-Related Autosomal Dominant Polycystic Kidney Disease: Prevalence, Clinical Presentation, Mutation Spectrum, and~Prognosis., American Journal of Kidney Diseases, Elsevier. 03. 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, Vol. 32(2), 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-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-01495454:1]
Allan Blanchard, 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-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-01509418:1]
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis & Nachoem Wijnberg, Towards an epistemic-logical theory of categorization. 04. 2017. [URL]
[hal-01509416:1]
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg, Probabilistic Epistemic Updates on Algebras. 2017. [URL]
[hal-01509419:1]
Sabine Frittella, Giuseppe Greco, Michele Piazzai, Nachoem Wijnberg & Fan Yang, Matthew Effects via Team Semantics. 04. 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/04/24 generated via HALLO + JabRef.