Skip to Main content Skip to Navigation


hal-02944663v1  Conference papers
Sandra RasoamiaramananaGilles Macario-RatMarine Minier. White-Box Traitor-Tracing from Tardos Probabilistic Codes
SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩
...
hal-02185645v1  Conference papers
Amine Boumaza. When Mating Improves On-line Collective Robotics
GECCO’19 Proceedings of the 2019 Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic
hal-02421693v1  Conference papers
Sonia Haddad-VanierCéline GicquelLila BoukhatemKahina LazriPaul Chaignon. Virtual network functions placement for defense against distributed denial of service attacks
ICORES 2019 - 8th International Conference on Operations Research and Enterprise Systems, Feb 2019, Praque, Czech Republic
...
hal-01925653v2  Conference papers
Ilina StoilkovskaIgor KonnovJosef WidderFlorian Zuleger. Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
TACAS 2019 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17465-1_20⟩
...
hal-02191348v1  Conference papers
Nathalie BertrandIgor KonnovMarijana LazicJosef Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-16, ⟨10.4230/LIPIcs.CONCUR.2019.33⟩
hal-02400379v1  Conference papers
Dominique Méry. Verification by Construction of Distributed Algorithms
Theoretical Aspects of Computing - 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
...
hal-02388349v1  Conference papers
Luca de FeoSimon MassonChristophe PetitAntonio Sanso. Verifiable Delay Functions from Supersingular Isogenies and Pairings
Advances in Cryptology - ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.248-277, ⟨10.1007/978-3-030-34578-5_10⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
...
hal-02170760v1  Conference papers
Justine ReynaudYannick ToussaintAmedeo Napoli. Using Redescriptions and Formal Concept Analysis for Mining Definitions Linked Data
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Francfort, Germany. pp.241-256
inria-00304562v1  Conference papers
Yannick ParmentierWolfgang Maier. Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing
Proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Chalmers University of Technology and University of Gothenburg, Aug 2008, Gothenburg, Sweden. pp.360-365, ⟨10.1007/978-3-540-85287-2_34⟩
...
hal-02123709v1  Conference papers
Siva AnantharamanPeter HibbsPaliath NarendranMichaël Rusinowitch. Unification modulo Lists with Reverse, Relation with Certain Word Equations
CADE-27 - The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩
inria-00598486v1  Conference papers
Daniel RoyAnbo Meng. Une Architecture D'E-Learning Multi-Agents Adaptative
7éme Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.678-687
...
hal-01862896v2  Conference papers
Pierre GuillonEmmanuel JeandelJarkko KariPascal Vanier. Undecidable word problem in subshift automorphism groups
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
hal-00508922v1  Conference papers
Yannick Parmentier. TuLiPA: un environnement d'analyse syntaxico-sémantique pour grammaires d'arbres
First Nancy Workshop on Natural Language Processing (NaTAL'08), Jun 2008, Nancy, France
...
inria-00304605v1  Conference papers
Laura KallmeyerTimm LichteWolfgang MaierYannick ParmentierJohannes Dellert et al.  TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._
...
inria-00288429v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang MaierJohannes Dellert. TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms
9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128
...
hal-02280866v1  Conference papers
Béatrice LinotJérôme DinetFrançois CharoyValerie Shalin. Trust in computer-supported crisis management communication : toward a new model
InPACT 2019 - International Psychological Applications Conference and Trends, World Institute for Advanced Research and Science (W.I.A.R.S.), May 2019, Porto, Portugal. pp.440-444
inria-00576600v1  Conference papers
Silvio GhilardiEnrica NicoliniSilvio RaniseDaniele Zucchelli. Towards SMT Model Checking of Array-Based Systems
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Aug 2008, Sydney, Australia. pp.67-82, ⟨10.1007/978-3-540-71070-7_6⟩
...
hal-02407443v1  Conference papers
Athénaïs VaginayMalika Smaïl-TabboneTaha Boukhobza. Towards an automatic conversion from SBML core to SBML qual
JOBIM 2019 - Journées Ouvertes Biologie, Informatique et Mathématiques, Jul 2019, Nantes, France
...
hal-02181333v1  Conference papers
Ioannis DourosAnastasiia TsukanovaKaryna IsaievaPierre-André VuissozYves Laprie. Towards a method of dynamic vocal tract shapes generation by combining static 3D and dynamic 2D MRI speech data
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
inria-00332484v1  Conference papers
Najah ChridiMathieu TuruaniMichaël Rusinowitch. Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
...
hal-02397436v1  Conference papers
Guilherme AlvesMiguel CouceiroAmedeo Napoli. Towards a Constrained Clustering Algorithm Selection
26èmes Rencontres de la Société Francophone de Classification, SFC 2019 - XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
...
hal-02269613v1  Conference papers
Maria-Andrea Cruz-BlandónGosse MinnemaAria NourbakhshMaria BoritchevMaxime Amblard. Toward Dialogue Modeling: A Semantic Annotation Scheme for Questions and Answers
LAW XIII 2019 - The 13th Linguistic Annotation Workshop, Aug 2019, Florence, Italy
hal-02274785v1  Conference papers
Hoang-Long MaiMessaoud AouadjGuillaume DoyenWissam MallouliEdgardo Montes de Oca et al.  Toward Content-Oriented Orchestration: SDN and NFV as Enabling Technologies for NDN
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02050846v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardMarie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
hal-02499348v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
...
hal-02499318v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
...
hal-02456534v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Think Unlimited and Compress Data Automatically
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
...
hal-02071515v1  Conference papers
Maria Boritchev. Thé, café et licornes -- Traitement de la structure conversationnelle dans la théorie dynamique des types
EJCIM 2019 - École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France