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 2019

 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 2019

International Refereed Journals

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]
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]
Frederic Dabrowski, A denotational semantics of textually aligned SPMD Program, Journal of Logical and Algebraic Methods in Programming, Elsevier. 2019. [URL]
Karine Heydemann, Jean-François Lalande & Pascal Berthomé, Formally verified software countermeasures for control-flow integrity of smart card C code, Computers and Security. Pp. 1-29, Elsevier. 05. 2019. [URL]


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

Book Chapters

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]

Invited Papers

Benjamin Nguyen, Tutoriel : Anonymization Techniques : Theory and Practice, in Ecole d'été EGC. Metz, France. 01. 2019. [URL]
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]

International Conference or Workshop with Proceedings

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. Natal, Brazil, Lecture Notes in Computer Science (LNCS/LNAI)(à paraître), Springer-Verlag. 08. 2019. [URL]
Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip & Amirouche Ouzerdine, On-demand Relational Concept Analysis, in ICFCA 2019 - The 15th International Conference on Formal Concept Analysis. Frankfurt, Germany, Springer. 06. 2019. [URL]
Wadoud Bousdira, Arvid Jakobsson & Frederic Dabrowski, Safe Usage of Registers in BSPlib, in SAC 2019. Limassol, Cyprus. 04. 2019. [URL]
Jean-François Lalande, Valérie Viet Triem Tong, Pierre Graux, Guillaume Hiet, Wojciech Mazurczyk, Habiba Chaoui & Pascal Berthomé, Teaching Android Mobile Security, in 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]

Unrefereed publications at Conferences or Workshops

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. 01. 2019. [URL]
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. 04. 2019. [URL]

Other Publications

Arvid Jakobsson, Frederic Dabrowski & Wadoud Bousdira, Safe Usage of Registers in BSPlib (Preprint). 01. 2019. [URL]
Anthony Palmieri, Arnaud Lallouet & Luc Pons, Constraint Games for stable and optimal allocation of demands in SDN. 04. 2019. [URL]

2019/05/19 generated via HALLO + JabRef.