Search - INRIA - Institut National de Recherche en Informatique et en Automatique

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-01906155v1 Preprints, Working Papers, ... Ran Chen, Cyril Cohen, Jean-Jacques Levy, Stephan Merz, Laurent Thery. Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle 2018
	hal-02301415v1 Conference papers Karim Hammoudi, Adnane Cabani, Mahmoud Melkemi, Halim Benhabiles, Feryal Windal. Towards a Model of Car Parking Assistance System Using Camera Networks: Slot Analysis and Communication Management 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS), Jun 2018, Exeter, United Kingdom. pp.1248-1255, ⟨10.1109/HPCC/SmartCity/DSS.2018.00210⟩
	hal-01964761v1 Conference papers Simon Collet, Pierre Fraigniaud, Paolo Penna. Equilibria of Games in Networks for Local Tasks OPODIS 2018 - 22nd International Conference on Principles of Distributed Systems, Dec 2018, Hong-Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
	hal-01845363v1 Conference papers Delphine Poux, Benjamin Allaert, José Mennesson, Nacim Ihaddadene, Ioan 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
	hal-01953778v2 Journal articles Lucas Boczkowski, Emanuele Natale, Ofer Feinerman, Amos Korman. Limits on reliable information flows through stochastic populations PLoS Computational Biology, Public Library of Science, 2018, 14 (6), ⟨10.1371/journal.pcbi.1006195⟩
	hal-01870620v1 Conference papers yoshinori Aono, Phong Q. Nguyen, yixin Shen. Quantum Lattice Enumeration and Tweaking Discrete Pruning Asiacrypt 2018 - the 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
	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
	tel-01887505v1 Theses Vitalii Aksenov. Synchronization Costs in Parallel Programs and Concurrent Data Structures Distributed, Parallel, and Cluster Computing [cs.DC]. ITMO University; Paris Diderot University, 2018. English
	hal-01738741v1 Poster communications yannick Barborini, Roberto Di Cosmo, Antoine R. Dumont, Morane Gruenpeter, Bruno P Marmol et al. The creation of a new type of scientific deposit: Software RDA Eleventh Plenary Meeting, Berlin, Germany, Mar 2018, Berlin, Germany. 2018
	hal-01510216v3 Journal articles François Fages, Thierry Martinez, David A Rosenblueth, Sylvain Soliman. Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, In press, PP (99), pp.1-14. ⟨10.1109/TCBB.2018.2805686⟩
	hal-01955263v1 Conference papers Victor Chepoi, Feodor F. Dragan, Michel Habib, yann Vaxès, Hend Alrasheed. Fast Approximation of Centrality and Distances in Hyperbolic Graphs COCOA 2018 - 12th Annual International Conference on Combinatorial Optimization and Applications, Dec 2018, Atlanta, United States. pp.1-23, ⟨10.1007/978-3-540-27836-8_101⟩
	hal-01956087v1 Reports Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet et al. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I) [Autre] CNRS. 2018, pp.1-87
	hal-01958152v1 Conference papers Lucas Boczkowski, Ofer Feinerman, Amos Korman, Emanuele Natale. Limits for Rumor Spreading in Stochastic Populations ITCS 2018 - 9th Innovations in Theoretical Computer Science Conference, Jan 2018, Cambridge, United States. pp.1-27
	hal-01958133v1 Conference papers Lucas Boczkowski, Amos Korman, yoav Rodeh. Searching a Tree with Permanently Noisy Advice ESA 2018 - 26th Annual European Symposium on Algorithms, Aug 2018, Helsinki, Finland. pp.1-32, ⟨10.4230/LIPIcs.ESA.2018.54⟩
	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-02397143v1 Poster communications François Boulier, Francois Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert et al. The SYMBIONT Project: Symbolic Methods for Biological Networks ISSAC 2018, Jul 2018, New York City, NY, United States
	hal-01882395v1 Journal articles Pierre Aboulker, Jørgen Bang-Jensen, Nicolas Bousquet, Pierre Charbit, Frédéric Havet et al. χ-bounded families of oriented graphs Journal of Graph Theory, Wiley, 2018, 89 (3), pp.304 - 326. ⟨10.1002/jgt.22252⟩
	tel-01963290v1 Theses Lucas Boczkowski. Search and broadcast in stochastic environments, a biological perspective. Computer Science [cs]. Université Paris 7, 2018. English
	hal-01963249v1 Conference papers Adrian Kosowski, Przemysław Uznanski. Ergodic Effects in Token Circulation SODA '18 - Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2018, New Orleans, United States. pp.2668-2682
	hal-01962198v1 Conference papers Marthe Bonamy, Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé. EPTAS for Max Clique on Disks and Unit Balls FOCS: Foundations of Computer Science, Oct 2018, Paris, France. ⟨10.4230/LIPIcs⟩
	hal-01947855v1 Book sections Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer. On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony International Conference on Computer Aided Verification, CAV 2018: Computer Aided Verification, Springer International Publishing, pp.372-391, 2018
	hal-01890044v1 Conference papers yann Régis-Gianas, Nicolas Jeannerod, Ralf 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-01870352v1 Journal articles Pascal Pujol, Pierre Vande Perre, Laurence Faivre, Damien Sanlaville, Carole Corsini et al. Guidelines for reporting secondary findings of genome sequencing in cancer genes: the SFMPP recommendations European Journal of Human Genetics, Nature Publishing Group, 2018, 26 (12), pp.1732-1742. ⟨10.1038/s41431-018-0224-1⟩
	hal-01964771v1 Conference papers Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, Mor Perry. Redundancy in Distributed Proofs 32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
	hal-01964773v1 Journal articles Pierre Fraigniaud, Juho Hirvonen, Jukka Suomela. Node labels in local decision Theoretical Computer Science, Elsevier, 2018, 751, pp.61-73
	hal-01962369v1 Conference papers Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé, Rémi Watrigant. Parameterized Complexity of Independent Set in H-free graphs IPEC 2018 - 13th International Symposium on Parameterized and Exact Computation, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.CVIT.2016.23⟩
	hal-01671948v1 Conference papers Abhishek Anand, Simon Boulier, Nicolas Tabareau, Matthieu Sozeau. Typed Template Coq -- Certified Meta-Programming in Coq CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2
	hal-01799712v1 Conference papers Thomas Letan, yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet. Modular Verification of Programs with Effects and Effect Handlers in Coq FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩
	hal-01882069v1 Journal articles Gabriele d'Angelo, Angelo Di Iorio, Stefano 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-02399102v1 Journal articles Angus G. Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre 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-01962663v1 Journal articles Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F Medina-Abarca, Jean Krivine et al. The Kappa platform for rule-based modeling Bioinformatics, Oxford University Press (OUP), 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
	hal-01952037v1 Conference papers Amin Timany, Matthieu 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-01559073v6 Journal articles Nicolas Tabareau, Éric Tanter, Matthieu Sozeau. Equivalences for Free Proceedings of the ACM on Programming Languages, ACM, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
	hal-01679682v1 Preprints, Working Papers, ... Pierre-Louis Curien, Jovana Obradovic. Categorified cyclic operads 2018
	hal-01890511v1 Journal articles Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, yann Régis-Gianas, Derek 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-01897251v1 Journal articles yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie et al. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology Journal of Automated Reasoning, Springer Verlag, 2018, ⟨10.1007/s10817-018-9489-x⟩
	hal-01955837v1 Conference papers Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta 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-01868778v1 Preprints, Working Papers, ... yacine Boufkhad, Leonardo Linguaglossa, Fabien Mathieu, Diego Perino, Laurent Viennot. Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets 2018
	hal-01688726v1 Poster communications yannick Barborini, Roberto Di Cosmo, Antoine R. Dumont, Morane Gruenpeter, Bruno P Marmol et al. La création du nouveau type de dépôt scientifique - Le logiciel JSO 2018 - 7es journées Science Ouverte Couperin : 100 % open access : initiatives pour une transition réussie, Jan 2018, Paris, France. 2018
	hal-01897572v1 Software yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
	tel-01890983v1 Theses Guillaume Claret. Program in Coq Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2018. English
	hal-01958194v1 Preprints, Working Papers, ... Laurent Feuilloley, Michel Habib. Graph classes and forbidden patterns on three vertices 2018
	hal-02128493v1 Other publications Jean-Paul Delahaye, Michèle Leduc, Nathalie Nevejans, Lucienne Letellier, Patrice Debre et al. COMETS AVIS 2018-36 - Le harcèlement sexuel dans les laboratoires : quelques considérations éthiques 2018
	hal-01729748v1 Reports Feodor F. Dragan, Michel Habib, Laurent Viennot. Revisiting Radius, Diameter, and all Eccentricity Computation in Graphs through Certificates [Research Report] Inria Paris; Université paris diderot; Kent State University. 2018
	hal-01727207v1 Conference papers Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo 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-01946918v2 Preprints, Working Papers, ... Cédric Ho Thanh. The equivalence between many-to-one polygraphs and opetopic sets 2018
	tel-01962784v1 Theses Laurent Feuilloley. Local certification in distributed computing: error-sensitivity, uniformity, redundancy, and interactivity Computer Science [cs]. Université paris diderot, 2018. English
	hal-01992148v1 Journal articles Paul-André Melliès, Nicolas Tabareau, Christine Tasson. An explicit formula for the free exponential modality of linear logic Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
	hal-01662127v1 Journal articles Maxime Lucas. Cubical (ω,p)-categories Higher Structures, Macquarie University 2018
	hal-01783769v1 Conference papers Simon Collet, Amos Korman. Intense Competition can Drive Selfish Explorers to Optimize Coverage SPAA, Jul 2018, Vienna, Austria
	hal-02157125v1 Journal articles Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli. Building the Universal Archive of Source Code A global collaborative project for the benefit of all Communications of the ACM, Association for Computing Machinery, 2018, 61 (10), pp.29-31. ⟨10.1145/3183558⟩
	hal-01888655v1 Journal articles Ludovic Patey, Keita yokoyama. The proof-theoretic strength of Ramsey's theorem for pairs and two colors Advances in Mathematics, Elsevier, 2018, 330, pp.1034 - 1070. ⟨10.1016/j.aim.2018.03.035⟩
	hal-00932845v2 Journal articles yves Guiraud, Philippe Malbos. Polygraphs of finite derivation type Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (2), pp.155-201. ⟨10.1017/S0960129516000220⟩
	hal-01955582v1 Conference papers Lucas Boczkowski, Brieuc Guinard, Amos Korman, Zvi Lotker, Marc Renault. Random Walks with Multiple Step Lengths LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Apr 2018, Buenos Aires, Argentina. pp.174-186
	hal-01954564v1 Software The Coq Development Team. The Coq Proof Assistant, version 8.8.0 2018
	hal-01865469v1 Preprints, Working Papers, ... Pierre Fraigniaud, Amos Korman, yoav Rodeh. Parallel Bayesian Search with no Coordination 2018
	hal-01903098v1 Conference papers Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua ye. Secure Joins with MapReduce FPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada
	hal-01955902v1 Conference papers Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa. The Assignment Problem International Conference on Distributed Computing and Networking, , 2018, Varanasi, India
	hal-01955906v1 Journal articles Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel 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⟩
	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
	hal-01825477v1 Conference papers Rémi Nollet, Alexis Saurin, Christine Tasson. Local validity for circular proofs in linear logic with fixed points: extended version Computer Science Logic, Sep 2018, Birmingham, United Kingdom
	hal-01717940v2 Preprints, Working Papers, ... Alain Rakotomamonjy, Abraham Traoré, Maxime Berar, Rémi Flamary, Nicolas Courty et al. Dissimilarity Measure Machines 2018
	hal-01809681v1 Conference papers Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau. Towards Certified Meta-Programming with Typed Template-Coq ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩
	hal-01831369v2 Software Thibaut Girka, yann Régis-Gianas. Correlating Oracles 2018, ⟨swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002;origin=https://hal.archives-ouvertes.fr/hal-01831369;visit=swh:1:snp:42f0897956e700a23f5b8aafce43360b8699c0f1;anchor=swh:1:rev:698771f9ca7ce7605fdcabf27b5851f322ea692c;path=/⟩
	hal-01767807v1 Conference papers Bohao Huang, Kangkang Lu, Nicolas Audebert, Andrew Khalel, yuliya Tarabalka et al. Large-scale semantic classification: outcome of the first year of Inria aerial image labeling benchmark IGARSS 2018 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2018, Valencia, Spain. pp.1-4, ⟨10.1109/IGARSS.2018.8518525⟩
	hal-01960756v1 Conference papers Divesh Aggarwal, Antoine Joux, Anupam Prakash, Miklos Santha. A New Public-Key Cryptosystem via Mersenne Numbers Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482
	hal-01919514v1 Journal articles Tiago Carneiro Pessoa, Jan Gmys, Francisco Heron de Carvalho Junior, Nouredine Melab, Daniel Tuyttens. GPU-accelerated backtracking using CUDA dynamic parallelism Concurrency and Computation: Practice and Experience, Wiley, 2018, 30 (9), ⟨10.1002/cpe.4374⟩
	tel-01890508v1 Theses Thibaut Girka. Differential program semantics Programming Languages [cs.PL]. Université Paris Diderot, 2018. English
	hal-01955233v1 Journal articles Michel Habib, Lhouari Nourine. Representation of lattices via set-colored posets Discrete Applied Mathematics, Elsevier, 2018, 249, pp.64-73. ⟨10.1016/j.dam.2018.03.068⟩
	hal-01897456v1 Conference papers Paul Laforgue, yann Régis-Gianas. OCaml étendu avec du filtrage par comotifs JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls sur mer, France
	hal-01936141v1 Conference papers Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner. Tight typings and split bounds 23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩
	hal-01503359v3 Conference papers Bartlomiej Dudek, Adrian Kosowski. Universal Protocols for Information Dissemination Using Emergent Signals STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, ACM, 2018, Los Angeles, United States. pp.87-99, ⟨10.1145/3188745.3188818⟩
	hal-01831364v1 Software Thibaut Girka. correlating_program 2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
	hal-01964759v1 Conference papers Chen Avin, Avi Cohen, Pierre Fraigniaud, Zvi Lotker, David Peleg. Preferential Attachment as a Unique Equilibrium World Wide Web Conference (WWW), 2018, Lyon, France. pp.559-568, ⟨10.1145/3178876.3186122⟩
	hal-01964764v1 Journal articles Alkida Balliu, Gianlorenzo D 'Angelo, Pierre Fraigniaud, Dennis Olivetti. What Can Be Verified Locally? Journal of Computer and System Sciences, Elsevier, 2018
	hal-01939906v1 Journal articles Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal. Goodwillie's calculus of functors and higher topos theory Journal of topology, Oxford University Press, 2018, 11 (4), pp.1100-1132. ⟨10.1112/topo.12082⟩
	hal-01624839v2 Conference papers Étienne Miquey, Hugo Herbelin. Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control FOSSACS 18 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessalonique, Greece. pp.276-292, ⟨10.1007/978-3-319-89366-2_15⟩
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :