Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2019

 English Version



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



Accès aux publications de l'année : 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


Revue internationale à comité de lecture


[hal-02355046:1]
Clément Albergel, Emanuel Dutra, Bertrand Bonan, Yongjun Zheng, Simon Munier, Gianpaolo Balsamo, Patricia De Rosnay, Joaquin Munoz-Sabater & Jean-Christophe Calvet, Monitoring and Forecasting the Impact of the 2018 Summer Heatwave on Vegetation, Remote Sensing, Vol. 11(5). Pp. 520, MDPI. 03. 2019. [URL]
[hal-01898705:1]
Nicolas Anciaux, Philippe Bonnet, Luc Bouganim, Benjamin Nguyen, Philippe Pucheral, Iulian Sandu Popa & Guillaume Scerri, Personal Data Management Systems: The security and functionality standpoint, Information Systems, Vol. 80. Pp. 13 - 35, Elsevier. 02. 2019. [URL]
[hal-02388417:1]
Vanessa Antunes, Tiemi Sakata, Katti Faceli & Marcilio De Souto, Hybrid Strategy for Selecting Compact Set of Clustering Partitions, Journal of Applied Soft Computing, Springer. 12. 2019. [URL]
[hal-01176763:2]
Adrien Boiret, Vincent Hugot, Joachim Niehren & Ralf Treinen, Logics for Unordered Trees with Data Constraints, Journal of Computer and System Sciences. Pp. 40, Elsevier. 01. 2019. [URL]
[hal-02375240:1]
Dany Bregeon, Jean-Yves Antoine, Jeanne Villaneau & Anaïs Lefeuvre-Halftermeyer, Redonner du sens à l 'accord interannotateurs : vers une interprétation des mesures d 'accord en termes de reproductibilité de l 'annotation, Traitement Automatique des Langues, Vol. 60(2). Pp. 23, ATALA. 09. 2019. [URL]
[hal-02406664:1]
Aladine Chetouani, Sylvie Treuillet, Matthieu Exbrayat & Sébastien Jesset, Classification of Engraved Pottery Sherds Mixing Deep-Learning Features by Compact Bilinear Pooling, Pattern Recognition Letters, Elsevier. 12. 2019. [URL]
[hal-02018652:1]
Frederic Dabrowski, A denotational semantics of textually aligned SPMD Program, Journal of Logical and Algebraic Methods in Programming, Elsevier. 2019. [URL]
[hal-02348816:1]
Alessandra De Rosa, Phil Uttley, Lijun Gou, Yuan Liu, Cosimo Bambi, Didier Barret, Tomaso Belloni, Emanuele Berti, Stefano Bianchi, Ilaria Caiazzo, Piergiorgio Casella, Marco Feroci, Valeria Ferrari, Leonardo Gualtieri, Jeremy Heyl, Adam Ingram, Vladimir Karas, Fangjun Lu, Bin Luo, Giorgio Matt, Sara Motta, Joseph Neilsen, Paolo Pani, Andrea Santangelo, Xinwen Shu, Junfeng Wang, Jian-Min Wang, Yongquan Xue, Yupeng Xu, Weimin Yuan, Yefei Yuan, Shuang-Nan Zhang, Shu Zhang, Ivan Agudo, Lorenzo Amati, Nils Andersson, Cristina Baglio, Pavel Bakala, Altan Baykal, Sudip Bhattacharyya, Ignazio Bombaci, Niccolò Bucciantini, Fiamma Capitanio, Riccardo Ciolfi, Wei K. Cui, Filippo D'Ammando, Thomas Dauser, Melania Del Santo, Barbara De Marco, Tiziana Di Salvo, Chris Done, Michal Dovčiak, Andrew C. Fabian, Maurizio Falanga, Angelo Francesco Gambino, Bruce Gendre, Victoria Grinberg, Alexander Heger, Jeroen Homan, Rosario Iaria, Jiachen Jiang, Chichuan Jin, Elmar Koerding, Manu Linares, Zhu Liu, Thomas J. Maccarone, Julien Malzac, Antonios Manousakis, Frédéric Marin, Andrea Marinucci, Missagh Mehdipour, Mariano Méndez, Simone Migliari, Cole Miller, Giovanni Miniutti, Emanuele Nardini, Paul T. O'Brien, Julian P. Osborne, Pierre Olivier Petrucci, Andrea Possenti, Alessandro Riggio, Jerome Rodriguez, Andrea Sanna, Lijing Shao, Malgosia Sobolewska, Eva Sramkova, Abigail L. Stevens, Holger Stiele, Giulia Stratta, Zdenek Stuchlik, Jiri Svoboda, Fabrizio Tamburini, Thomas M. Tauris, Francesco Tombesi, Gabriel Török, Martin Urbanec, Frederic Vincent, Qingwen Wu, Feng Yuan, Jean J. M. in't Zand, Andrzej A. Zdziarski, Xinlin Zhou, Alessandra De Rosa, Wei Cui, Filippo DtextquoterightAmmando, Andrew Fabian, Thomas Maccarone, Paul OtextquoterightBrien, Julian Osborne, Abigail Stevens, Thomas Tauris, Jean intextquoteright t Zand & Andrzej Zdziarski, Accretion in strong field gravity with eXTP, SCIENCE CHINA Physics, Mechanics & Astronomy, Vol. 62(2). 02. 2019. [URL]
[hal-02178978:1]
Jérôme Durand-Lose, Jacob Hendricks, Matthew Patitz, Ian Perkins & Michael Sharp, Self-assembly of 3-D structures using 2-D folding tiles, Natural Computing, Springer Verlag. 2019. [URL]
[hal-02330341:1]
Md Abul Ehsan Bhuiyan, Efthymios Nikolopoulos, Emmanouil Anagnostou, Jan Polcher, Clément Albergel, Emanuel Dutra, Gabriel Fink, Alberto Martínez-de la Torre & Simon Munier, Assessment of precipitation error propagation in multi-model global water resource reanalysis, Hydrology and Earth System Sciences, Vol. 23(4). Pp. 1973-1994, European Geosciences Union. 2019. [URL]
[hal-02123836:1]
Karine Heydemann, Jean-François Lalande & Pascal Berthomé, Formally verified software countermeasures for control-flow integrity of smart card C code, Computers and Security, Vol. 85. Pp. 202-224, Elsevier. 08. 2019. [URL]
[hal-02325033:1]
Thomas Lampert, Baptiste Lafabregue, Thi-Bich-Hanh Dao, Nicolas Serrette, Christel Vrain & Pierre Gançarski, Constrained Distance Based Clustering for Satellite Image Time-Series, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE. 2019. [URL]
[hal-02344203:1]
Ana Lorena, Luís Garcia, Jens Lehmann, Marcilio De Souto & Tin Kam Ho, How Complex Is Your Classification Problem?: A Survey on Measuring Classification Complexity, ACM Computing Surveys, Vol. 52(5). Pp. 1-34, Association for Computing Machinery. 10. 2019. [URL]
[hal-02317068:1]
Virginia Niculescu & Frédéric Loulergue, Transforming powerlist-based divide-and-conquer programs for an improved execution model, Journal of Supercomputing. Pp. 22, Springer Verlag. 2019. [URL]
[hal-02330343:1]
Victor Pellet, Filipe Aires, Simon Munier, Diego Fernández Prieto, Gabriel Jordà, Wouter Arnoud Dorigo, Jan Polcher & Luca Brocca, Integrating multiple satellite observations into a coherent dataset to monitor the full water cycle -- application to the Mediterranean region, Hydrology and Earth System Sciences, Vol. 23(1). Pp. 465-491, European Geosciences Union. 2019. [URL]


Direction d'ouvrages scientifiques


[hal-01537920:1]
Representation and Parsing of Multiword Expressions, Yannick Parmentier and Jakub Waszczuk (Ed.), Phraseology and Multiword Expressions, Vol. 3, Language Science Press. 2019. [URL]


Chapitres d'ouvrages scientifiques


[hal-02093536:1]
Anaïs Lefeuvre-Halftermeyer, Richard Moot & Christian Retoré, A computational account of virtual travelers in the Montagovian generative lexicon, in The Semantics of Dynamic Space in French, Michel Aurnague and Dejan Stosic (Ed.), Part IV. Formal and computational aspects of motion-based narrations. Pp. 407-450, John Benjamins. 2019. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-02269565:1]
Axel Michel, Personalizing Privacy Constraints in Generalization-based Anonymization Models, Thèse de Doctorat. INSA Centre Val de Loire. 04. 2019. [URL]


Conférence donnée sur invitation


[hal-01994875:1]
Benjamin Nguyen, Tutoriel : Anonymization Techniques : Theory and Practice, in Ecole d'été EGC. Metz, France. 01. 2019. [URL]
[hal-01994883:1]
Benjamin Nguyen, Françoise Fessant, Arnaud Hourson & Lucas Laise, Atelier : Sécurité informatique et protection de la vie privée : pratiques et perspectives dans les entreprises, in Human Tech Days. Tours, France. 01. 2019. [URL]


Communications avec actes dans un congrès international


[hal-02123709:1]
Siva Anantharaman, Peter Hibbs, Paliath Narendran & Michaël Rusinowitch, Unification modulo Lists with Reverse, Relation with Certain Word Equations, in CADE-27 - The 27th International Conference on Automated Deduction, Pascal Fontaine (Ed.). Natal, Brazil, Automated Deduction - CADE 27, Vol. Springer-Verlag LNCS/LNAI(11716). Pp. 1-17, Springer International Publishing. 08. 2019. [URL]
[lirmm-02092140:1]
Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip & Amirouche Ouzerdine, On-demand Relational Concept Analysis, in ICFCA: 15th International Conference on Formal Concept Analysis, Diana Cristea and Florence Le Ber and Baris Sertkaya (Ed.). Frankfurt, Germany, Formal Concept Analysis, Vol. 11511. Pp. 155-172, Springer International Publishing. 06. 2019. [URL]
[hal-02100515:1]
Allan Blanchard, Nikolai Kosmatov & Frédéric Loulergue, Logic against Ghosts: Comparison of Two Proof Approaches for a List Module, in SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing. Limassol, Cyprus. 04. 2019. [URL]
[hal-02317055:1]
Allan Blanchard, Frédéric Loulergue & Nikolai Kosmatov, Towards Full Proof Automation in Frama-C Using Auto-active Verification, in NASA Formal Methods. Houston, TX, United States. Pp. 88-105, Springer. 05. 2019. [URL]
[hal-02162234:1]
Wadoud Bousdira, Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules, in IEEE/ACM International Conference on High Performance Computing & Simulation, IEEE/ACM (Ed.). Dublin, Ireland, The 2019 International Conference on High Performance Computing & Simulation. Pp. 982-989. 07. 2019. [URL]
[hal-02018651:1]
Wadoud Bousdira, Arvid Jakobsson & Frederic Dabrowski, Safe Usage of Registers in BSPlib, in SAC 2019. Limassol, Cyprus. 04. 2019. [URL]
[hal-02079771:1]
Gaëtan Caillaut, Guillaume Cleuziou & Nicolas Dugué, Learning pretopological spaces to extract ego-centered communities, in Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD). Macau, China, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference (PAKDD). 04. 2019. [URL]
[hal-02129149:1]
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade & Lihua Ye, Secure Strassen-Winograd Matrix Multiplication with MapReduce, in International Conference on Security and Cryptography (SECRYPT). Prague, Czech Republic, Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT. Pp. 220-227. 07. 2019. [URL]
[hal-02273966:1]
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade & Lihua Ye, Secure Intersection with MapReduce, in International Conference on Security and Cryptography (SECRYPT). Prague, Czech Republic, Vol. Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2{:} SECRYPT. Pp. 236-243. 07. 2019. [URL]
[hal-02270418:1]
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet & Marta Soare, Secure Best Arm Identification in Multi-Armed Bandits, in ISPEC 2019 : The 15th International Conference on Information Security Practice and Experience. Kuala Lumpur, Malaysia, ISPEC 2019 : The 15th International Conference on Information Security Practice and Experience. 11. 2019. [URL]
[hal-01940652:1]
Jean-François Lalande, Valérie Viet Triem Tong, Pierre Graux, Guillaume Hiet, Wojciech Mazurczyk, Habiba Chaoui & Pascal Berthomé, Teaching Android Mobile Security, in SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education. Minneapolis, United States, Proceedings of the 50th ACM Technical Symposium on Computer Science Education. Pp. 232-238, ACM Press. 02. 2019. [URL]
[hal-02317123:1]
Frédéric Loulergue & Jolan Philippe, Automatic Optimization of Python Skeletal Parallel Programs, in 19th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP). Melbourne, Australia. 12. 2019. [URL]
[hal-02317124:1]
Frédéric Loulergue & Jolan Philippe, New List Skeletons for the Python Skeleton Library, in 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). Gold Coast, Australia. 12. 2019. [URL]
[hal-02317074:1]
Jolan Philippe & Frédéric Loulergue, Parallel programming with Coq: Map and reduce skeletons on trees, in 34th ACM/SIGAPP Symposium on Applied Computing (SAC). Limassol, Cyprus. Pp. 1578-1581, ACM Press. 04. 2019. [URL]
[hal-02317127:1]
Jolan Philippe & Frédéric Loulergue, PySke: Algorithmic Skeletons for Python, in The 2019 International Conference on High Performance Computing & Simulation (HPCS). Dublin, Ireland. 07. 2019. [URL]
[hal-02317118:1]
Salwa Souaf & Frédéric Loulergue, A First Step in the Translation of Alloy to Coq, in 21st International Conference on Formal Engineering Methods (ICFEM). Shenzen, China. 2019. [URL]


Communications avec actes dans un congrès national


[hal-02003133:1]
Gaëtan Caillaut, Guillaume Cleuziou & Nicolas Dugué, Extraction de communautés ego-centrées par apprentissage supervisé d'espaces prétopologiques., in EGC 2019. Metz, France, Extraction et Gestion des connaissances (EGC). 01. 2019. [URL]


Communications affichées avec actes


[hal-02377077:1]
Manon Cassier, Julien Longhi, Damien Nouvel, Agata Jackiewicz, Jean-Yves Antoine & Anaïs Lefeuvre-Halftermeyer, Analysis and Automatic Processing of Discourse, in Corpus Linguistics (CL2019). Cardiff, United Kingdom. 07. 2019. [URL]
[hal-02182524:1]
Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Ferrari, Benjamin Nguyen & Frederic Prost, SEmantic Networks of Data: Utility and Privacy, in Atelier sur la Protection de la Vie Privée (APVP'19). Cap Hornu, France. 07. 2019. [URL]
[hal-02318361:1]
Jolan Philippe & Frédéric Loulergue, Towards automatically optimizing PySke programs (poster), in International Conference on High Performance Computing and Simulation (HPCS). Dublin, Ireland. 07. 2019. [URL]
[hal-02295494:2]
Ilaine Wang, Aurore Pelletier, Jakub Waszczuk, Anaıs Lefeuvre-Halftermeyer, Jean-Yves Antoine, Lotfi Abouda, Emmanuel Schang & Agata Savary, Combiner parseur automatique et révision manuelle pour la constitution d'un corpus arboré de parole spontanée : retour d'expérience sur le corpus ODILsyntaxe, in Journées scientifiques du groupement de recherche guillemotleft Linguistique informatique, formelle et de terrain guillemotright. Orléans, France. 11. 2019. [URL]


Communications sans actes


[hal-02182521:1]
Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Ferrari, Benjamin Nguyen & Frederic Prost, SEmantic Networks of Data: Utility and Privacy, in RESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information. Erquy, France. 05. 2019. [URL]
[hal-01944569:1]
Jean-Michel Couvreur & Joaquín Ezpeleta, A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes, in 7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Paolo Ceravolo and Maurice van Keulen and Kilian Stoffel (Ed.). Neuchâtel, Switzerland, Data-Driven Process Discovery and Analysis, Vol. LNBIP-340. Pp. 89-104, Springer International Publishing. 12. 2017. [URL]


Autres Publications


[hal-02123648:2]
Siva Anantharaman, Peter Hibbs, Paliath Narendran & Michael Rusinowitch, Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations. 08. 2019. [URL]
[hal-02332212:1]
Manfred Cochefert, Jean-François Couturier, Petr Golovach, Dieter Kratsch & Daniël Paulusma, Parameterized Algorithms for Finding Square Roots. 10. 2019. [URL]
[hal-01955283:1]
Arvid Jakobsson, Frederic Dabrowski & Wadoud Bousdira, Safe Usage of Registers in BSPlib (Preprint). 01. 2019. [URL]
[hal-02266916:1]
Nicolas Ollinger & Guillaume Theyssier, Freezing, Bounded-Change and Convergent Cellular Automata *. 08. 2019. [URL]
[hal-02114831:1]
Anthony Palmieri, Arnaud Lallouet & Luc Pons, Constraint Games for stable and optimal allocation of demands in SDN. 04. 2019. [URL]



2019/12/15 généré via HALLO + JabRef.