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
hal-02144955v1  Conference papers
Melanie JouaitiPatrick Henaff. The Sound of Actuators: Disturbance in Human -Robot Interactions?
Development and Learning and Epigenetic Robotics (ICDL-Epirob), 2019 Joint IEEE International Conferences on, Aug 2019, Oslo, Norway
hal-02059558v1  Conference papers
Salwa KobeissiPhilippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
hal-02190088v1  Conference papers
Miguel CouceiroLucien HaddadMaurice Pouzet. The mathematics of Ivo Rosenberg (Dedicated to the memory of Professor Ivo Rosenberg)
ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019, Fredericton, NB, Canada. pp.43-48
hal-02974531v1  Conference papers
Charles ColuzziJulie LaoGérard GuédonMarie-Dominique MorchChloé Ambroset et al.  The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus.
8th symposium on Antimicrobial Resistance in Animal and Environment, Jul 2019, Tours, France
hal-02276130v1  Conference papers
Nava SchulmannStéphane CotinIgor Peterlik. The effect of discretization on parameter identification. Application to patient-specific simulations
CMBBE 2019 - 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Aug 2019, New York (NY), United States
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
hal-02059088v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. Testing Nearby Peer-to-Peer Mobile Apps at Large
MOBILESoft 2019 - 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
hal-00563286v1  Conference papers
Frédéric DadeauRégis Tissot. Teaching Model-Based Testing with {L}eirios {T}est {G}enerator
FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
hal-02400070v1  Conference papers
Titouan CaretteDominic HorsmanSimon Perdrix. SZX-calculus: Scalable Graphical Quantum Reasoning
MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.55:1--55:15, ⟨10.4230/LIPIcs.MFCS.2019.55⟩
inria-00598642v1  Conference papers
Alexandre SavaZied AchourNidhal RezgNourredinne Malki. Synthèse d'une structure de controle tolérante aux fautes basée sur les réseaux de Petri
5ème Conférence Internationale Francophone d'Automatique - CIFA'08, Sep 2008, Bucarest, Romania
hal-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. Symbolic Methods in Computational Cryptography Proofs
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
hal-00336290v1  Conference papers
Karën FortBruno Guillaume. Sylva : plate-forme de validation multi-niveaux de lexiques
Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0
hal-02296038v1  Conference papers
Alexander BentkampJasmin BlanchetteSophie TourretPetar VukmirovićUwe Waldmann. Superposition with Lambdas
CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.55-73, ⟨10.1007/978-3-030-29436-6_4⟩
hal-02278090v1  Conference papers
Benoît LallouéJean-Marie MonnezEliane Albuisson. Streaming constrained binary logistic regression with online standardized data
SFC 2019 - XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
hal-02403616v1  Conference papers
Benoît HenryShihabur ChowdhuryAbdelkader LahmadiRomain AzaïsJérôme François et al.  SPONGE: Software-Defined Traffic Engineering to Absorb Influx of Network Traffic
LCN 2019 - 44th IEEE Conference on Local Computer Networks, Oct 2019, Osnabrück, Germany
hal-02050190v1  Conference papers
Bérenger Bramas. SPETABARU: A Task-based Runtime System with Speculative Execution Capability
SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
hal-02177210v1  Conference papers
Denis Jouvet. Speech Processing and Prosody
TSD 2019 - 22nd International Conference of Text, Speech and Dialogue, Sep 2019, Ljubljana, Slovenia
hal-02405524v1  Conference papers
Martin BrombergerMathias FleurySimon SchwarzChristoph Weidenbach. SPASS-SATT: A CDCL(LA) Solver
CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.111-122, ⟨10.1007/978-3-030-29436-6_7⟩
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States