Skip to Main content Skip to Navigation
Help


...
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-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-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-01577778v1  Conference papers
Šejla ČebirićFrançois GoasdouéIoana Manolescu. A Framework for Efficient Representative Summarization of RDF Graphs
International Semantic Web Conference (ISWC), Oct 2017, Vienna, Austria
...
hal-01657848v1  Conference papers
Benjamin MartinKhalil GhorbalEric GoubaultS. Putot. Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. pp.91--104, ⟨10.4204/EPTCS.257.9⟩
...
hal-01675365v1  Conference papers
Beniamino AccattoliGiulio Guerrieri. Implementing Open Call-by-Value
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
...
hal-01599167v1  Conference papers
Jasmin Christian BlanchetteAymeric BouzyAndreas LochbihlerAndrei PopescuDmitriy Traytel. Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Apr 2017, Uppsala, Sweden
...
hal-01427810v1  Conference papers
Pierre-Alain FouquePierre KarpmanPaul KirchnerBrice Minaud. Efficient and Provable White-Box Primitives
ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Dec 2016, Hanoï, Vietnam. pp.159 - 188, ⟨10.1007/978-3-662-53887-6_6⟩
...
hal-01425465v1  Conference papers
Beniamino AccattoliGiulio Guerrieri. Open Call-by-Value
14th Asian Symposium on Programming Languages and Systems (APLAS), Nov 2016, Hanoi, Vietnam. pp.206 - 226, ⟨10.1007/978-3-319-47958-3_12⟩
...
hal-01363625v1  Conference papers
Šejla ČebirićFrançois GoasdouéIoana Manolescu. Query-Oriented Summarization of RDF Graphs
BDA (Bases de Données Avancées), Nov 2016, Poitiers, France
...
hal-01426532v1  Conference papers
Raphaël BonaqueBogdan CautisFrançois GoasdouéIoana Manolescu. Recherche Sociale, Structurée et Sémantique
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France
...
hal-01400568v1  Conference papers
Damian BursztynFrançois GoasdouéIoana Manolescu. Optimizing FOL reducible query answering: understanding performance challenges
ISWC 2016: The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan
...
hal-01354592v1  Conference papers
Damian BursztynFrançois GoasdouéIoana Manolescu. Teaching an RDBMS about ontological constraints
Very Large Data Bases, Sep 2016, New Delhi, India
...
hal-01401812v1  Conference papers
Jasmin BlanchetteAymeric BouzyAndreas LochbihlerAndrei PopescuDmitriy Traytel. Friends with Benefits
Isabelle Workshop 2016, Aug 2016, Nancy, France
...
hal-01332642v1  Conference papers
Wei Wang​Matthieu Barba​Philippe Rinaudo​Alain DeniseYann Ponty. Homology ­modeling of complex structural RNAs
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2016, Jun 2016, Lyon, France
...
hal-01322335v1  Conference papers
Selma AzaiezDamien DoligezMatthieu LemerreTomer LibalStephan Merz. Proving Determinacy of the PharOS Real-Time Operating System
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
...
hal-01277939v1  Conference papers
Raphaël BonaqueBogdan CautisFrançois GoasdouéIoana Manolescu. Social, Structured and Semantic Search
International Conference on Extending Database Technology, Mar 2016, Bordeaux, France
hal-01245381v1  Conference papers
Brice MinaudPatrick DerbezPierre-Alain FouquePierre Karpman. Key-Recovery Attacks on ASASA
International Conference on the Theory and Application of Cryptology and Information Security 2015 - ASIACRYPT 2015, IACR, Nov 2015, Auckland, New Zealand. ⟨10.1007/978-3-662-48800-3_1⟩