184 results  save search


  • 1
  • 2
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-01352610v1  Journal articles
Nicolas DerocheMathieu Giraud. Symbiologik : jouez avec les gènes
Interstices, INRIA, 2006
...
hal-00738209v2  Journal articles
Olivier CappéAurélien GarivierOdalric-Ambrym MaillardRémi MunosGilles Stoltz. Kullback-Leibler Upper Confidence Bounds for Optimal Sequential Allocation
Annals of Statistics, Institute of Mathematical Statistics, 2013, 41 (3), pp.1516-1541
...
hal-01141226v2  Journal articles
Patrick DehornoyYves Guiraud. Quadratic normalisation in monoids
International Journal of Algebra and Computation, World Scientific Publishing, 2016, 26 (5), pp.935-972. ⟨10.1142/S0218196716500399⟩
hal-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydeFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
hal-01964773v1  Journal articles
Pierre FraigniaudJuho HirvonenJukka Suomela. Node labels in local decision
Theoretical Computer Science, Elsevier, 2018, 751, pp.61-73
...
inria-00564611v1  Journal articles
David CacheraThomas JensenDavid PichardieVlad Rusu. Extracting a data flow analyser in constructive logic
Theoretical Computer Science, Elsevier, 2005, 342 (1)
...
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-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-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-00910722v1  Journal articles
Nicolas HadererChristophe RibeiroRomain RouvoySimon CharneauVassili Rivron et al.  Le capteur, c'est vous !
L'Usine Nouvelle, L'Usine Nouvelle, 2013, pp.74-75
...
inria-00522937v2  Journal articles
Ioan Ovidiu HupcaJoel FalcouLaura GrigoriR. Stompor. Spherical harmonic transform with GPUs
Workshop on High Performance Scientific Software, LNCS, 2011, pp.20
...
hal-01337192v1  Journal articles
Flavien BreuvartGiulio ManzonettoAndrew PolonskyDomenico Ruoppolo. New Results on Morris's Observational Theory
Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩
...
hal-01111677v1  Journal articles
Afifa DahmaneSlimane LarabiIoan Marius BilascoChaabane Djeraba. Head Pose Estimation Based on Face Symmetry Analysis
Signal, Image and Video Processing, Springer Verlag, 2015, 9 (8), pp.1871-1880. ⟨10.1007/s11760-014-0676-x⟩
...
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-01953783v1  Journal articles
Amos KormanYoav Rodeh. The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback
ACM Transactions on Algorithms, Association for Computing Machinery, 2018, 14 (4), pp.1-23
...
hal-00979691v4  Journal articles
Petra BerenbrinkRalf KlasingAdrian KosowskiFrederik Mallmann-TrennPrzemyslaw Uznanski. Improved Analysis of Deterministic Load-Balancing Schemes
ACM Transactions on Algorithms, Association for Computing Machinery, 2019, 15 (1), pp.Art.10. ⟨10.1145/3282435⟩
...
inria-00538476v1  Journal articles
Naouel MohaYann-Gaël GuéhéneucLaurence DuchienAnne-Françoise Le Meur. DECOR: A Method for the Specification and Detection of Code and Design Smells
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36, X-Country = US, X-Editorial-Board = yes, X-International-Audience = yes, X-Language = EN, X-Pays (1), pp.20--36
...
hal-00550056v1  Journal articles
Abdoulaye GamatiéThierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. ⟨10.1109/TPDS.2009.125⟩
...
hal-01084986v1  Journal articles
Antoine BonnefoyValentin EmiyaLiva RalaivolaRémi Gribonval. Dynamic Screening: Accelerating First-Order Algorithms for the Lasso and Group-Lasso
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2015, 63 (19), pp.20. ⟨10.1109/TSP.2015.2447503⟩
...
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⟩
...
inria-00088006v1  Journal articles
Teddy FuronFrançois CayreCaroline Fontaine. Watermarking security: theory and practice
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2005, Supplement on secure media III, 53 (10), pp.3976-3987
hal-02399102v1  Journal articles
Angus ForbesAndrew BurksKristine LeeXing LiPierre Boutillier et al.  Dynamic Influence Networks for Rule-Based Models
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
...
hal-01247495v1  Journal articles
Luca CaviglioneMauro GaggeroJean-François LalandeWojciech MazurczykMarcin Urbanski. Seeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2016, 11 (4), pp.799-810. ⟨10.1109/TIFS.2015.2510825⟩
inria-00522794v1  Journal articles
Abdoulaye GamatiéThierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. ⟨10.1109/TPDS.2009.125⟩
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-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-01416509v1  Journal articles
Carole Delporte-GalletHugues Fauconnier. Asynchronous Consensus with Bounded Memory.
Lecture Notes in Computer Science, Springer, 2016, Networked Systems, 9944, pp.15. ⟨10.1007/978-3-319-46140-3_12⟩
...
hal-00541523v1  Journal articles
Abdoulaye GamatiéThierry GautierPaul Le Guernic. Synchronous design of avionic applications based on model refinements
Journal of Embedded Computing (IOS Press), IOS Press, 2006, 2 (3-4), pp.273-289
hal-00717956v1  Journal articles
Andreas ClassenMaxime CordyPatrick HeymansPierre-Yves SchobbensAxel Legay. Model Checking for Software Product Lines with SNIP
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, ⟨10.1007/s10009-012-0234-1⟩
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-01278214v1  Journal articles
Pierre-Louis CurienJovana Obradovic. A formal language for cyclic operads
Higher Structures, Michael Batanin, 2017
...
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
...
hal-01882069v1  Journal articles
Gabriele d'AngeloAngelo Di IorioStefano Zacchiroli. Spacetime Characterization of Real-Time Collaborative Editing
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2018, CSCW, 2, pp.1-19. ⟨10.1145/3274310⟩
hal-01674623v1  Journal articles
Pierre FraigniaudAndrzej Pelc. Decidability classes for mobile agents computing
Journal of Parallel and Distributed Computing, Elsevier, 2017, 109, pp.117-128. ⟨10.1016/j.jpdc.2017.04.003⟩
...
hal-01859964v2  Journal articles
Gaëtan GilbertJesper CockxMatthieu SozeauNicolas Tabareau. Definitional Proof-Irrelevance without K
Proceedings of the ACM on Programming Languages, ACM, 2019, POPL'19, pp.1-28. ⟨10.1145/329031610.1145/3290316⟩
...
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-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
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-02423453v1  Journal articles
Victor ChepoiFeodor DraganMichel HabibYann VaxèsHend Alrasheed. Fast approximation of eccentricities and distances in hyperbolic graphs
Journal of Graph Algorithms and Applications, Brown University, 2019, 23 (2), pp.393-433. ⟨10.7155/jgaa.00496⟩
...
hal-01964764v1  Journal articles
Alkida BalliuGianlorenzo D 'AngeloPierre FraigniaudDennis Olivetti. What Can Be Verified Locally?
Journal of Computer and System Sciences, Elsevier, 2018
...
hal-01888750v1  Journal articles
Damir DzhafarovLudovic PateyReed SolomonLinda Brown Westrick. Ramsey's theorem for singletons and strong computable reducibility
Proceedings of the American Mathematical Society, American Mathematical Society, 2017, 145 (3), pp.1343 - 1355. ⟨10.1090/proc/13315⟩
hal-02433486v1  Journal articles
Pierre FraigniaudDennis Olivetti. Distributed Detection of Cycles
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2019, 6 (3), pp.1-20. ⟨10.1145/3322811⟩
inria-00548380v1  Journal articles
Stefan CarlssonRoger MohrLuce MorinCharlie RothwellMarc van Diest et al.  Semi-Local Projective Invariants for the Recognition of Smooth Plane Curves
International Journal of Computer Vision, Springer Verlag, 1996, 19 (3), pp.211--236. ⟨10.1007/BF00055145⟩
hal-00811595v1  Journal articles
Perrouin GillesGilles VanwormhoudtBrice MorinPhilippe LahireOlivier Barais et al.  Weaving Variability into Domain Metamodels
Software and Systems Modeling, Springer Verlag, 2012, 11 (3), pp.361-383. ⟨10.1007/s10270-010-0186-4⟩
...
hal-01962663v1  Journal articles
Pierre BoutillierMutaamba MaashaXing LiHéctor Medina-AbarcaJean Krivine et al.  The Kappa platform for rule-based modeling
Bioinformatics, Oxford University Press (OUP), 2018, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
...
hal-02430756v1  Journal articles
Etienne BirmeléFabien de MontgolfierLéo Planche. On the Minimum Eccentricity Isometric Cycle Problem
Electronic Notes in Theoretical Computer Science, Elsevier, 2019, 346, pp.159-169. ⟨10.1016/j.entcs.2019.08.015⟩
hal-01416026v1  Journal articles
Jurek CzyzowiczDariusz DereniowskiLeszek GąsieniecRalf KlasingAdrian Kosowski et al.  Collision-Free Network Exploration
Journal of Computer and System Sciences, Elsevier, 2017, 86, pp.70-81. ⟨10.1016/j.jcss.2016.11.008⟩
hal-01415102v1  Journal articles
Dariusz DereniowskiAdrian KosowskiDominik PająkPrzemyslaw Uznanski. Bounds on the cover time of parallel rotor walks
Journal of Computer and System Sciences, Elsevier, 2016, 82 (5), pp.802 - 816. ⟨10.1016/j.jcss.2016.01.004⟩
...
hal-01673378v1  Journal articles
Daniel de Rauglaudre. Formal Proof of Banach-Tarski Paradox
Journal of Formalized Reasoning, ASDD-AlmaDL, 2017, 10 (1), pp.37-49. ⟨10.6092/issn.1972-5787/6927⟩
...
inria-00191112v1  Journal articles
Denis BéchetAnnie ForetIsabelle Tellier. Learnability of Pregroup Grammars
Studia Logica, Springer Verlag (Germany), 2007, pp.225-252
inria-00471153v1  Journal articles
Sebastien HillaireAnatole LécuyerRémi CozotGéry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2008
...
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-00795173v1  Journal articles
Nathalie MittonBruno SericolaSébastien TixeuilEric FleuryIsabelle Guérin-Lassous. Self-stabilization in Self-organized Multihop Wireless Networks
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2011, 11 (1-2), pp.1-34
...
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-01108987v1  Journal articles
Olivier LézorayChristophe CharrierHubert CardotSébastien Lefèvre. Machine Learning in Image Processing - Special Issue Editorial
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2008, 927950, pp.2. ⟨10.1155/2008/927950⟩
hal-02351345v1  Journal articles
Pierre FraigniaudAmos KormanYoav Rodeh. Parallel Bayesian Search with No Coordination
Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66 (3), pp.1-28. ⟨10.1145/3304111⟩
hal-02433483v1  Journal articles
Pierre FraigniaudAmos KormanYoav Rodeh. Parallel Bayesian Search with No Coordination
Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66 (3), pp.1-28. ⟨10.1145/3304111⟩
hal-01955906v1  Journal articles
Carole Delporte-GalletHugues FauconnierSergio RajsbaumMichel Raynal. Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2018, 29 (9), pp.2033-2045. ⟨10.1109/TPDS.2018.2809551⟩
...
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-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⟩
...
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⟩
inria-00120240v1  Journal articles
Manuel DavySimon J. GodsillJérôme Idier. Bayesian Analysis of Polyphonic western tonal Music
Journal of the Acoustical Society of America, Acoustical Society of America, 2006, 119 (4), pp.2498-2517
...
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-02484741v1  Journal articles
Daniel KlionskyKotb AbdelmohsenAkihisa AbeMd Joynal AbedinHagai Abeliovich et al.  Erratum
Autophagy, Taylor & Francis, 2015, 12 (2), pp.443-443. ⟨10.1080/15548627.2016.1147886⟩
inria-00522799v1  Journal articles
Abdoulaye GamatiéThierry GautierPaul Le GuernicJean-Pierre Talpin. Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2007, 16 (2), ⟨10.1145/1217295.1217298⟩
...
inria-00271646v1  Journal articles
Mathieu GiraudPhilippe VeberDominique Lavenier. Path-equivalent developments in acyclic weighted automata
International Journal of Foundations of Computer Science, World Scientific Publishing, 2007, 18 (4), pp.799-812. ⟨10.1142/S012905410700498X⟩
  • 1
  • 2