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-01521746:1]
Yohan Boichut, Jacques Chabin & Pierre Réty, Towards more precise rewriting approximations, Journal of Computer and System Sciences (JCSS), Elsevier. 01. 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). Pp. 71-80, CRL Publishing Ltd. 2017. [URL]


Books


[hal-01537919:1]
Actes des 19es REncontres jeunes Chercheurs en Informatique pour le TAL (RECITAL 2017), Hélène Flamein and Yannick Parmentier (Ed.). Orléans, France. Pp. 184, ATALA. 06. 2017. [URL]
[hal-01537920:1]
Representation and Parsing of Multiword Expressions, Yannick Parmentier and Jakub Waszczuk (Ed.), Phraseology and Multiword Expressions, Vol. 1, Language Science Press. 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-01500637:1]
gauthier sornet, Fabrice Dupros & Sylvain Jubertie, A multi-level optimization strategy to improve the performance of the stencil computation, in INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE. Zurich, Switzerland. 06. 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, EPiC Series. 04. 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, Fifth International Workshop on Verification and Program Transformation (VPT 2017). 04. 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. 06. 2017. [URL]
[hal-01542510:1]
Khanh-Chuong Duong, Mostafa Bamha, Arnaud Giacometti, Dominique Li, Arnaud Soulet & Christel Vrain, MapFIM : Memory Aware Parallelized Frequent Itemset Mining in Very Large Datasets, in International Conference on Database and Expert Systems Applications. Lyon, France. 08. 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. 02. 2017. [URL]


National Conference or Workshop with Proceedings


[hal-01537880:1]
Marie Candito, Mathieu Constant, Carlos Ramisch, Agata Savary, Yannick Parmentier, Caroline Pasquer & Jean-Yves Antoine, Annotation d 'expressions polylexicales verbales en français, in 24e conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jean-Yves Antoine Iris Eshkol (Ed.). Orléans, France, Actes de TALN, volume 2 : articles courts. Pp. 1-9. 06. 2017. [URL]
[hal-01537898:1]
Denys Duchier, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Produire des ressources électroniques à partir de descriptions formelles : application aux langues peu dotées, in DiLiTAL - Diversité Linguistique et TAL. Orléans, France, Actes de l'atelier "Diversité Linguistique et TAL" (DiLiTAL), 24e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2017). Pp. 24-32. 06. 2017. [URL]


Poster sessions


[hal-01537910:1]
Yannick Parmentier, Un outil pour la manipulation de ressources arborées, in 24e conférence sur le Traitement Automatique des Langues Naturelles (TALN). Orléans, France, Actes de la 24e conférence sur le Traitement Automatique des Langues Naturelles (TALN), volume 3 : démonstrations. Pp. 11-14. 06. 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. 01. 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, Procedia Computer Science, Elsevier.. 2017. [URL]


Other Publications


[hal-01537795:1]
aymen guesmi, fermentation alcoolique. 06. 2017. [URL]
[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/06/24 generated via HALLO + JabRef.