Skip to Main content Skip to Navigation

hal-00354043v1  Journal articles
Denis BéchetRoberto BonatoAlexandre DikovskyAnnie ForetYannick Le Nir et al.  Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152
hal-00812273v1  Conference papers
Amel AissaouiJean MartinetChaabane Djeraba. 3D face reconstruction in a binocular passive stereoscopic system using face properties
International Conference on Image Processing (ICIP) 2012, Sep 2012, Orlando, FL, United States. pp.1789-1792, ⟨10.1109/ICIP.2012.6467228⟩
hal-00542146v1  Conference papers
Jean-Pierre TalpinDavid BernerSandeep ShuklaPaul Le GuernicAbdoulaye Gamatié et al.  A Behavioral Type Inference System for Compositional System-on-Chip Design
Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp.47-56, ⟨10.1109/CSD.2004.1309115⟩
hal-02557823v2  Conference papers
Hugo HerbelinÉtienne Miquey. A calculus of expandable stores
LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.564-577, ⟨10.1145/3373718.3394792⟩
hal-01955837v1  Conference papers
Carole Delporte-GalletHugues FauconnierSergio RajsbaumNayuta Yanagisawa. A Characterization of t-Resilient Colorless Task Anonymous Solvability
SIROCCO 2018 - 25th International Colloquium Structural Information and Communication Complexity, Jun 2018, Ma'ale HaHamisha, Israel. ⟨10.1007/978-3-030-01325-7_18⟩
hal-01375977v3  Conference papers
Étienne Miquey. A Classical Sequent Calculus with Dependent Types
26th European Symposium on Programming, Apr 2017, Uppsala, Sweden
hal-01191867v2  Journal articles
Maxime Lucas. A coherence theorem for pseudonatural transformations
Journal of Pure and Applied Algebra, Elsevier, 2017, 221 (5), pp.1146-1217. ⟨10.1016/j.jpaa.2016.09.005⟩
hal-02321581v1  Reports
Hossein BaktashEmanuele NataleLaurent Viennot. A Comparative Study of Neural Network Compression
[Research Report] INRIA Sophia Antipolis - I3S. 2019
hal-01302696v2  Conference papers
Hugo HerbelinÉtienne Miquey. A continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control within System F
CL&C'16. Sixth International Workshop on. Classical Logic and Computation, Jun 2016, Porto, Portugal
hal-01662132v1  Preprints, Working Papers, ...
Maxime Lucas. A cubical Squier's theorem
hal-00880787v4  Conference papers
Antoine BonnefoyValentin EmiyaLiva RalaivolaRémi Gribonval. A Dynamic Screening Principle for the Lasso
European Signal Processing Conference EUSIPCO 2014, Sep 2014, Lisboa, Portugal. pp.1-5
hal-03066087v1  Conference papers
Kenji MaillardPaul-André Melliès. A Fibrational Account of Local States
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, France. pp.402-413, ⟨10.1109/LICS.2015.45⟩
hal-02534965v2  Conference papers
Théo Zimmermann. A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
SoHeal 2020 - 3rd International Workshop on Software Health, May 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387940.3392209⟩
hal-01278214v1  Journal articles
Pierre-Louis CurienJovana Obradovic. A formal language for cyclic operads
Higher Structures, Macquarie University 2017
hal-00593425v1  Conference papers
Benoit CombemaleLaure GonnordVlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
hal-03320556v1  Conference papers
Théo ZimmermannJean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations-Registered Report
ICSME 2021 - 37th International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg
hal-01489200v2  Journal articles
Cyrille Chenavier. A Lattice Formulation of the F 4 Completion Procedure
International Journal of Algebra and Computation, World Scientific Publishing, 2019, 29 (1), ⟨10.1142/S0218196718500613⟩
hal-00973503v1  Conference papers
Adel LablackTaner DanismanIoan Marius BilascoChaabane Djeraba. A Local Approach for Negative Emotion Detection
International Conference on Pattern Recognition, Aug 2014, Stockholm, Sweden. pp.417-420
hal-03366644v1  Documents associated with scientific events
Cyril CohenThéo Zimmermann. A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
The Coq Workshop, Jul 2021, Virtual, France
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
inria-00447930v1  Conference papers
Gabriel AntoniuMathieu JanDavid Noblet. A practical example of convergence of P2P and grid computing: an evaluation of JXTA's communication performance on grid networking infrastructures
Proc. 3rd Int. Workshop on Java for Parallel and Distributed Computing (JavaPDC '08), Apr 2008, Miami, United States. pp.104, ⟨10.1109/IPDPS.2008.4536338⟩
hal-00875098v1  Conference papers
Ghada ArfaouiSébastien GambsPatrick LacharmeJean-François LalandeLescuyer Roch et al.  A Privacy-Preserving Contactless Transport Service for NFC Smartphones
Fifth International Conference on Mobile Computing, Applications and Services, Nov 2013, Paris, France. pp.282-285, ⟨10.1007/978-3-319-05452-0_24⟩
hal-01091576v1  Journal articles
Ghada ArfaouiGuillaume DabosvilleSébastien GambsPatrick LacharmeJean-François Lalande. A Privacy-Preserving NFC Mobile Pass for Transport Systems
EAI Endorsed Transactions on Mobile Communications and Applications, ICST, 2014, 14 (5), pp.e4. ⟨10.4108/mca.2.5.e4⟩
hal-02273387v1  Conference papers
Enka BlanchardOlivier Pivot. A proposal for the New Shape Prize: CIVICS: Changing Incentives for Voters in International Cooperation through Sampling
VIII International Smolny Student Conference 2019, Apr 2019, Saint Petersburg, Russia
hal-03455778v1  Conference papers
Claudia FaggianFrancesco Gavazzo. A Relational Theory of Monadic Rewriting Systems, Part I
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, France. pp.1-14, ⟨10.1109/LICS52264.2021.9470633⟩
hal-01632947v1  Conference papers
Ran ChenJean-Jacques Lévy. A Semi-automatic Proof of Strong connectivity
9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2017, Heidelberg, Germany
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-02408211v1  Directions of work or proceedings
David BaeldeAmy FeltyGopalan NadathurAlexis Saurin. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday
Mathematical Structures in Computer Science, 29 (8), Cambridge University Press, pp.1007-1008, 2019, ⟨10.1017/S0960129519000136⟩
hal-01256092v1  Conference papers
Pierre-Louis CurienMarcelo FioreGuillaume Munch-Maccagnoni. A theory of effects and resources: adjunction models and polarised calculi
Principles of Programmming Languages, Jan 2016, Saint-Petersbourg, Florida, United States. ⟨10.1145/2837614.2837652⟩
hal-02573605v1  Conference papers
Claude StolzeLuigi Liquori. A Type Checker for a Logical Framework with Union and Intersection Types
FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020⟩
hal-00726121v1  Conference papers
Xavier DevroeyMaxime CordyGilles PerrouinEun-Young KangPierre-Yves Schobbens et al.  A Vision for Behavioural Model-Driven Validation of Software Product Lines
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
tel-02462270v1  Habilitation à diriger des recherches
Pierre Charbit. About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration
Discrete Mathematics [cs.DM]. Université Paris Diderot, 2019
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-03241714v1  Directions of work or proceedings
Julien BroisinChristophe DeclercqCédric FluckigerYannick ParmentierYvan Peter et al.  Actes de l'atelier APIMU 2021 @ EIAH : Apprendre la Pensée Informatique de la Maternelle à l'Université
Atelier : Apprendre la Pensée Informatique de la Maternelle à l'Université (APIMU @ EIAH 2021), Fribourg (virtuel), Suisse. HAL, 2021
hal-01107721v1  Journal articles
Mathieu GiraudMarc Rigaudière. Algorithmes pour l’analyse de la musique tonale
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, Informatique musicale, 33 (7-8), pp.567-586. ⟨10.3166/tsi.33.567-586⟩
hal-00506348v1  Journal articles
Guillaume BlinAlain DeniseSerge DulucqClaire HerrbachHélène Touzet. Alignments of RNA structures.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2010, 7 (2), pp.309-322. ⟨10.1109/TCBB.2008.28⟩
hal-02533936v1  Journal articles
Raphaël BerthonNathanaël FijalkowEmmanuel FiliotShibashis GuhaBastien Maubert et al.  Alternating Tree Automata with Qualitative Semantics
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 22 (1), ⟨10.1007/s00037-021-00214-1⟩
inria-00536539v1  Journal articles
Ernst AlthausDenys DuchierAlexander KollerKurt MehlhornJoachim Niehren et al.  An Efficient Graph Algorithm for Dominance Constraints
Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩
hal-00541790v1  Conference papers
Abdoulaye GamatiéThierry GautierPaul Le Guernic. An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-01393643v1  Journal articles
Pierre FraigniaudAmos Korman. An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets
Journal of the ACM (JACM), Association for Computing Machinery, 2016, 63, pp.1 - 31. ⟨10.1145/2794076⟩
hal-02355602v2  Conference papers
Benedikt BeckerNicolas JeannerodClaude MarchéYann Régis-GianasMihaela Sighireanu et al.  Analysing installation scenarios of Debian packages
TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
hal-01093274v1  Conference papers
Jason LambertAntoine PédronGuillaume GensFranck BimbardLionel Lacassagne et al.  Analysis of Multicore CPU and GPU toward Parallelization of Total Focusing Method ultrasound reconstruction
DASIP 2012 - Conference on Design and Architectures for Signal and Image Processing, Electronic Chips & Systems design Initiative, Oct 2012, Karlsruhe, Germany
hal-01016562v1  Conference papers
Judith MuzerelleAnaıs Lefeuvre-HalftermeyerJean-Yves AntoineEmmanuel SchangDenis Maurel et al.  ANCOR, premier corpus de français parlé d'envergure annoté en coréférence et distribué librement
TALN'2013, 20e conférence sur le Traitement Automatique des Langues Naturelles, Jun 2011, Les Sable d'Olonne, France. pp.555-563
hal-02977711v1  Journal articles
Roberto Di Cosmo. Announcing biblatex-software: software citation made easy
Software Engineering Notes, Association for Computing Machinery, 2020, 45 (4), pp.22-23. ⟨10.1145/3417564.3417570⟩
hal-01476201v1  Reports
Damien ImbsAchour MostefaouiMatthieu PerrinMichel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)
[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017
hal-01154374v1  Conference papers
Sébastien GambsJean-François LalandeJacques Traoré. ANR LYRICS: Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2015, Troyes, France
hal-01158211v2  Journal articles
Albert BenvenisteClaude JardSamy Abbes. Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
hal-01470935v1  Conference papers
Dariusz DereniowskiAdrian KosowskiPrzemyslaw UznanskiMengchuan Zou. Approximation Strategies for Generalized Binary Search in Weighted Trees
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, 2017, Warsaw, Poland. pp.84:1--84:14, ⟨10.4230/LIPIcs.ICALP.2017.84⟩
hal-02526083v4  Conference papers
Roberto Di Cosmo. Archiving and referencing source code with Software Heritage
International Congress on Mathematical Software - ICMS 2020, Jul 2020, Braunschweig, Germany. pp.362-373, ⟨10.1007/978-3-030-52200-1_36⟩
tel-02436610v1  Theses
Mengchuan Zou. Aspects de l’efficacité dans des problèmes sélectionnés pour des calculs sur les graphes de grande taille
Algorithme et structure de données [cs.DS]. Université de Paris, 2019. Français
hal-01341710v1  Conference papers
Armando CastañedaPierre FraigniaudEli GafniSergio RajsbaumMatthieu Roy. Asynchronous Coordination Under Preferences and Constraints
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
hal-03455968v1  Conference papers
Paul-André Melliès. Asynchronous Template Games and the Gray Tensor Product of 2-Categories
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
hal-00812308v1  Conference papers
Taner DanismanIoan Marius BilascoNacim IhaddadeneChaabane Djeraba. Automatic Facial Feature Detection for Facial Expression Recognition
Fifth International Conference on Computer Vision Theory and Applications (VISAPP) 2010, May 2010, Angers, France. pp.407-412
hal-01359084v2  Conference papers
Adrian KosowskiLaurent Viennot. Beyond Highway Dimension: Small Distance Labels Using Tree Skeletons
SODA 2017 - 28th ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain
inria-00623390v1  Conference papers
Mathieu GiraudStéphane JanotJean-Frédéric BerthelotCharles DeltelLaetitia Jourdan et al.  Biomanycores, open-source parallel code for many-core bioinformatics
Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria
hal-03210222v1  Conference papers
Lucas Massoni SguerraPierre JouvelotEmilio Jesús Gallego AriasGérard MemmiFabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
hal-00861830v1  Journal articles
Olivier BeaumontNicolas BonichonLionel Eyraud-DuboisPrzemyslaw UznanskiShailesh Kumar Agrawal. Broadcasting on Large Scale Heterogeneous Platforms under the Bounded Multi-Port Model
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2014, 25 (10), pp.2520-2528. ⟨10.1109/TPDS.2013.245⟩
hal-02860493v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Calcul distribué simple et efficace de la betweenness
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
hal-01159182v1  Journal articles
Frédéric LoulergueWadoud BousdiraJulien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms
International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩
hal-03371935v1  Conference papers
Abhishek DeLuc PellissierAlexis Saurin. Canonical proof-objects for coinductive programming: infinets with infinitely many cuts
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-15, ⟨10.1145/3479394.3479402⟩
hal-01355122v1  Journal articles
Valérie Viet Triem TongJean-François LalandeMourad Leslous. Challenges in Android Malware Analysis
ERCIM News, ERCIM, 2016, Special Theme: Cybersecurity, pp.42-43
hal-01951322v1  Conference papers
Théo Zimmermann. Challenges in the collaborative development of a complex mathematical software and its ecosystem
OpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩
inria-00606100v1  Conference papers
Yohan BoichutThi-Bich-Hanh DaoValérie Murat. Characterizing Conclusive Approximations by Logical Formulae
Reachability Problems 2011, Sep 2011, Gênes, Italy
hal-01247989v1  Journal articles
Mauricio GuillermoÉtienne Miquey. Classical realizability and arithmetical formulæ
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, ⟨10.1017/S0960129515000559⟩
tel-01653733v2  Theses
Étienne Miquey. Classical realizability and side-effects
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité - Université Paris Diderot (Paris 7); Universidad de la República - Montevideo, Uruguay, 2017. English
hal-01304598v2  Conference papers
Enka BlanchardNicolas Schabanel. Clustering Dynamique par Rayon
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
hal-01103441v1  Conference papers
Eoin ThomasEmmanuel DaucéDieter DevlaminckLoïc MahéAlexandra Carpentier et al.  CoAdapt P300 speller: optimized flashing sequences and online learning
6th International Brain Computer Interface Conference, Sep 2014, Graz, Austria
hal-01662524v1  Journal articles
Pierre-Louis CurienSamuel Mimram. Coherent Presentations of Monoidal Categories
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-38. ⟨10.23638/LMCS-13(3:31)2017⟩
hal-01888756v1  Journal articles
Emanuele FrittaionLudovic Patey. Coloring the rationals in reverse mathematics
Computability, IOS Press, 2017, 6 (4), pp.319 - 331. ⟨10.3233/COM-160067⟩
hal-01888777v1  Journal articles
Damir DzhafarovLudovic Patey. Coloring trees in reverse mathematics
Advances in Mathematics, Elsevier, 2017, 318, pp.497 - 514. ⟨10.1016/j.aim.2017.08.009⟩
hal-03096175v1  Journal articles
Nicolas BehrVincent DanosIlias Garnier. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, ⟨10.23638/LMCS-16(3:3)2020⟩
hal-00881407v2  Conference papers
Valentin EmiyaAntoine BonnefoyLaurent DaudetRémi Gribonval. Compressed sensing with unknown sensor permutation
ICASSP - IEEE International Conference on Acoustics Speech and Signal Processing, May 2014, Florence, Italy. ⟨10.1109/ICASSP.2014.6853755⟩