Skip to Main content Skip to Navigation

halshs-00775748v1  Book sections
Hervé ZwirnJean-Paul Delahaye. Unpredictability and computational irreducibility
Hector Zenil, ed. Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science (Emergence, Complexity and Computation), Springer, pp.273-295, 2013, 978-3-642-35481-6. ⟨10.1007/978-3-642-35482-3⟩
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-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-01671994v1  Conference papers
Théo ZimmermannHugo Herbelin. Coq's Prolog and application to defining semi-automatic tactics
Type Theory Based Tools, Jan 2017, Paris, France
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⟩
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-01951176v3  Conference papers
Théo ZimmermannAnnalí Casanueva Artís. Impact of switching bug trackers: a case study on a medium-sized open source project
ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
tel-02451322v1  Theses
Théo Zimmermann. Challenges in the collaborative evolution of a proof language and its ecosystem
Software Engineering [cs.SE]. Université de Paris, 2019. English
hal-01613389v1  Conference papers
Yannick ZakowskiDavid CacheraDelphine DemangeGustavo PetriDavid Pichardie et al.  Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
hal-01249486v1  Conference papers
Hiba YahyaouiSaoussen KrichenBilel DerbelEl-Ghazali Talbi. A hybrid ILS-VND based hyper-heuristic for permutation flowshop scheduling problem
KES‘2015 19th Int. Conf. on Knowledge-based and Intelligent Information & Engineering Systems, 2015, Singapour, Singapore. pp.632-641, ⟨10.1016/j.procs.2015.08.199⟩
hal-01849166v3  Conference papers
Théo WinterhalterMatthieu SozeauNicolas Tabareau. Eliminating Reflection from Type Theory
CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩
hal-00484116v1  Conference papers
Jeanne VillaneauJean-Yves AntoineOlivier Ridoux. Logical Approach to Natural Language Understanding in a Spoken Dialogue System
7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644
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-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
hal-01857358v1  Conference papers
Thierry UrrutyChaabane DjerabaDan A. Simovici. Clustering by Random Projections
7th Industrial Conference on Data Mining (ICDM) 2007, Germany, Jul 2007, Leipzig, Germany. pp.107-119
hal-00812312v1  Conference papers
Thierry UrrutyJose Joemon M.Chaabane Djeraba. An efficient indexing structure for multimedia data
1st ACM SIGMM International Conference on Multimedia Information Retrieval (MIR) 2008, Oct 2008, Vancouver, BC, Canada. pp.313-320, ⟨10.1145/1460096.1460148⟩
hal-01857898v1  Conference papers
Thierry UrrutyFatima BelkouchChaabane Djeraba. Kpyr, une structure efficace d'indexation de documents vidéo
INFORSID-2005, 2005, Grenoble, France. pp.403-418
inria-00627665v1  Conference papers
Viet-Trung TranBogdan NicolaeGabriel AntoniuLuc Bougé. Pyramid: A large-scale array-oriented active storage system
LADIS 2011: The 5th Workshop on Large Scale Distributed Systems and Middleware, Sep 2011, Seattle, United States
hal-00640900v1  Journal articles
Viet-Trung TranBogdan NicolaeGabriel Antoniu. Towards Scalable Array-Oriented Active Storage: the Pyramid Approach
Operating Systems Review, Association for Computing Machinery, 2012, 46 (1), pp.19-25. ⟨10.1145/2146382.2146387⟩
hal-01122069v1  Journal articles
Pierre TirillyVincent ClaveauPatrick Gros. From Text to Images: Weighting Schemes for Image Retrieval
Journal of Multimedia, Academy Publisher, 2015, 10 (1), pp.1-21. ⟨10.4304/jmm.10.01.1-21⟩
hal-01952037v1  Conference papers
Amin TimanyMatthieu Sozeau. Cumulative Inductive Types in Coq
FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.29⟩
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-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-01559073v6  Journal articles
Nicolas TabareauÉric TanterMatthieu Sozeau. Equivalences for Free
Proceedings of the ACM on Programming Languages, ACM, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
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⟩
in2p3-00535987v1  Journal articles
F. StivoliJ. GrainS. M. LeachMatthieu TristramC. Baccigalupi et al.  Maximum likelihood, parametric component separation and CMB B-mode detection in suborbital experiments
Monthly Notices of the Royal Astronomical Society, Oxford University Press (OUP): Policy P - Oxford Open Option A, 2010, 408, pp.2319-2335. ⟨10.1111/J.1365-2966.2010.17281.X⟩
hal-00661526v1  Conference papers
Nikolaos StefanakisJacques MarchalValentin EmiyaNancy BertinRémi Gribonval et al.  Sparse underwater acoustic imaging: a case study
IEEE International Conference on Acoustics, Speech, and Signal Processing, Mar 2012, Kyoto, Japan
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-02167423v1  Journal articles
Matthieu SozeauAbhishek AnandSimon BoulierCyril CohenYannick Forster et al.  The MetaCoq Project
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-019-09540-0⟩
inria-00179797v1  Conference papers
Julien SopenaLuciana ArantesMarin BertierPierre Sens. A fault-tolerant token-based mutual exclusion algorithm using a dynamic tree
Euro-Par 2005 - 11th European Conference on Parallel and Distributed Computing, Aug 2005, Lisboa, Portugal. pp.654-663, ⟨10.1007/11549468_72⟩
tel-01400369v1  Theses
Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
hal-01400359v1  Journal articles
Marco Solieri. Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, pp.1 - 43. ⟨10.1017/S0960129516000311⟩
hal-01857344v1  Books
Dan A. SimoviciChaabane Djeraba. Mathematical Tools for Data Mining - Set Theory, Partial Orders, Combinatorics
Springer, pp.616, 2008, Advanced Information and Knowledge Processing, 978-1-84800-200-5
hal-01343592v1  Reports
Marc ShapiroMasoud Saeida ArdekaniGustavo Petri. Consistency in 3D
[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
hal-01350668v1  Conference papers
Marc ShapiroMasoud Saeida ArdekaniGustavo Petri. Consistency in 3D
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
hal-01727207v1  Conference papers
Marc ShapiroAnnette BieniusaPeter ZellerGustavo Petri. Ensuring referential integrity under causal consistency
PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
hal-00650649v1  Conference papers
Eric SennJérémie GuillotDaniel ChilletCécile BelleudySmail Niar et al.  Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project
DATE 2011 - Design, Automation & Test in Europe, Mar 2011, Grenoble, France
inria-00477556v1  Conference papers
Sébastien SaudraisOlivier BaraisLaurence DuchienNoël Plouzeau. Intégration de propriétés temporelles dans des applications à base de composants
Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), 2007, Namur, Belgium, Belgique
hal-02446443v1  Conference papers
José RouillardPhilippe Truillet. Enhanced VoiceXML
HCI International, 2005, Las Vegas, United States
hal-01946996v1  Conference papers
Exequiel Rivas. Relating Idioms, Arrows and Monads from Monoidal Adjunctions
Seventh Workshop on Mathematically Structured Functional Programming- EPTCS, Jul 2018, Oxford, United Kingdom. pp.18-33
in2p3-00517912v1  Conference papers
B. Reichborn-KjennerudAsad AboobakerP. AdeF. AubinC. Baccigalupi et al.  EBEX: a balloon-borne CMB polarization experiment
Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy V, Jun 2010, San Diego, United States. pp.77411C, ⟨10.1117/12.857138⟩
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01890044v1  Conference papers
Yann Régis-GianasNicolas JeannerodRalf Treinen. Morbig: A Static Parser for POSIX Shell
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
hal-01191744v1  Conference papers
Nicolas RagotEric Anquetil. Modélisation automatique des connaissances par systèmes d'inférence floue hiérarchisés
Rencontres Francophones sur la Logique Floue et ses Applications (LFA'01), Nov 2001, Mons, Belgique. pp.105-111
hal-01191727v1  Conference papers
Nicolas RagotEric Anquetil. A Generic Hybrid Classifier Based on Hierarchical Fuzzy Modeling: Experiments on On-Line Handwritten Character Recognition
7th International Conference on Document Analysis and Recognition (ICDAR'03), Aug 2003, Edinburgh, United Kingdom. pp.963-967
hal-01191724v1  Conference papers
Nicolas RagotEric Anquetil. MELIDIS: Pattern recognition by intrinsic/discriminant dual modeling based on a hierarchical organization of fuzzy inference systems
10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU'04), Jul 2004, Pérouse, Italy. pp.2069-2076
hal-01191729v1  Conference papers
Nicolas RagotEric Anquetil. A new hybrid learning method for fuzzy decision trees
10th IEEE International Conference on Fuzzy Systems (FUZZ'IEEE 01), Dec 2001, Melbourne, Australia. pp.1380-1383
hal-01191742v1  Conference papers
Nicolas RagotEric Anquetil. Combinaison hiérarchique de systèmes d'inférence floue : application à la reconnaissance en-ligne de chiffres manuscrits
Conférence Internationale Francophone sur l'Écrit et le Document (CIFED'02), Oct 2002, Hammamet, Tunisie. pp.305-314
hal-01191664v1  Journal articles
Nicolas RagotEric Anquetil. Système de classification hybride interprétable par construction automatique de systèmes d'inférence floue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2003, n° spécial : Fusion numérique/symbolique, 22 (7-8), pp.853-878. ⟨10.3166/tsi.22.853-878⟩
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-01845363v1  Conference papers
Delphine PouxBenjamin AllaertJosé MennessonNacim IhaddadeneIoan Marius Bilasco et al.  Mastering Occlusions by Using Intelligent Facial Frameworks Based on the Propagation of Movement
International Conference on Content-Based Multimedia Indexing (CBMI), Sep 2018, La Rochelle, France
tel-01994139v1  Theses
Léo Planche. Décomposition de graphes en plus courts chemins et en cycles de faible excentricité
Mathématique discrète [cs.DM]. Paris Descartes, 2018. Français
inria-00425370v1  Book sections
Nadia PisantiMathieu GiraudPierre Peterlongo. Filters and seeds approaches for fast homology searches in large datasets
Mourad Elloumi and Albert Y. Zomaya. Algorithms in computational molecular biology, John Wiley & sons, 2010
hal-01104419v1  Conference papers
Bilal PiotMatthieu GeistOlivier Pietquin. Difference of Convex Functions Programming for Reinforcement Learning
Advances in Neural Information Processing Systems (NIPS 2014), Dec 2014, Montreal, Canada
hal-01515381v1  Journal articles
Jean-Marc PiersonJulien GossaPascal WehrleYonny CardenasEl Samad Mahmoud et al.  GGM Efficient Navigation and Mining in Distributed Geno-Medical Data
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2007, 2, 6, pp.110-116
hal-01502282v1  Conference papers
Jean-Marc PiersonLionel BrunieMaryvonne MiquelAnne TchounikineClarisse Dhaenens et al.  Grid for Geno-Medicine : A Glimpse on the project
BioGrid 05 (co-located with CCGrid 2005), May 2005, Cardiff, United Kingdom. pp.527-528
hal-01857392v1  Conference papers
Gregory Piatetsky-ShapiroRobert GrossmanChaabane DjerabaRonen FeldmanLise Getoor et al.  Is there a grand challenge or X-prize for data mining?
12th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD-2006), Aug 2006, Philadelphia, United States. pp.954-956 ⟨10.1145/1150402.1150535⟩
hal-02161283v1  Conference papers
Duc-Minh PhanLaurent Viennot. Fast Public Transit Routing with Unrestricted Walking through Hub Labeling
Special Event on Analysis of Experimental Algorithms (SEA2), Jun 2019, Kalamata, Greece
hal-01196493v1  Conference papers
Veronika PeraltaVirginie ThionZoubida KedadLaure Berti-ÉquilleIsabelle Comyn-Wattiau et al.  Multidimensional Management and Analysis of Quality Measures for CRM Applications in an Electricity Company
Proceedings of the International Conference on Information Quality (ICIQ), 2009, Potsdam, Germany
hal-01373411v3  Conference papers
Paolo PennaLaurent Viennot. Independent Lazy Better-Response Dynamics on Network Games
CIAC 2019 2019 : 11th International Conference on Algorithms and Complexity, May 2019, Rome, Italy
hal-01257348v1  Conference papers
Pierre-Marie PédrotAlexis Saurin. Classical by-need
European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
hal-01888596v1  Journal articles
Ludovic Patey. Ramsey-type graph coloring and diagonal non-computability
Archive for Mathematical Logic, Springer Verlag, 2015, 54 (7-8), pp.899 - 914. ⟨10.1007/s00153-015-0448-5⟩
tel-01888675v1  Theses
Ludovic Patey. The reverse mathematics of Ramsey-type theorems
Logic [math.LO]. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English
hal-01888620v1  Journal articles
Ludovic Patey. Open questions about Ramsey-type statements in reverse mathematics
Bulletin of Symbolic Logic, Association for Symbolic Logic, 2016, 22 (02), pp.151 - 169. ⟨10.1017/bsl.2015.40⟩
hal-01888614v1  Journal articles
Ludovic Patey. The strength of the tree theorem for pairs in reverse mathematics
The Journal of Symbolic Logic, Association for Symbolic Logic, 2016, 81 (04), pp.1481 - 1499. ⟨10.1017/jsl.2015.80⟩
hal-01888601v1  Journal articles
Ludovic Patey. Iterative forcing and hyperimmunity in reverse mathematics
Computability, IOS Press, 2017, 6 (3), pp.209 - 221. ⟨10.3233/COM-160062⟩
hal-01888582v1  Journal articles
Ludovic Patey. The complexity of satisfaction problems in reverse mathematics
Lecture Notes in Computer Science, Springer, 2015, 4 (1), pp.69-84
hal-01888599v1  Journal articles
Ludovic Patey. Degrees bounding principles and universal instances in reverse mathematics
Annals of Pure and Applied Logic, Elsevier Masson, 2015, 166 (11), pp.1165 - 1185. ⟨10.1016/j.apal.2015.07.003⟩
hal-01888606v1  Journal articles
Ludovic Patey. The weakness of being cohesive, thin or free in reverse mathematics
Israël Journal of Mathematics, Hebrew University Magnes Press, 2016, 216 (2), pp.905 - 955. ⟨10.1007/s11856-016-1433-3⟩
hal-00946329v1  Conference papers
Aline ParreauFrançois Clautiaux. Coloration bornée avec multiplicité
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France