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



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


International Refereed Journals


[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. 2019. [URL]
[hal-03560934:1]
Laurent Beaudou, Giacomo Kahn & Matthieu Rosenfeld, Bisplit graphs satisfy the Chen-Chvátal conjecture, Discrete Mathematics and Theoretical Computer Science, Vol. 21(1), DMTCS. 05. 2019. [URL]
[hal-01521746:1]
Yohan Boichut, Jacques Chabin & Pierre Réty, Towards more precise rewriting approximations, Journal of Computer and System Sciences, Vol. 104. Pp. 131-148, Elsevier. 09. 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, Revue TAL : traitement automatique des langues, Vol. 60(2). Pp. 23, Association pour le Traitement Automatique des Langues (ATALA) / Klincksieck. 09. 2019. [URL]
[hal-04321247:1]
Jacques Chabin, Mirian Halfeld-Ferrari & Dominique Laurent, Consistent updating of databases with marked nulls, Knowledge and Information Systems (KAIS), Communications in Computer and Information Science, Vol. 62(4). Pp. 1571-1609, Springer. 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, Vol. 131. Pp. 1-7, Elsevier. 12. 2019. [URL]
[hal-02973836:1]
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg, Probabilistic Epistemic Updates on Algebras, ACM Transactions on Computational Logic, Vol. 20(4). Pp. 1-75, Association for Computing Machinery. 09. 2019. [URL]
[hal-01969498:1]
Christophe Crespelle, Anthony Perez & Ioan Todinca, An $O(n 2)$ time algorithm for the minimal permutation completion problem, Discrete Applied Mathematics, Vol. 254. Pp. 80-95, Elsevier. 02. 2019. [URL]
[hal-02018652:1]
Frederic Dabrowski, A denotational semantics of textually aligned SPMD Program, Journal of Logical and Algebraic Methods in Programming, Elsevier. 11. 2019. [URL]
[hal-01959683:1]
Antoine Dailly, Florent Foucaud & Adriana Hansberg, Strengthening the Murty-Simon conjecture on diameter 2 critical graphs, Discrete Mathematics, Vol. 342(11). Pp. 3142-3159, Elsevier. 11. 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-03242334:1]
Petr Golovach, Dieter Kratsch, Mathieu Liedloff & Mohamed Yosri Sayadi, Enumeration and maximum number of minimal dominating sets for chordal graphs, Theoretical Computer Science, Vol. 783. Pp. 41-52, Elsevier. 09. 2019. [URL]
[hal-03559579:1]
Petr Golovach, Dieter Kratsch, Mathieu Liedloff & Mohamed Yosri Sayadi, Enumeration and maximum number of maximal irredundant sets for chordal graphs, Discrete Applied Mathematics, Vol. 265. Pp. 69-85, Elsevier. 07. 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-03701326:1]
Nicolas Lachiche, Christel Vrain, Fabrizio Riguzzi, Elena Bellodi & Riccardo Zese, Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018, Machine Learning, Vol. 108(7). Pp. 1057-1059, Springer Verlag. 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, Vol. 12(11). Pp. 4606-4621, IEEE. 2019. [URL]
[hal-03540659:1]
Mathieu Liedloff, Pedro Montealegre & Ioan Todinca, Beyond Classes of Graphs with textquotedblleftFewtextquotedblright Minimal Separators: FPT Results Through Potential Maximal Cliques, Algorithmica, Vol. 81(3). Pp. 986-1005, Springer Verlag. 03. 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-03622785:1]
Dara Ly, Nikolai Kosmatov, Julien Signoles & Frédéric Loulergue, Soundness of a Dataflow Analysis for Memory Monitoring, Ada Letters, Vol. 38(2). Pp. 97-108, Association for Computing Machinery. 12. 2019. [URL]
[hal-03456321:1]
Ciro Medeiros, Martin Musicante & Umberto Costa, LL-based query answering over RDF databases, Journal of Computer Languages, Vol. 51. Pp. 75-87, Elsevier. 04. 2019. [URL]
[hal-03345292:1]
Pierre-Yves Paré, Hélène Rivière, Raphaelle Hureaux, Marion Chappe, Laurence Spiesser-Robelet, Frédéric Moal & Cédric Annweiler, Therapeutic advice issued by a geriatric mobile team and 3-year mortality in older inpatients, Maturitas, Vol. 130. Pp. 38-40, Elsevier. 12. 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]


Book Chapters


[hal-03377146:1]
Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry & Mohamadou Tafsir Sakho, Modeling Concurrent Behaviors as Words, in Verification and Evaluation of Computer and Communication Systems, Lecture Notes in Computer Science, Vol. 11847. Pp. 1-15, Springer International Publishing. 11. 2019. [URL]
[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]
[hal-01537920:1]
Yannick Parmentier & Jakub Waszczuk, Representation and Parsing of Multiword Expressions, Yannick Parmentier and Jakub Waszczuk (Ed.), Phraseology and Multiword Expressions, Vol. 3, Language Science Press. 2019. [URL]


Thesis


[tel-02988287:1]
Cherifa Ben Khelil, Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]
[tel-03625475:1]
Gaëtan Caillaut, Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées, Thèse de Doctorat. Université d'Orléans. 12. 2019. [URL]
[tel-02920363:1]
Filip Jakobsson, Static Analysis for BSPlib Programs, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]
[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]
[tel-02414240:1]
Axel Michel, Personalising privacy contraints in Generalization-based Anonymization Models, Thèse de Doctorat. Institut National des Sciences Appliquées - Centre Val de Loire. 04. 2019. [URL]
[tel-02986761:1]
Gauthier Sornet, Parallèlisme des calculs numériques appliqué aux géosciences, Thèse de Doctorat. Université d'Orléans. 10. 2019. [URL]
[tel-03215462:1]
Thibaut Tachon, Automatic Generation of Bulk-Synchronous Parallel code, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]


Invited Papers


[hal-02942677:1]
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade & Lihua Ye, Secure and Efficient Matrix Multiplication with MapReduce, in SECRYPT/ICETE - Revised Selected Papers. Prague, Czech Republic. 07. 2019. [URL]
[halshs-02490487:1]
Guillaume Desagulier & Ilaine Wang, Sémantique distributionnelle et diachronie, in Séminaire du LIFO (Orléans). Orléans, France. 05. 2019. [URL]
[hal-02272288:1]
Murielle Fabre, Yoann Dupont & Éric Villemonte de La Clergerie, Syntactic Parsing versus MWEs: What can fMRI signal tell us, in PARSEME-FR 2019 consortium meeting. Blois, France, PARSEME-FR 2019. 06. 2019. [URL]
[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]


International Conference or Workshop with Proceedings


[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 2019 - 15th International Conference on Formal Concept Analysis, Diana Cristea and Florence Le Ber and Baris Sertkaya (Ed.). Frankfurt, Germany, Lecture Notes in Computer Science, Vol. 11511. Pp. 155-172, Springer International Publishing. 06. 2019. [URL]
[hal-03560926:1]
Alexandre Bazin & Giacomo Kahn, Reduction and Introducers in d-contexts, in ICFCA 2019 - 15th International Conference on Formal Concept Analysis. Frankfurt, Germany, Lecture Notes in Computer Science, Vol. 11511. Pp. 73-88, 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 NFM 2019 - 11th Annual NASA Formal Methods Symposium. 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, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. 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), Springer (Ed.). Macau, China, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference (PAKDD). Pp. 488-500. 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-02491871:1]
Florent Foucaud, Hervé Hocquard, Dimitri Lajou, Valia Mitsou & Theo Pierron, Parameterized Complexity of Edge-Coloured and Signed Graph Homomorphism Problems, in IPEC 2019. Munich, Germany, Leibniz International Proceedings in Informatics, Vol. 148. Pp. 15:1-16. 09. 2019. [URL]
[hal-02433519:1]
Pierre Fraigniaud, Pedro Montealegre, Rotem Oshman, Rapaport Ivan & Ioan Todinca, On Distributed Merlin-Arthur Decision Protocols, in SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, Keren Censor-Hillel and Michele Flammini (Ed.). L'Aquila, Italy, LNCS - Lecture Notes in Computer Science, Vol. 11639. 07. 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 PDCAT 2019: 20th International Conference on Parallel and Distributed Computing, Applications and Technologies. 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, Springer. 2019. [URL]
[hal-02570859:1]
Jean-Yves Zié, Jean-Christophe Deneuville, Jérémy Briffaut & Benjamin Nguyen, Extending Atomic Chain Swaps, in Data Privacy Management, Cryptocurrencies and Blockchain Technology, ESORICS 2019 International Workshops. Luxembourg, Luxembourg, DPM 2019, CBT 2019, Vol. Lecture Notes in Computer Science(11737), Springer. 09. 2019. [URL]


National Conference or Workshop with Proceedings


[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 19èmes Journées Extraction et Gestion des Connaissances (EGC 2019), RNTI (Ed.). Metz, France, Extraction et Gestion des connaissances (EGC). Pp. 117-128. 01. 2019. [URL]


Poster sessions


[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-02448590:1]
Yoann Dupont, Un corpus libre, évolutif et versionné en entités nommées du français, in TALN 2019 - Traitement Automatique des Langues Naturelles. Toulouse, France. 07. 2019. [URL]
[hal-02182524:1]
Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Halfeld-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-02498302:1]
Vincent Hugot, Adrien Jousse, Christian Toinard & Benjamin Venelle, oMAC : Open Model for Automotive Cybersecurity, in escar Europe 2019. Stuttgart, Germany. 11. 2019. [URL]
[hal-03021574:1]
Fergal Martin-Tricot, Cédric Eichler & Pascal Berthomé, Industrial Internet of Things: Security of Interoperability, in RESSI. Erquy, France. 05. 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, Anais 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]


Unrefereed publications at Conferences or Workshops


[hal-02182521:1]
Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Halfeld-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-03559600:1]
Benjamin Gras & Mathieu Liedloff, Enumeration of Minimal Connected Dominating Sets in chordal bipartite graphs, in Cologne Twente Workshop. Enschede, Netherlands. 07. 2019. [URL]
[hal-02497993:1]
Vincent Hugot, Adrien Jousse, Christian Toinard & Benjamin Venelle, oMAC : Open Model for Automotive Cybersecurity, in 17th escar Europe : embedded security in cars (Konferenzveröffentlichung). Stuttgart, Germany. 11. 2019. [URL]
[hal-02501296:1]
Mouna Rekik, Abderrahim Ait Wakrime, Nasredine Cheniki & Yacine Sam, On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques, in 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). Napoli, Italy. Pp. 37-42, IEEE. 06. 2019. [URL]


Other 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-03253808:1]
Zied Bouraoui, Antoine Cornuéjols, Thierry Denœux, Sébastien Destercke, Didier Dubois, Romain Guillaume, João Marques Silva, Jérôme Mengin, Henri Prade, Steven Schockaert, Mathieu Serrurier & Christel Vrain, From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group). Pp. 53. 2019. [URL]
[hal-02424418:2]
Gilbert Busana, Brigitte Denis, Marie Duflot-Kremer, Sarah Higuet, Lara Kataja, Yves Kreis, Christophe Laduron, Christian Meyers, Yannick Parmentier, Robert Reuter & Armin Weinberger, PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental. 12. 2019. [URL]
[hal-02332212:1]
Manfred Cochefert, Jean-François Couturier, Petr A. 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-02114831:1]
Anthony Palmieri, Arnaud Lallouet & Luc Pons, Constraint Games for stable and optimal allocation of demands in SDN. 04. 2019. [URL]



2024/01/10 generated via HALLO + JabRef.