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 2018

 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 99 29
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 2018

International Refereed Journals

Florent Becker, Jérôme Durand-Lose, Vincent Levorato, Mathieu Chapelle & Maxime Senot, Abstract geometrical computation 8: Small machines, accumulations & rationality, Journal of Computer and System Sciences (JCSS), Elsevier. 2018. [URL]
Chérifa Ben Khelil, Chiraz Zribi, Denys Duchier & Yannick Parmentier, Building a syntactic-semantic interface for a semi-automatically generated TAG for Arabic, The International Arab Journal of Information Technology. 2018. [URL]
Jonathan Gagné, Eric Mamajek, Lison Malo, Adric Riedel, David Rodriguez, David Lafrenière, Jacqueline Faherty, Olivier Roy-Loubier, Laurent Pueyo, Annie Robin & Rene Doyon, BANYAN. XI. The BANYAN Sigma Multivariate Bayesian Algorithm to Identify Members of Young Associations with 150 pc, The Astrophysical journal letters, Vol. 856(1), Bristol : IOP Publishing. 03. 2018. [URL]
Arvid Jakobsson, Automatic Cost Analysis for Imperative BSP Programs, International Journal of Parallel Programming, Springer Verlag. 02. 2018. [URL]
Thomas Lampert, Thi-Bich-Hanh Dao, Baptiste Lafabregue, Nicolas Serrette, Germain Forestier, Bruno Crémilleux, Christel Vrain & Pierre Gancarski, Constrained distance based clustering for time-series: a comparative and experimental study, Data Mining and Knowledge Discovery, Springer Verlag. 2018. [URL]
Iiris Sundin, Tomi Peltola, Luana Micallef, Homayun Afrabandpey, Marta Soare, Muntasir Mamun Majumder, Pedram Daee, Chen He, Baris Serim, Aki Havulinna, Caroline Heckman, Giulio Jacucci, Pekka Marttinen & Samuel Kaski, Improving genomics-based predictions for precision medicine through active elicitation of expert knowledge, Bioinformatics, Vol. 34(13). Pp. i395 - i403, Oxford University Press (OUP). 07. 2018. [URL]


Representation and Parsing of Multiword Expressions, Yannick Parmentier and Jakub Waszczuk (Ed.), Phraseology and Multiword Expressions, Vol. 2, Language Science Press. 2018. [URL]
Machines, Computations and Universality (MCU 2018), Jérôme Durand-Lose and Sergey Verlan (Ed.). Fontainebleau, France, LNCS(10881), Springer. 06. 2018. [URL]
Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers., Nicolas Lachiche and Christel Vrain (Ed.). Orléans, France, Lecture Notes in Artificial Intelligence, Vol. 10759, Springer. 09. 2017. [URL]
Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, Orléans, France, September 4-6, 2017, Nicolas Lachiche and Christel Vrain (Ed.), CEUR Workshop Proceedings, Vol. 2085. 09. 2017. [URL]

Book Chapters

Mohamad Al hajj Hassan & Mostafa Bamha, Handling Pregel's limits in big graphs processing in the presence of high degree vertices, in Applications of Big Data Analytics: Trends, Issues, and Challenges. 05. 2018. [URL]
Jérôme Durand-Lose, Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata Leverage, in Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday, Andrew Adamatzky (Ed.), Emergence, Complexity and Computation(30). Pp. 61-93, Spriger. 2018. [URL]

International Conference or Workshop with Proceedings

gauthier sornet, Sylvain Jubertie, Fabrice Dupros, Florent De Martin, Philippe Thierry & Sébastien Limet, Data-layout reorganization for an efficient intra-node assembly of a Spectral Finite-Element Method, in PDP 2018. Cambridge, United Kingdom. 03. 2018. [URL]
Nirina Andrianarivelo & Pierre Rety, Confluence of Prefix-Constrained Rewrite Systems, in 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Oxford, United Kingdom. 07. 2018. [URL]
Chérifa Ben Khelil, Chiraz Zribi, Denys Duchier & Yannick Parmentier, A semi-automatically generated TAG for Arabic: Dealing with linguistic phenomena, in 19th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2018). Hanoi, Viet Nam. 03. 2018. [URL]
Maëlle Brassier, Alexis Puret, Augustin Voisin-Marras & Loïc Grobol, Classification par paires de mention pour la résolution des coréférences en français parlé interactif, in Conférence jointe CORIA-TALN-RJC 2018. Rennes, France. 05. 2018. [URL]
Jacques Chabin, Luiz Gomes-Jr. & Mirian Halfeld Ferrari Alves, A Context-driven Querying System for Urban Graph Analysis, in Proceedings of the 22nd International Database Engineering & Applications Symposium, IDEAS 2018, Villa San Giovanni, Italy, June 18-20, 2018. Villa Saint Giovani, Italy. Pp. 297-301. 2018. [URL]
Jacques Chabin, Mírian Halfeld Ferrari Alves, Béatrice Markhoff & Thanh Binh Nguyen, Validating Data from Semantic Web Providers, in SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings. Krems, Australia. Pp. 682-695. 2018. [URL]
Frederic Dabrowski, Textual Alignment in SPMD Programs, in SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Pau, France. 04. 2018. [URL]
Frédéric Dabrowski, A Denotational Semantics of Textually Aligned SPMD Programs, in International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018). Orléans, France. 07. 2018. [URL]
Thi-Bich-Hanh Dao, Chia-Tung Kuo, S. S. Ravi, Christel Vrain & Ian Davidson, Descriptive Clustering: ILP and CP Formulations with Applications, in IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence. Stockholm, Sweden. 07. 2018. [URL]
Jérôme Durand-Lose, Jacob Hendricks, Matthew J. Patitz, Ian Perkins & Michael Sharp, Self-Assembly of 3-d Structures Using 2-d Folding Tiles., in DNA 24. Jinan, China, LNCS, Springer. 2018. [URL]
Cédric Eichler, Khalil Drira, Thierry Monteil & Patricia Stolf, Correctness by construction and style preserving reconfigurations of system of systems, in 33rd annual ACM Symposium on Applied Computing (SAC'2018). Pau, France. Pp. 7p., ACM Press. 04. 2018. [URL]
Gaétan Hains, Arvid Jakobsson & Youry Khmelevsky, Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development, in 2018 Annual IEEE International Systems Conference (SysCon). Vancouver, France, IEEE. 04. 2018. [URL]

National Conference or Workshop with Proceedings

Chérifa Ben Khelil, Chiraz Zribi, Denys Duchier & Yannick Parmentier, Interface syntaxe-sémantique au moyen d 'une grammaire d 'arbres adjoints pour l 'étiquetage sémantique de l 'arabe, in 25e conférence sur le Traitement Automatique des Langues Naturelles (TALN). Rennes, France. 05. 2018. [URL]
Yves Mercadier, Jérôme Azé, Sandra Bringay, Viviane Clavier, Erick Cuenca, Céline Paganelli, Pascal Poncelet & Arnaud Sallaberry, AIDS Analyse Information Dangers Sexualité : caractériser les discours à propos du VIH dans les forums de santé, in 29es Journées Francophones d'Ingénierie des Connaissances, IC 2018, Sylvie Ranwez (Ed.). Nancy, France, 29es Journées Francophones d'Ingénierie des Connaissances, IC 2018. Pp. 71-86. 07. 2018. [URL]

Unrefereed publications at Conferences or Workshops

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz & Alessandra Palmigiano, Software Tool Support for Modular Reasoning in Modal Logics of Actions, in 9th International Conference on Interactive Theorem Proving. Oxford, United Kingdom. 07. 2018. [URL]
Sylvain Jubertie, Fabrice Dupros & Florent De Martin, Vectorization of a spectral finite-element numerical kernel, in WPMVP 2018. Vienna, France, ACM Press. 02. 2018. [URL]
Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler & Ahmed Hadj Kacem, A refinement-based approach for specifying multi-scale software architectures, in 33rd annual ACM Symposium on Applied Computing. Pau, France, ACM Press. 04. 2018. [URL]
Yannick Parmentier, Enseigner la pensée informatique à l'école primaire : formation initiale et continue des professeurs, in Atelier ''Organisation et suivi des activités d'apprentissage de l'informatique : outils, modèles et expériences'' RJC-EIAH 2018. Besançon, France. 04. 2018. [URL]

Other Publications

Florent Becker, Diego Maldonado, Nicolas Ollinger & Guillaume Theyssier, Universality in Freezing Cellular Automata. 04. 2018. [URL]

2018/07/16 generated via HALLO + JabRef.