- Contacts/Reaching LIFO
- Teaching
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 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 2019 2020 2021 2022 2023 2024
[hal-01951335:1]
Carlos Aguilar Melchor, Olivier Blazy, Jean-Christophe Deneuville, Philippe Gaborit & Gilles Zémor, Efficient Encryption From Random Quasi-Cyclic Codes, IEEE Transactions on Information Theory, Vol. 64(5). Pp. 3927-3943, Institute of Electrical and Electronics Engineers. 05. 2018. [URL]
[hal-02165904:1]
Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michael Lampis, Mathieu Liedloff, Jérôme Monnot & Vangelis Th. Paschos, The many facets of upper domination, Theoretical Computer Science, Vol. 717, Elsevier. 2018. [URL]
[hal-01828619:1]
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, Vol. 97. Pp. 182-198, Elsevier. 2018. [URL]
[hal-01809771:1]
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, Vol. 15(3A). Pp. 540-549, Colleges of Computing and Information Society (CCIS). 2018. [URL]
[hal-01777123:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models, Computer Languages, Systems and Structures, Vol. 53. Pp. 121-142, Elsevier. 09. 2018. [URL]
[hal-01971124:1]
Mathieu Chapelle, Manfred Cochefert, Jean-Fraņcois Couturier, Dieter Kratsch, Romain Letourneur, Mathieu Liedloff & Anthony Perez, Exact algorithms for weak Roman domination, Discrete Applied Mathematics, Vol. 248. Pp. 79-92, Elsevier. 10. 2018. [URL]
[hal-02332274:1]
Manfred Cochefert, Jean-François Couturier, Petr A. Golovach, Dieter Kratsch, Daniël Paulusma & Anthony Stewart, Computing square roots of graphs with low maximum degree, Discrete Applied Mathematics, Vol. 248. Pp. 93-101, Elsevier. 10. 2018. [URL]
[hal-01934662:1]
Khanh-Chuong Duong, Mostafa Bamha, Arnaud Giacometti, D. Li Haoyuan, Arnaud Soulet & Christel Vrain, MapFIM+: Memory Aware Parallelized Frequent Itemset Mining In Very Large Datasets, Transactions on Large-Scale Data- and Knowledge-Centered Systems, Transactions on Large-Scale Data- and Knowledge-Centered Systems: Special Issue on Database- and Expert-Systems Applications, Vol. 39, Springer Berlin / Heidelberg. 2018. [URL]
[hal-01971125:1]
Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre & Ioan Todinca, Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques, Algorithmica, Vol. 80(4). Pp. 1146-1169, Springer Verlag. 04. 2018. [URL]
[hal-01762825:1]
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]
[hal-01971123:1]
Valentin Garnero, Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pedro Montealegre & Paweł Rzązewski, Fixing improper colorings of graphs, Theoretical Computer Science, Vol. 711. Pp. 66-78, Elsevier. 02. 2018. [URL]
[hal-01472161:2]
Eric Goles, Pedro Montealegre, Kévin Perrot & Guillaume Theyssier, On the complexity of two-dimensional signed majority cellular automata, Journal of Computer and System Sciences, Vol. 91. Pp. 1-32, Elsevier. 02. 2018. [URL]
[hal-01818140:1]
Arvid Jakobsson, Automatic Cost Analysis for Imperative BSP Programs, International Journal of Parallel Programming, Springer Verlag. 02. 2018. [URL]
[hal-01831637:1]
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, Vol. 32(6). Pp. 1663-1707, Springer. 2018. [URL]
[hal-01935193:1]
Sébastien Limet, Alessio Merlo & Luca Spalazzi, HPC & Co strike back: Where are distributed paradigms heading toward?, Concurrency and Computation: Practice and Experience, Vol. 30(9), Wiley. 05. 2018. [URL]
[hal-01936094:1]
Amandine Serrano, Saïd El Haddad, Fréderic Moal, Thierry Prazuck, Eric Legac, Chloé Robin, Fabienne Brulé-Morabito, Stéphane Charpentier, Thierry Normand, Alain Legrand, Laurent Hocqueloux & Lucile Mollet, Dysregulation of apoptosis and autophagy gene expression in peripheral blood mononuclear cells of efficiently treated HIV-infected patients, AIDS. Official journal of the international AIDS Society, Vol. 32(12). Pp. 1579 - 1587, Wolters Kluwer. 07. 2018. [URL]
[hal-01550011:1]
Lei Shang, Christophe Lenté, Mathieu Liedloff & Vincent t'Kindt, Exact exponential algorithms for 3-machine flowshop scheduling problems, Journal of Scheduling, Springer Verlag. 04. 2018. [URL]
[hal-01826109:1]
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]
[hal-01792687:1]
Machines, Computations, and Universality, Jérôme Durand-Lose and Sergey Verlan (Ed.), Lecture Notes in Computer Science, Vol. 10881, Springer International Publishing. 2018. [URL]
[hal-01802435:1]
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]
[hal-01792349:1]
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]
[hal-01945674:1]
Axel Michel, Benjamin Nguyen & Philippe Pucheral, The Case for Personalized Anonymization of Database Query Results, in Data Management Technologies and Applications (DATA'17 Revised Selected Papers), Joaquim Filipe and Jorge Bernardino and Christoph Quix (Ed.), Communications in Computer and Information Science, Vol. 814. Pp. 261-285, Springer. 06. 2018. [URL]
[halshs-01991736:1]
Simon Petitjean & Emmanuel Schang, Sentential negation and negative words in Guadeloupean Creole, in Negation and Negative Concord. The view from Creoles.. Pp. 11-31. 11. 2018. [URL]
[hal-01794792:1]
Nicolas Lachiche & Christel Vrain, 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]
[hal-01794804:1]
Nicolas Lachiche & Christel Vrain, 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]
[tel-01975875:1]
Tom Besson, Discrétisation automatique de machines à signaux en automates cellulaires, Thèse de Doctorat. Université d'Orléans. 04. 2018. [URL]
[tel-01832811:1]
Thi-Bich-Hanh Dao, Constraint Programming for Data Mining and for Natural Language Processing, Université d'Orléans. Habilitation `a Diriger des Recherches. 03. 2018. [URL]
[tel-02099753:1]
Diego Maldonado, Universalité et complexité des automates cellulaires coagulants, Thèse de Doctorat. Université d'Orléans. 11. 2018. [URL]
[tel-02426935:2]
Thanh Binh Nguyen, L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés, Thèse de Doctorat. Université d'Orléans. 12. 2018. [URL]
[hal-01984995:1]
Nicolas Ollinger, On Aperiodic Reversible Turing Machines (invited talk), in Reversible Computation 10th International Conference (RC 2018). Leicester, United Kingdom, Lecture Notes in Computer Science, Vol. 11106. Pp. 61-64, Springer. 09. 2018. [URL]
[hal-01941231:1]
Victor Allombert, Mathias Bourgoin & Frédéric Loulergue, Parallel Programming with OCaml: A Tutorial, in International Conference on High Performance Computing and Simulation (HPCS 2018). Orléans, France. 07. 2018. [URL]
[hal-01780553:1]
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]
[hal-01836507:1]
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]
[hal-01894372:1]
Victor Barella, Luis Garcia, Marcilio de Souto, Ana Carolina Lorena & Andre de Carvalho, Data Complexity Measures for Imbalanced Classification Tasks, in IEEE International Joint Conference on Neural Networks. Rio de Janeiro, Brazil. Pp. 1-8, IEEE. 07. 2018. [URL]
[hal-01772500:1]
Florent Becker, Diego Maldonado, Nicolas Ollinger & Guillaume Theyssier, Universality in Freezing Cellular Automata, in 14th Conference on Computability in Europe (CiE 2018). Kiel, Germany, Lecture Notes in Computer Science, Vol. 10936. Pp. pp. 50-59, Springer. 07. 2018. [URL]
[hal-03541369:1]
Florent Becker, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, The Impact of Locality on the Detection of Cycles in the Broadcast Congested Clique Model, in Latin American Symposium on Theoretical Informatics (LATIN), LATIN 2018: Theoretical Informatics. Buenos Aires, Argentina, Lecture Notes in Computer Science, Vol. 10807. Pp. 134-145, Springer International Publishing. 2018. [URL]
[hal-01762597:1]
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]
[hal-01720401:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C, in Tenth NASA Formal Methods Symposium - NFM 2018. Newport News, United States. 04. 2018. [URL]
[hal-02317078:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, A Lesson on Verification of IoT Software with Frama-C, in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 21-30, IEEE. 07. 2018. [URL]
[hal-01895173:1]
Laurent Bobelin, Khalil Drira & Cédric Eichler, Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems, in 13th Annual Conference on System of Systems Engineering (SoSE 2018 ). Paris, France, IEEE. 06. 2018. [URL]
[hal-01903092:1]
Yohan Boichut, Vivien Pelletier & Pierre Rety, Approximating any Logic Program by a CS-Program, in Rewriting Logic and Its Applications - 12th International Workshop, Springer (Ed.). Thessalonique, Greece, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Vol. 11152. Pp. 245-260. 04. 2018. [URL]
[hal-01935255:1]
Kevin Bourgeois, Sophie Robert, Sébastien Limet & Victor Essayan, GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences., in 18 th International Conference on Computational Science, Springer (Ed.). Wuxi, China, Computational Science - {ICCS} 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part {III}, Vol. 10862. Pp. 839-845. 06. 2018. [URL]
[hal-01903098:1]
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade & Lihua Ye, Secure Joins with MapReduce, in FPS 2018 : The 11th International Symposium on Foundations & Practice of Security. Montreal, Canada. 11. 2018. [URL]
[hal-01837921:1]
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]
[hal-01836993:1]
Jacques Chabin, Mírian Halfeld Ferrari Alves, Béatrice Markhoff & Thanh Binh Nguyen, Validating Data from Semantic Web Providers, in 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018). Krems, Australia. Pp. 682-695. 2018. [URL]
[hal-01899388:1]
Aladine Chetouani, Teddy Debroutelle, Sylvie Treuillet, Matthieu Exbrayat & Sébastien Jesset, Classification of Ceramic Shards Based on Convolutional Neural Network, in ICIP 2018. Athènes, Greece, 2018 IEEE International Conference on Image Processing, IEEE. 10. 2018. [URL]
[hal-01643971:1]
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]
[hal-01785110:1]
Frédéric Dabrowski, A Denotational Semantics of Textually Aligned SPMD Programs, in International Conference on High Performance Computing & Simulation. Orléans, France. 07. 2018. [URL]
[hal-01784499:1]
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]
[hal-03250913:1]
Nicolas Dugué, Jean-Charles Lamirel & Anthony Perez, Bringing a Feature Selection Metric from Machine Learning to Complex Networks, in COMPLEX NETWORKS 2018:The Seventh International Conference on Complex Networks & their Applications. Cambridge, United Kingdom, COMPLEX NETWORKS 2018: Complex Networks and Their Applications VII(813). Pp. 107-118, springer. 12. 2018. [URL]
[hal-01828641:1]
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, David Doty and Hendrik Dietz (Ed.). Jinan, China, LNCS, Vol. 11145. Pp. 105-121, Springer. 2018. [URL]
[hal-02652140:1]
Cédric Eichler, Khalil Drira, Thierry Monteil & Patricia Stolf, Correctness by construction and style preserving reconfigurations of system of systems, in SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing. Pau, France. Pp. 1680-1686, ACM Press. 04. 2018. [URL]
[hal-01894380:1]
Luis Garcia, Ana Carolina Lorena, Marcilio de Souto & Tin Ho, Classifier Recommendation Using Data Complexity Measures, in 24th International Conference on Pattern Recognition, IEEE (Ed.). Beijing, China. Pp. 1-5, IEEE. 08. 2018. [URL]
[hal-01985010:1]
Eric Goles, Diego Maldonado, Pedro Montealegre-Barba & Nicolas Ollinger, Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular Automata, in 13th International Conference on Cellular Automata for Research and Industry (ACRI 2018). Como, Italy, Lecture Notes in Computer Science, Vol. 11115. Pp. 406-415, Springer. 09. 2018. [URL]
[hal-01819035:1]
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]
[hal-01877614:1]
Mirian Halfeld Ferrari Alves, Carmem S. Hara, Nádia P. Kozievitch & Flavio R. Uber, Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System, in Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), Rio de Janeiro, Brazil, Aug 27, 2018.. Rio de Janeiro, Brazil. Pp. 33-40. 2018. [URL]
[hal-01835745:1]
Sylvain Jubertie, Fabrice Dupros & Florent de Martin, Vectorization of a spectral finite-element numerical kernel, in WPMVP 2018. Vienna, France, Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018, ACM Press. 02. 2018. [URL]
[hal-01915529:1]
Sylvain Jubertie, Ian Masliah & Joel Falcou, Data layout and SIMD abstraction layers: decoupling interfaces from implementations, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France. Pp. 531-538, IEEE. 07. 2018. [URL]
[hal-01795146:3]
Sylvain Jubertie, Emmanuel Melin, Naly Raliravaka, Emmanuel Bodèle & Pablo Escot Bocanegra, Impact of vectorization and multithreading on performance and energy consumption on Jetson boards, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France, 2018 International Conference on High Performance Computing & Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018. 07. 2018. [URL]
[hal-01836351:1]
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]
[hal-01811922:1]
Frédéric Loulergue, Allan Blanchard & Nikolai Kosmatov, Ghosts for Lists: from Axiomatic to Executable Specifications, in TAP 2018 - 12th International Conference on Tests and Proofs. Toulouse, France. 06. 2018. [URL]
[hal-02317083:1]
Frédéric Loulergue & Christopher Whitney, Verified Programs for Frequent Itemset Mining, in 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). Guangzhou, China. Pp. 1516-1523, IEEE. 10. 2018. [URL]
[hal-03541376:1]
Pedro Montealegre, Sebastian Perez-Salazar, Ivan Rapaport & Ioan Todinca, Two Rounds Are Enough for Reconstructing Any Graph (Class) in the Congested Clique Model, in Structural Information and Communication Complexity (SIROCCO). Ma'ale HaHamisha, Israel, Lecture Notes in Computer Science, Vol. 11085. Pp. 134-148, Springer International Publishing. 2018. [URL]
[hal-01915519:2]
Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros, Florent de Martin & Sébastien Limet, Performance Analysis of SIMD vectorization of High-Order Finite-Element kernels, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France, 2018 International Conference on High Performance Computing & Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018. Pp. 423-430, IEEE. 07. 2018. [URL]
[hal-01680058:1]
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. Pp. 255-258, IEEE. 03. 2018. [URL]
[hal-02317089:1]
Salwa Souaf, Pascal Berthomé & Frédéric Loulergue, A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations, in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 691-699, IEEE. 07. 2018. [URL]
[hal-02317093:1]
Julien Tesson & Frédéric Loulergue, Interactive Bulk Synchronous Parallel Functional Programming in a Browser, in 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). Guangzhou, China. Pp. 1593-1598, IEEE. 10. 2018. [URL]
[hal-01762605:1]
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]
[hal-01821213:1]
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]
[hal-01959546:1]
Jean-Claude Fondras, Marie-Elisabeth Labat & Christian Toinard, A reasoning approach towards Ethics-Based Medicine and care of disabled people, in Envirorisk. Bourges, France. 06. 2018. [URL]
[hal-02079719:1]
Kata Gábor, Nadège Lechevrel, Isabelle Tellier, Thierry Charnois, Haifa Zargayouna & Davide Buscaldi, Apport des dépendances syntaxiques et des patrons séquentiels à l'extraction de relations, in TALN 2018. Rennes, France. 05. 2018. [URL]
[hal-01951321:1]
Fergal Martin-Tricot, Pascal Berthomé & Cédric Eichler, Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre, in Journée des Doctorants CEA. Blois, France. 10. 2018. [URL]
[hal-02317085:1]
Jolan Philippe & Frédéric Loulergue, Towards the Generation of Correct Java Programs (Research Poster), in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 1055-1056, IEEE. 07. 2018. [URL]
[hal-02317091:1]
Salwa Souaf & Frédéric Loulergue, Strong Security Guarantees: From Alloy to Coq (Research Poster), in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 1057-1058, IEEE. 07. 2018. [URL]
[hal-01946364:1]
Carlos Aguilar Melchor, Jean-Christophe Deneuville, Philippe Gaborit, Tancrède Lepoint & Thomas Ricosset, Delegating Elliptic-Curve Operations with Homomorphic Encryption, in IEEE Conference on Communications and Network Security. Pékin, China. 05. 2018. [URL]
[hal-01941228:1]
Victor Allombert & Frédéric Gava, Programming BSP and Multi-BSP algorithms in ML, in 11th International Symposium on High-Level Parallel Programming and Applications (HLPP 2018). Orléans, France. 07. 2018. [URL]
[hal-01941229:1]
Victor Allombert & Frédéric Gava, An ML implementation of the MULTI-BSP model, in International Conference on High Performance Computing and Simulation (HPCS 2018). Orléans, France. 07. 2018. [URL]
[hal-01941250:2]
Victor Allombert, Frédéric Gava & Julien Tesson, Toward performance prediction for Multi-BSP programs in ML, in 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP). Guangzhou, China. 11. 2018. [URL]
[hal-01811932:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C, in 17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels. Toulouse, France. 06. 2018. [URL]
[hal-01946368:1]
Jean-Christophe Deneuville, Post-Quantum Cryptography: tomorrow 's security, in Envirorisk, Forum de la gestion des risques naturels et technologiques. Bourges, France. 06. 2018. [URL]
[hal-01946358:1]
Jean-Christophe Deneuville, Philippe Gaborit, Qian Guo & Thomas Johansson, Ouroboros-E: An Efficient Lattice-based Key-Exchange Protocol, in IEEE International Symposium on Information Theory. Vail, Colorado, USA, United States. 06. 2018. [URL]
[hal-01959555:1]
Jean-Claude Fondras, Marie-Elisabeth Labat & Christian Toinard, De l 'éthique de la numérisation de la santé à la numérisation de l 'éthique de la santé, in Espace de Réflexion Ethique de la Région Centre Val de Loire (ERERC). Tours, France. 2018. [URL]
[cea-02283406:1]
Dara Ly, Nikolai Kosmatov, Julien Signoles & Frédéric Loulergue, Soundness of a Dataflow Analysis for Memory Monitoring, in HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems. Boston, United States, Vol. 12. 11. 2018. [URL]
[hal-01994719:1]
Benjamin Nguyen, Personalized k-anonymity, in 4th Franco-Japanese Workshop on Cybersecurity. Annecy, France. 05. 2018. [URL]
[hal-01762626:1]
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]
[hal-01916725:1]
Jacques Chabin, Luiz Gomes-Jr & Mirian Halfeld-Ferrari, Urban Graph Analysis on a Context-driven Querying System. 2018. [URL]
[hal-01961491:1]
Jean-Christophe Deneuville & Philippe Gaborit, Cryptanalysis of a code-based one-time signature. 12. 2018. [URL]
[hal-04277019:1]
Loujain Liekah, Emilie Morvant, Marta Soare & Amaury Habrard, Combining Users Feedback as a Source of Knowledge for Feature Selection in Regression. 07. 2018. [URL]
International Refereed Journals
[hal-01951335:1]
Carlos Aguilar Melchor, Olivier Blazy, Jean-Christophe Deneuville, Philippe Gaborit & Gilles Zémor, Efficient Encryption From Random Quasi-Cyclic Codes, IEEE Transactions on Information Theory, Vol. 64(5). Pp. 3927-3943, Institute of Electrical and Electronics Engineers. 05. 2018. [URL]
[hal-02165904:1]
Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michael Lampis, Mathieu Liedloff, Jérôme Monnot & Vangelis Th. Paschos, The many facets of upper domination, Theoretical Computer Science, Vol. 717, Elsevier. 2018. [URL]
[hal-01828619:1]
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, Vol. 97. Pp. 182-198, Elsevier. 2018. [URL]
[hal-01809771:1]
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, Vol. 15(3A). Pp. 540-549, Colleges of Computing and Information Society (CCIS). 2018. [URL]
[hal-01777123:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models, Computer Languages, Systems and Structures, Vol. 53. Pp. 121-142, Elsevier. 09. 2018. [URL]
[hal-01971124:1]
Mathieu Chapelle, Manfred Cochefert, Jean-Fraņcois Couturier, Dieter Kratsch, Romain Letourneur, Mathieu Liedloff & Anthony Perez, Exact algorithms for weak Roman domination, Discrete Applied Mathematics, Vol. 248. Pp. 79-92, Elsevier. 10. 2018. [URL]
[hal-02332274:1]
Manfred Cochefert, Jean-François Couturier, Petr A. Golovach, Dieter Kratsch, Daniël Paulusma & Anthony Stewart, Computing square roots of graphs with low maximum degree, Discrete Applied Mathematics, Vol. 248. Pp. 93-101, Elsevier. 10. 2018. [URL]
[hal-01934662:1]
Khanh-Chuong Duong, Mostafa Bamha, Arnaud Giacometti, D. Li Haoyuan, Arnaud Soulet & Christel Vrain, MapFIM+: Memory Aware Parallelized Frequent Itemset Mining In Very Large Datasets, Transactions on Large-Scale Data- and Knowledge-Centered Systems, Transactions on Large-Scale Data- and Knowledge-Centered Systems: Special Issue on Database- and Expert-Systems Applications, Vol. 39, Springer Berlin / Heidelberg. 2018. [URL]
[hal-01971125:1]
Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre & Ioan Todinca, Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques, Algorithmica, Vol. 80(4). Pp. 1146-1169, Springer Verlag. 04. 2018. [URL]
[hal-01762825:1]
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]
[hal-01971123:1]
Valentin Garnero, Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pedro Montealegre & Paweł Rzązewski, Fixing improper colorings of graphs, Theoretical Computer Science, Vol. 711. Pp. 66-78, Elsevier. 02. 2018. [URL]
[hal-01472161:2]
Eric Goles, Pedro Montealegre, Kévin Perrot & Guillaume Theyssier, On the complexity of two-dimensional signed majority cellular automata, Journal of Computer and System Sciences, Vol. 91. Pp. 1-32, Elsevier. 02. 2018. [URL]
[hal-01818140:1]
Arvid Jakobsson, Automatic Cost Analysis for Imperative BSP Programs, International Journal of Parallel Programming, Springer Verlag. 02. 2018. [URL]
[hal-01831637:1]
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, Vol. 32(6). Pp. 1663-1707, Springer. 2018. [URL]
[hal-01935193:1]
Sébastien Limet, Alessio Merlo & Luca Spalazzi, HPC & Co strike back: Where are distributed paradigms heading toward?, Concurrency and Computation: Practice and Experience, Vol. 30(9), Wiley. 05. 2018. [URL]
[hal-01936094:1]
Amandine Serrano, Saïd El Haddad, Fréderic Moal, Thierry Prazuck, Eric Legac, Chloé Robin, Fabienne Brulé-Morabito, Stéphane Charpentier, Thierry Normand, Alain Legrand, Laurent Hocqueloux & Lucile Mollet, Dysregulation of apoptosis and autophagy gene expression in peripheral blood mononuclear cells of efficiently treated HIV-infected patients, AIDS. Official journal of the international AIDS Society, Vol. 32(12). Pp. 1579 - 1587, Wolters Kluwer. 07. 2018. [URL]
[hal-01550011:1]
Lei Shang, Christophe Lenté, Mathieu Liedloff & Vincent t'Kindt, Exact exponential algorithms for 3-machine flowshop scheduling problems, Journal of Scheduling, Springer Verlag. 04. 2018. [URL]
[hal-01826109:1]
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]
Books
[hal-01792687:1]
Machines, Computations, and Universality, Jérôme Durand-Lose and Sergey Verlan (Ed.), Lecture Notes in Computer Science, Vol. 10881, Springer International Publishing. 2018. [URL]
Book Chapters
[hal-01802435:1]
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]
[hal-01792349:1]
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]
[hal-01945674:1]
Axel Michel, Benjamin Nguyen & Philippe Pucheral, The Case for Personalized Anonymization of Database Query Results, in Data Management Technologies and Applications (DATA'17 Revised Selected Papers), Joaquim Filipe and Jorge Bernardino and Christoph Quix (Ed.), Communications in Computer and Information Science, Vol. 814. Pp. 261-285, Springer. 06. 2018. [URL]
[halshs-01991736:1]
Simon Petitjean & Emmanuel Schang, Sentential negation and negative words in Guadeloupean Creole, in Negation and Negative Concord. The view from Creoles.. Pp. 11-31. 11. 2018. [URL]
[hal-01794792:1]
Nicolas Lachiche & Christel Vrain, 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]
[hal-01794804:1]
Nicolas Lachiche & Christel Vrain, 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]
Thesis
[tel-01975875:1]
Tom Besson, Discrétisation automatique de machines à signaux en automates cellulaires, Thèse de Doctorat. Université d'Orléans. 04. 2018. [URL]
[tel-01832811:1]
Thi-Bich-Hanh Dao, Constraint Programming for Data Mining and for Natural Language Processing, Université d'Orléans. Habilitation `a Diriger des Recherches. 03. 2018. [URL]
[tel-02099753:1]
Diego Maldonado, Universalité et complexité des automates cellulaires coagulants, Thèse de Doctorat. Université d'Orléans. 11. 2018. [URL]
[tel-02426935:2]
Thanh Binh Nguyen, L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés, Thèse de Doctorat. Université d'Orléans. 12. 2018. [URL]
Invited Papers
[hal-01984995:1]
Nicolas Ollinger, On Aperiodic Reversible Turing Machines (invited talk), in Reversible Computation 10th International Conference (RC 2018). Leicester, United Kingdom, Lecture Notes in Computer Science, Vol. 11106. Pp. 61-64, Springer. 09. 2018. [URL]
International Conference or Workshop with Proceedings
[hal-01941231:1]
Victor Allombert, Mathias Bourgoin & Frédéric Loulergue, Parallel Programming with OCaml: A Tutorial, in International Conference on High Performance Computing and Simulation (HPCS 2018). Orléans, France. 07. 2018. [URL]
[hal-01780553:1]
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]
[hal-01836507:1]
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]
[hal-01894372:1]
Victor Barella, Luis Garcia, Marcilio de Souto, Ana Carolina Lorena & Andre de Carvalho, Data Complexity Measures for Imbalanced Classification Tasks, in IEEE International Joint Conference on Neural Networks. Rio de Janeiro, Brazil. Pp. 1-8, IEEE. 07. 2018. [URL]
[hal-01772500:1]
Florent Becker, Diego Maldonado, Nicolas Ollinger & Guillaume Theyssier, Universality in Freezing Cellular Automata, in 14th Conference on Computability in Europe (CiE 2018). Kiel, Germany, Lecture Notes in Computer Science, Vol. 10936. Pp. pp. 50-59, Springer. 07. 2018. [URL]
[hal-03541369:1]
Florent Becker, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, The Impact of Locality on the Detection of Cycles in the Broadcast Congested Clique Model, in Latin American Symposium on Theoretical Informatics (LATIN), LATIN 2018: Theoretical Informatics. Buenos Aires, Argentina, Lecture Notes in Computer Science, Vol. 10807. Pp. 134-145, Springer International Publishing. 2018. [URL]
[hal-01762597:1]
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]
[hal-01720401:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C, in Tenth NASA Formal Methods Symposium - NFM 2018. Newport News, United States. 04. 2018. [URL]
[hal-02317078:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, A Lesson on Verification of IoT Software with Frama-C, in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 21-30, IEEE. 07. 2018. [URL]
[hal-01895173:1]
Laurent Bobelin, Khalil Drira & Cédric Eichler, Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems, in 13th Annual Conference on System of Systems Engineering (SoSE 2018 ). Paris, France, IEEE. 06. 2018. [URL]
[hal-01903092:1]
Yohan Boichut, Vivien Pelletier & Pierre Rety, Approximating any Logic Program by a CS-Program, in Rewriting Logic and Its Applications - 12th International Workshop, Springer (Ed.). Thessalonique, Greece, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Vol. 11152. Pp. 245-260. 04. 2018. [URL]
[hal-01935255:1]
Kevin Bourgeois, Sophie Robert, Sébastien Limet & Victor Essayan, GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences., in 18 th International Conference on Computational Science, Springer (Ed.). Wuxi, China, Computational Science - {ICCS} 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part {III}, Vol. 10862. Pp. 839-845. 06. 2018. [URL]
[hal-01903098:1]
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade & Lihua Ye, Secure Joins with MapReduce, in FPS 2018 : The 11th International Symposium on Foundations & Practice of Security. Montreal, Canada. 11. 2018. [URL]
[hal-01837921:1]
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]
[hal-01836993:1]
Jacques Chabin, Mírian Halfeld Ferrari Alves, Béatrice Markhoff & Thanh Binh Nguyen, Validating Data from Semantic Web Providers, in 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018). Krems, Australia. Pp. 682-695. 2018. [URL]
[hal-01899388:1]
Aladine Chetouani, Teddy Debroutelle, Sylvie Treuillet, Matthieu Exbrayat & Sébastien Jesset, Classification of Ceramic Shards Based on Convolutional Neural Network, in ICIP 2018. Athènes, Greece, 2018 IEEE International Conference on Image Processing, IEEE. 10. 2018. [URL]
[hal-01643971:1]
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]
[hal-01785110:1]
Frédéric Dabrowski, A Denotational Semantics of Textually Aligned SPMD Programs, in International Conference on High Performance Computing & Simulation. Orléans, France. 07. 2018. [URL]
[hal-01784499:1]
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]
[hal-03250913:1]
Nicolas Dugué, Jean-Charles Lamirel & Anthony Perez, Bringing a Feature Selection Metric from Machine Learning to Complex Networks, in COMPLEX NETWORKS 2018:The Seventh International Conference on Complex Networks & their Applications. Cambridge, United Kingdom, COMPLEX NETWORKS 2018: Complex Networks and Their Applications VII(813). Pp. 107-118, springer. 12. 2018. [URL]
[hal-01828641:1]
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, David Doty and Hendrik Dietz (Ed.). Jinan, China, LNCS, Vol. 11145. Pp. 105-121, Springer. 2018. [URL]
[hal-02652140:1]
Cédric Eichler, Khalil Drira, Thierry Monteil & Patricia Stolf, Correctness by construction and style preserving reconfigurations of system of systems, in SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing. Pau, France. Pp. 1680-1686, ACM Press. 04. 2018. [URL]
[hal-01894380:1]
Luis Garcia, Ana Carolina Lorena, Marcilio de Souto & Tin Ho, Classifier Recommendation Using Data Complexity Measures, in 24th International Conference on Pattern Recognition, IEEE (Ed.). Beijing, China. Pp. 1-5, IEEE. 08. 2018. [URL]
[hal-01985010:1]
Eric Goles, Diego Maldonado, Pedro Montealegre-Barba & Nicolas Ollinger, Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular Automata, in 13th International Conference on Cellular Automata for Research and Industry (ACRI 2018). Como, Italy, Lecture Notes in Computer Science, Vol. 11115. Pp. 406-415, Springer. 09. 2018. [URL]
[hal-01819035:1]
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]
[hal-01877614:1]
Mirian Halfeld Ferrari Alves, Carmem S. Hara, Nádia P. Kozievitch & Flavio R. Uber, Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System, in Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), Rio de Janeiro, Brazil, Aug 27, 2018.. Rio de Janeiro, Brazil. Pp. 33-40. 2018. [URL]
[hal-01835745:1]
Sylvain Jubertie, Fabrice Dupros & Florent de Martin, Vectorization of a spectral finite-element numerical kernel, in WPMVP 2018. Vienna, France, Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018, ACM Press. 02. 2018. [URL]
[hal-01915529:1]
Sylvain Jubertie, Ian Masliah & Joel Falcou, Data layout and SIMD abstraction layers: decoupling interfaces from implementations, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France. Pp. 531-538, IEEE. 07. 2018. [URL]
[hal-01795146:3]
Sylvain Jubertie, Emmanuel Melin, Naly Raliravaka, Emmanuel Bodèle & Pablo Escot Bocanegra, Impact of vectorization and multithreading on performance and energy consumption on Jetson boards, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France, 2018 International Conference on High Performance Computing & Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018. 07. 2018. [URL]
[hal-01836351:1]
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]
[hal-01811922:1]
Frédéric Loulergue, Allan Blanchard & Nikolai Kosmatov, Ghosts for Lists: from Axiomatic to Executable Specifications, in TAP 2018 - 12th International Conference on Tests and Proofs. Toulouse, France. 06. 2018. [URL]
[hal-02317083:1]
Frédéric Loulergue & Christopher Whitney, Verified Programs for Frequent Itemset Mining, in 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). Guangzhou, China. Pp. 1516-1523, IEEE. 10. 2018. [URL]
[hal-03541376:1]
Pedro Montealegre, Sebastian Perez-Salazar, Ivan Rapaport & Ioan Todinca, Two Rounds Are Enough for Reconstructing Any Graph (Class) in the Congested Clique Model, in Structural Information and Communication Complexity (SIROCCO). Ma'ale HaHamisha, Israel, Lecture Notes in Computer Science, Vol. 11085. Pp. 134-148, Springer International Publishing. 2018. [URL]
[hal-01915519:2]
Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros, Florent de Martin & Sébastien Limet, Performance Analysis of SIMD vectorization of High-Order Finite-Element kernels, in The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018. Orléans, France, 2018 International Conference on High Performance Computing & Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018. Pp. 423-430, IEEE. 07. 2018. [URL]
[hal-01680058:1]
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. Pp. 255-258, IEEE. 03. 2018. [URL]
[hal-02317089:1]
Salwa Souaf, Pascal Berthomé & Frédéric Loulergue, A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations, in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 691-699, IEEE. 07. 2018. [URL]
[hal-02317093:1]
Julien Tesson & Frédéric Loulergue, Interactive Bulk Synchronous Parallel Functional Programming in a Browser, in 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). Guangzhou, China. Pp. 1593-1598, IEEE. 10. 2018. [URL]
National Conference or Workshop with Proceedings
[hal-01762605:1]
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]
[hal-01821213:1]
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]
[hal-01959546:1]
Jean-Claude Fondras, Marie-Elisabeth Labat & Christian Toinard, A reasoning approach towards Ethics-Based Medicine and care of disabled people, in Envirorisk. Bourges, France. 06. 2018. [URL]
[hal-02079719:1]
Kata Gábor, Nadège Lechevrel, Isabelle Tellier, Thierry Charnois, Haifa Zargayouna & Davide Buscaldi, Apport des dépendances syntaxiques et des patrons séquentiels à l'extraction de relations, in TALN 2018. Rennes, France. 05. 2018. [URL]
Poster sessions
[hal-01951321:1]
Fergal Martin-Tricot, Pascal Berthomé & Cédric Eichler, Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre, in Journée des Doctorants CEA. Blois, France. 10. 2018. [URL]
[hal-02317085:1]
Jolan Philippe & Frédéric Loulergue, Towards the Generation of Correct Java Programs (Research Poster), in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 1055-1056, IEEE. 07. 2018. [URL]
[hal-02317091:1]
Salwa Souaf & Frédéric Loulergue, Strong Security Guarantees: From Alloy to Coq (Research Poster), in 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans, France. Pp. 1057-1058, IEEE. 07. 2018. [URL]
Unrefereed publications at Conferences or Workshops
[hal-01946364:1]
Carlos Aguilar Melchor, Jean-Christophe Deneuville, Philippe Gaborit, Tancrède Lepoint & Thomas Ricosset, Delegating Elliptic-Curve Operations with Homomorphic Encryption, in IEEE Conference on Communications and Network Security. Pékin, China. 05. 2018. [URL]
[hal-01941228:1]
Victor Allombert & Frédéric Gava, Programming BSP and Multi-BSP algorithms in ML, in 11th International Symposium on High-Level Parallel Programming and Applications (HLPP 2018). Orléans, France. 07. 2018. [URL]
[hal-01941229:1]
Victor Allombert & Frédéric Gava, An ML implementation of the MULTI-BSP model, in International Conference on High Performance Computing and Simulation (HPCS 2018). Orléans, France. 07. 2018. [URL]
[hal-01941250:2]
Victor Allombert, Frédéric Gava & Julien Tesson, Toward performance prediction for Multi-BSP programs in ML, in 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP). Guangzhou, China. 11. 2018. [URL]
[hal-01811932:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C, in 17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels. Toulouse, France. 06. 2018. [URL]
[hal-01946368:1]
Jean-Christophe Deneuville, Post-Quantum Cryptography: tomorrow 's security, in Envirorisk, Forum de la gestion des risques naturels et technologiques. Bourges, France. 06. 2018. [URL]
[hal-01946358:1]
Jean-Christophe Deneuville, Philippe Gaborit, Qian Guo & Thomas Johansson, Ouroboros-E: An Efficient Lattice-based Key-Exchange Protocol, in IEEE International Symposium on Information Theory. Vail, Colorado, USA, United States. 06. 2018. [URL]
[hal-01959555:1]
Jean-Claude Fondras, Marie-Elisabeth Labat & Christian Toinard, De l 'éthique de la numérisation de la santé à la numérisation de l 'éthique de la santé, in Espace de Réflexion Ethique de la Région Centre Val de Loire (ERERC). Tours, France. 2018. [URL]
[cea-02283406:1]
Dara Ly, Nikolai Kosmatov, Julien Signoles & Frédéric Loulergue, Soundness of a Dataflow Analysis for Memory Monitoring, in HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems. Boston, United States, Vol. 12. 11. 2018. [URL]
[hal-01994719:1]
Benjamin Nguyen, Personalized k-anonymity, in 4th Franco-Japanese Workshop on Cybersecurity. Annecy, France. 05. 2018. [URL]
[hal-01762626:1]
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
[hal-01916725:1]
Jacques Chabin, Luiz Gomes-Jr & Mirian Halfeld-Ferrari, Urban Graph Analysis on a Context-driven Querying System. 2018. [URL]
[hal-01961491:1]
Jean-Christophe Deneuville & Philippe Gaborit, Cryptanalysis of a code-based one-time signature. 12. 2018. [URL]
[hal-04277019:1]
Loujain Liekah, Emilie Morvant, Marta Soare & Amaury Habrard, Combining Users Feedback as a Source of Knowledge for Feature Selection in Regression. 07. 2018. [URL]
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 