Skip to Main content Skip to Navigation


...
hal-01312248v1  Conference papers
Xueguang WuLiqian ChenAntoine MinéWei DongJi Wang. Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
EMSOFT 2015 - International Conference on Embedded Software, Oct 2015, Amsterdam, Netherlands. pp.55-64, ⟨10.1109/EMSOFT.2015.7318260⟩
...
hal-01053935v1  Conference papers
Tuan-Hung VuCatherine OlssonIvan LaptevAude OlivaJosef Sivic. Predicting Actions from Static Scenes
ECCV'14 - 13th European Conference on Computer Vision, Sep 2014, Zurich, Switzerland. pp.421-436, ⟨10.1007/978-3-319-10602-1_28⟩
...
hal-01100675v1  Conference papers
Srikanth SundaresanNick FeamsterRenata Teixeira. Measuring the Performance of User Traffic in Home Wireless Networks
Passive and Active Network Measurement Conference, Mar 2015, New York, United States
...
hal-01294924v1  Conference papers
Srikanth SundaresanNick FeamsterRenata Teixeira. Home Network or Access Link? Locating Last-Mile Downstream Throughput Bottlenecks
PAM 2016 - Passive and Active Measurement Conference, Mar 2016, Heraklion, Greece. pp.111-123, ⟨10.1007/978-3-319-30505-9_9⟩
...
hal-01891762v1  Conference papers
William SchuellerVittorio LoretoPierre-Yves Oudeyer. Complexity Reduction in the Negotiation of New Lexical Conventions
40th Annual Conference of the Cognitive Science Society (CogSci 2018), Jul 2018, Madison, WI, United States
...
hal-00723754v1  Journal articles
Ina SchaeferRick RabiserDavid ClarkeLorenzo BettiniDavid Benavides et al.  Software diversity: state of the art and perspectives
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (5), pp.477-495. ⟨10.1007/s10009-012-0253-y⟩
...
hal-00793610v1  Journal articles
Pierre-Yves OudeyerFrédéric KaplanVéréna Hafner. Intrinsic Motivation for Autonomous Mental Development
IEEE Transactions on Evolutionary Computation, Institute of Electrical and Electronics Engineers, 2007, 11 (2), pp.265-286. ⟨10.1109/TEVC.2006.890271⟩
hal-00818204v1  Books
Pierre-Yves Oudeyer. Self-Organization in the Evolution of Speech
Oxford University Press, 6, pp.177, 2006, Studies in the Evolution of Language, 978-0-19-928915-8. ⟨10.1093/acprof:oso/9780199289158.001.0001⟩
hal-01256013v1  Conference papers
Phong Q. NguyenJiang ZhangZhenfeng Zhang. Simpler Efficient Group Signatures from Lattices
Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, IACR, Mar 2015, Gaithersburg, United States. ⟨10.1007/978-3-662-46447-2_18⟩
inria-00527981v1  Book sections
Elaine MurphyVincent DanosJérôme FeretJean KrivineRuss Harmer. Rule Based Modeling and Model Refinement
H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩
...
hal-01390478v1  Journal articles
Tobias MarschallManja MarzThomas AbeelLouis DijkstraBas E. Dutilh et al.  Computational pan-genomics: status, promises and challenges
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (1), pp.118-135. ⟨10.1093/bib/bbw089⟩
hal-00880345v1  Journal articles
Marc F LensinkAiain H. MoalPaul A. BatesPanagiotis L. KastritisAdrien S. J. Melquiond et al.  Blind prediction of interfacial water positions in CAPRI
Proteins - Structure, Function and Bioinformatics, Wiley, 2014, 82 (4), pp.620-632. ⟨10.1002/prot.24439⟩
hal-00917425v1  Conference papers
Marc LelargeLaurent MassouliéJiaming Xu. Reconstruction in the Labeled Stochastic Block Model
IEEE Information Theory Workshop, Sep 2013, Seville, Spain
...
hal-01338726v1  Conference papers
Michalis KatsarakisRenata TeixeiraMaria PapadopouliVassilis Christophides. Towards a Causal Analysis of Video QoE from Network and Application QoS
ACM SIGCOMM Workshop on QoE-based Analysis and Management of Data Communication Networks (Internet-QoE 2016), Aug 2016, Florianopolis, Brazil. ⟨10.1145/2940136.2940142⟩
...
hal-01970274v1  Journal articles
Ying JiangJian LiuGilles DowekKailiang Ji. Towards Combining Model Checking and Proof Checking
The Computer Journal, Oxford University Press (UK), In press, ⟨10.1093/comjnl/bxy112⟩
hal-00904144v1  Conference papers
Philippe JacquetDimitrios MiliorisWojciech Szpankowski. Classification of Markov Sources Through Joint String Complexity: Theory and Experiments
IEEE International Symposium on Information Theory, Jul 2013, Istanbul, Turkey
...
inria-00392809v1  Conference papers
Valérie IssarnyBernhard SteffenBengt JonssonGordon BlairPaul Grace et al.  CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
14th IEEE International Conference on Engineering of Complex Computer Systems, Jun 2009, Postdam, Germany. pp.154-161, ⟨10.1109/ICECCS.2009.44⟩
hal-01411848v1  Journal articles
Zeinab HmedehHarry KourdounakisVassilis ChristophidesCédric Du MouzaMichel Scholl et al.  Content-Based Publish/Subscribe System for Web Syndication
Journal of Computer Science and Technology, Springer Verlag, 2016, 31, pp.359 - 380. ⟨10.1007/s11390-016-1632-8⟩