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⟩