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⟩
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
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
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 Smail-TabboneTaha Boukhobza. Towards an automatic conversion from SBML core to SBML qual
Journées Ouvertes Biologie, Informatique et Mathématiques, JOBIM 2019, Jul 2019, Nantes, France
hal-02181333v1  Conference papers
Ioannis K 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 TuruaniMichael 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-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-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-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-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⟩
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-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-02403616v1  Conference papers
Benoît HenryShihabur Rahman 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-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
hal-02114652v2  Conference papers
Romain SerizelNicolas Turpault. Sound Event Detection from Partially Annotated Data: Trends and Challenges
IcETRAN conference, Jun 2019, Srebrno Jezero, Serbia
hal-02401836v1  Conference papers
Lucas Nussbaum. SILECS/Grid’5000: le volet data-center de SILECS : Présentation et exemples d’expériences
TILECS - Towards an Infrastructure for Large-Scale Experimental Computer Science, Jul 2019, Grenoble, France
hal-02154825v1  Conference papers
Mathieu HoyrupDonald M Stull. Semicomputable points in Euclidean spaces
MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩
hal-02405550v1  Conference papers
Alberto FioriChristoph Weidenbach. SCL: Clause Learning from Simple Models
27th International Conference on Automated Deduction, 2019, Natal, Brazil. pp.233-249, ⟨10.1007/978-3-030-29436-6_14⟩
hal-02195498v1  Conference papers
Victor CodocedoJaume BaixeriesMehdi KaytoueAmedeo Napoli. Sampling Representation Contexts with Attribute Exploration
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.307-314, ⟨10.1007/978-3-030-21462-3_20⟩
hal-01988419v1  Conference papers
Ajay K. EerallaSerdar ErbaturAndrew M. MarshallChristophe Ringeissen. Rule-Based Unification in Combined Theories and the Finite Variant Property
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩
hal-02406758v1  Conference papers
Sény DiattaGuillaume MorozMarc Pouget. Reliable Computation of the Singularities of the Projection in R3 of a Generic Surface of R4
MACIS 2019 - Mathematical Aspects of Computer and Information Sciences, Nov 2019, Gebze-Istanbul, Turkey
hal-02125985v2  Conference papers
Lauréline PerotinAlexandre DéfossezEmmanuel VincentRomain SerizelAlexandre Guérin. Regression versus classification for neural network based audio source localization
WASPAA 2019 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, IEEE, Oct 2019, New Paltz, United States
hal-03018473v1  Conference papers
Vladimir Zamdzhiev. Reflecting Algebraically Compact Functors
Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩
inria-00321550v1  Conference papers
Erwan KerrienMarie-Odile BergerJérémie Dequidt. Refining the 3D surface of blood vessels from a reduced set of 2D DSA images
AMI-ARCS 2008, PJ "Eddie" Edwards and Kensaku Mori and Tobias Sielhorst, Sep 2008, New York, NY, United States. pp.61-69
inria-00323841v1  Conference papers
Carlos ArecesAlexander KollerKristina Striegnitz. Referring Expressions as Formulas of Description Logic
Fifth International Natural Language Generation Conference - INLG 2008, Jun 2008, Salt Fork, United States
hal-02170763v1  Conference papers
Justine Reynaudyannick ToussaintAmedeo Napoli. Redescription mining for learning definitions and disjointness axioms in Linked Open Data
ICCS 2019 - 24th International Conference on Conceptual Structures, Jul 2019, Marburg, Germany
hal-00342366v1  Conference papers
Guillaume BonfanteReinhard KahleJean-yves MarionIsabel Oitavem. Recursion Schemata for NCk
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
hal-02276530v1  Conference papers
Mathias FleuryHans-Jörg Schurr. Reconstructing veriT Proofs in Isabelle/HOL
PxTP 2019 - Sixth Workshop on Proof eXchange for Theorem Proving, Aug 2019, Natal, Brazil. pp.36-50, ⟨10.4204/EPTCS.301.6⟩