Skip to Main content Skip to Navigation


hal-02753707v1  Conference papers
Meriem Mejhed MkhininiOuassila LabbaniChristophe Nicolle. Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation
2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP), IEEE, Sep 2019, Cluj-Napoca, Romania. pp.127-134, ⟨10.1109/ICCP48234.2019.8959686⟩
hal-02148756v1  Directions of work or proceedings
Filippo BonchiBarbara König. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Filippo Bonchi; Barbara Konig. 2019
hal-02096306v1  Conference papers
Aurore AlcoleiPierre ClairambaultOlivier Laurent. Resource-Tracking Concurrent Games
Foundations of Software Science and Computation Structures, Apr 2019, Prague, Czech Republic. pp.27-44, ⟨10.1007/978-3-030-17127-8_2⟩
hal-02393982v1  Conference papers
Damien Pous. Coinduction: Automata, Formal Proof, Companions (Invited Paper)
CALCO, Jun 2019, London, United Kingdom
hal-02289499v1  Journal articles
Michaël RaoAlexandre Talon. The 2-domination and Roman domination numbers of grid graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2019, ICGT 2018, 21 (1)
hal-02055844v1  Journal articles
Fedor V. FominTien-Nam LeDaniel LokshtanovSaket SaurabhStéphan Thomassé et al.  Subquadratic Kernels for Implicit 3-Hitting Set and 3-Set Packing Problems
ACM Transactions on Algorithms, Association for Computing Machinery, 2019, 15 (1), pp.1-44
hal-03142775v1  Conference papers
Omar FawziJohanna SeifDaniel Szilagyi. Approximation algorithms for classical-quantum channel coding
2019 IEEE International Symposium on Information Theory (ISIT), Jul 2019, Paris, France. pp.2569-2573, ⟨10.1109/ISIT.2019.8849617⟩
hal-02127178v1  Conference papers
Russ HarmerEugenia Oshurko. Knowledge representation and update in hierarchies of graphs
International Conference on Graph Transformation, Jul 2019, Eindhoven, Netherlands
hal-02127147v1  Journal articles
Russ HarmerYves-Stan Le CornecSébastien LégaréEugenia Oshurko. Bio-curation for cellular signalling: the KAMI project
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2019, 16 (5), pp.1562-1573. ⟨10.1109/TCBB.2019.2906164⟩
hal-02275202v1  Journal articles
Louis EsperetRoss KangStéphan Thomassé. Separation Choosability and Dense Bipartite Induced Subgraphs
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2019, 28 (5), pp.720-732. ⟨10.1017/S0963548319000026⟩
hal-02138766v1  Conference papers
Russ HarmerEugenia Oshurko. KAMIStudio: an environment for biocuration of cell signalling knowledge
17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
hal-02863476v1  Conference papers
Marc de VismeGlynn Winskel. Causal Unfoldings
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), Jun 2019, London, United Kingdom. ⟨10.4230/LIPIcs.CONCUR.2019.11⟩
hal-02433430v1  Book sections
Pierre-Antoine CinquinPascal GuittonHélène Sauzéon. Accessibilité numérique des systèmes d'enseignement en ligne pour des personnes en situation de handicap d'origine cognitif
Eric Dugas. Handicaps et recherches - Regards pluridiciplinaires, Editions CNRS, 2019, 978-2-271-12969-7
hal-02174322v1  Conference papers
Titouan VayerLaetitia ChapelRémi FlamaryRomain TavenardNicolas Courty. Optimal Transport for structured data with application on graphs
ICML 2019 - 36th International Conference on Machine Learning, Jun 2019, Long Beach, United States. pp.1-16
hal-02092077v1  Conference papers
Jean-Pierre Chevrot. Social, cognitif, individuel et collectif, quelles articulations et quelles frontières dans un paysage scientifique mouvant ? Le cas de la sociolinguistique
Séminaire de Recherche en Epistémologie des Sciences Cognitives de l'Ecole Normale Supérieure de Lyon. Série: Explication des faits cognitifs et des faits sociaux, conduite en association avec l'Université de Lausanne dans le cadre de l'opération de recherche Alliance Campus Rhodanien "Cognition, Réalités Sociales et Philosophie: Le problème du naturalisme social", Apr 2019, Lyon, France
hal-02981785v1  Book sections
Bilal MessaoudiAmmar Oulamara. Electric Bus Scheduling and Optimal Charging
International Conference on Computational Logistics ICCL 2019: Computational Logistics, pp.233-247, 2019, ⟨10.1007/978-3-030-31140-7_15⟩
hal-02981094v1  Book sections
Bilal MessaoudiAmmar OulamaraNastaran Rahmani. Correction to: Multiple Periods Vehicle Routing Problems: A Case Study
European Conference on Evolutionary Computation in Combinatorial Optimization (Part of EvoStar) EvoCOP 2019: Evolutionary Computation in Combinatorial Optimization, pp.C1-C1, 2019, ⟨10.1007/978-3-030-16711-0_14⟩
hal-02284110v1  Conference papers
Alexandre MarquetNicolas MontavontGeorgios Papadopoulos. Investigating Theoretical Performance and Demodulation Techniques for LoRa
2019 IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM), Jun 2019, Washington, United States. pp.1-6, ⟨10.1109/WoWMoM.2019.8793014⟩
hal-01883087v1  Conference papers
Olivier GaudoinXiujie ZhaoLaurent Doyen. Optimal inspection and replacement policy based on experimental degradation data with covariates
11th International Conference on Mathematical Methods in Reliability, MMR 2019, Jun 2019, Hong Kong, China
hal-02275201v1  Conference papers
Laurent DoyenRemy DrouilhetLéa Brenière. A Generalization of Virtual Age Concept: Stochastic Modelling, Statistical Inference and Applications
11th International Conference on Mathematical Methods in Reliability, MMR 2019, Jun 2019, Hong Kong, China
hal-02059256v1  Conference papers
Olivier GaudoinMhamed-Ali El Aroui. Prequential goodness-of-fit tests for ARA imperfect maintenance models
11th International Conference on Mathematical Methods in Reliability, MMR 2019, Jun 2019, Hong Kong, China
hal-02463262v1  Conference papers
Roland Hildebrand. On the convexity properties of the barrier parameter in conic programming
Conic and Copositive Optimization, Dec 2019, Linz, Austria
hal-03179724v1  Conference papers
Pascal CuxacJean-Charles LamirelNicolas Kieffer. SKEEFT: indexing method taking into account the structure of the document
15th International Conference on Webometrics, Informetrics and Scientometrics and 20th COLLNET meeting, Nov 2019, Dalian, China
hal-02400482v1  Conference papers
Frederic DupuisAshutosh GoswamiMehdi MhallaValentin Savin. Purely Quantum Polar Codes
ITW 2019, Aug 2019, Gotland, Sweden
hal-03180526v1  Conference papers
Jean-Charles Lamirel. Basic approaches for text classification
DUT Invited International Seminar, 2019, Dalian, China
hal-03180561v1  Conference papers
Jean-Charles Lamirel. Future Digital Libraries will heavily rely on Machine Learning
8th International Library and Information Professionals Summit, (I-LIPS 2019) on Empowering Libraries with emerging Technologies for Common Sustainable Future, Nov 2019, Lucknow, India
hal-02972213v1  Directions of work or proceedings
Jérôme ErmontYe-Qiong SongChristopher Gill. RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems
ACM. RTNS 2019: 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. ACM Press, 2019, RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems, 978-1-4503-7223-7. ⟨10.1145/3356401⟩
hal-02123072v1  Conference papers
David Fernandez BlancoFrédéric Le Mouël. Vers une approche FaaS pour du calcul analytique sur noeuds IoT
Conférence d'informatique en Parallélisme, Architecture et Systèmes (ComPAS'2019), Jun 2019, Anglet, France
hal-02316870v1  Conference papers
Eric DomenjoudBastien LaboureixLaurent Vuillon. Facet Connectedness of Arithmetic Discrete Hyperplanes with Non-Zero Shift
DGCI 2019: 21st International Conference on Discrete Geometry for Computer Imagery, Mar 2019, Paris, France. pp.38-50, ⟨10.1007/978-3-030-14085-4_4⟩
hal-02350588v1  Journal articles
Lamia JeltiNadège CordelAndré GillibertJean-Philippe LacourClaire Uthurriague et al.  Incidence and Mortality of Pemphigus in France
Journal of Investigative Dermatology, Nature Publishing Group, 2019, 139 (2), pp.469-473. ⟨10.1016/j.jid.2018.07.042⟩
hal-02309758v1  Conference papers
Samy KambouAhmed Bouabdallah. A Strong Authentication Method for Web/Mobile Services
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.124-129, ⟨10.1109/CSCloud/EdgeCom.2019.000-8⟩
hal-02189627v1  Conference papers
Samy KambouAhmed Bouabdallah. Improving Strong Mobile Authentication with Structural Diversity and User-Friendliness
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, Spain. pp.1-5, ⟨10.1109/NTMS.2019.8763821⟩