Skip to Main content Skip to Navigation

hal-02446427v1  Conference papers
Maxime BuronFrançois GoasdouéIoana ManolescuMarie-Laure Mugnier. Ontology-Based RDF Integration of Heterogeneous Data
EDBT/ICDT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark
hal-02411556v1  Conference papers
Beniamino AccattoliClaudia FaggianGiulio Guerrieri. Factorization and Normalization, Essentially
APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩
hal-02269134v1  Conference papers
Tien-Duc CaoLudivine DuroyonFrançois GoasdouéIoana ManolescuXavier Tannier. BeLink: Querying Networks of Facts, Statements and Beliefs
CIKM 2019 - 28th ACM International Conference on Information and Knowledge Management, Nov 2019, Beijing, China. ⟨10.1145/3357384.3357851⟩
hal-02129156v1  Journal articles
Thomas BuffetDamien RohmerLoc BartheLaurence BoissieuxMarie-Paule Cani. Implicit Untangling: A Robust Solution for Modeling Layered Clothing
ACM Transactions on Graphics, Association for Computing Machinery, 2019, Proc. ACM SIGGRAPH, 38 (4), pp.Article No. 120:1-12. ⟨10.1145/3306346.3323010⟩
hal-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
hal-02051413v1  Conference papers
Maxime BuronFrançois GoasdouéIoana ManolescuMarie-Laure Mugnier. Reformulation-based query answering for RDF graphs with RDFS ontologies
ESWC 2019 - European Semantic Web Conference, Jun 2019, Portoroz, Slovenia
hal-02057980v1  Conference papers
Ludivine DuroyonFrançois GoasdouéIoana Manolescu. A Linked Data Model for Facts, Statements and Beliefs
The Web Conference 2019 - International Workshop on Misinformation, Computational Fact-Checking and Credible Web, May 2019, San Francisco, United States. ⟨10.1145/3308560.3316737⟩
hal-01978784v1  Conference papers
François GoasdouéPawel GuzewiczIoana Manolescu. Incremental structural summarization of RDF graphs
EDBT 2019 - 22nd International Conference on Extending Database Technology, Mar 2019, Lisbon, Portugal
hal-01248760v2  Journal articles
Benjamin AudouxAlain Couvreur. On tensor products of CSS Codes
Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, European Mathematical Society, 2019, 6 (2), pp.239-287. ⟨10.4171/AIHPD/71⟩
hal-02127824v1  Journal articles
Pierre Ecormier-NoccaJulien PettréPooran MemariMarie-Paule Cani. Image-based Authoring of Herd Animations
Computer Animation and Virtual Worlds, Wiley, In press, 30 (3-4), pp.1-11. ⟨10.1002/cav.1903⟩
hal-01872817v1  Conference papers
Luca de FeoJean KiefferBenjamin Smith. Towards practical key exchange from ordinary isogeny graphs
ASIACRYPT 2018 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
hal-01927282v1  Conference papers
Maxime BuronFrançois GoasdouéIoana ManolescuMarie-Laure Mugnier. Rewriting-Based Query Answering for Semantic Data Integration Systems
BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania
hal-01827766v1  Conference papers
Emmanuel PietrigaHande GözükanCaroline AppertMarie DestandauŠejla Čebirić et al.  Browsing Linked Data Catalogs with LODAtlas
ISWC 2018 - 17th International Semantic Web Conference, Oct 2018, Monterey, United States. pp.137-153
hal-01936141v1  Conference papers
Beniamino AccattoliStéphane Graham-LengrandDelia Kesner. Tight typings and split bounds
23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩
hal-01853410v1  Conference papers
Even EntemAmal ParakkatMarie-Paule CaniLoc Barthe. Structuring and layering contour drawings of organic shapes
Expressive 2018 - Joint Symposium on Computational Aesthetics and Sketch-Based Interfaces and Modeling and Non-Photorealistic Animation and Rendering, Aug 2018, Victoria, Canada. pp.1-14, ⟨10.1145/3229147.3229155⟩
hal-01889222v1  Conference papers
Giovanni BacciPatricia BouyerUli FahrenbergKim Guldstrand LarsenNicolas Markey et al.  Optimal and Robust Controller Synthesis
FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩
hal-01325900v6  Reports
Šejla ČebirićFrançois GoasdouéPawel GuzewiczIoana Manolescu. Compact Summaries of Rich Heterogeneous Graphs
[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
hal-01837891v1  Directions of work or proceedings
Martin LeuckerJorge PérezCamilo RuedaFrank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science