76 results  save search


...
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-01251194v1  Conference papers
Cezara DrăgoiThomas HenzingerDamien Zufferey. The Need for Language Support for Fault-tolerant Distributed Systems
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. pp.90-102, ⟨10.4230/LIPIcs.SNAPL.2015.90 ⟩
...
hal-01251199v1  Conference papers
Cezara DrăgoiThomas HenzingerDamien Zufferey. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩
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
...
hal-02430070v1  Conference papers
Guillaume BaudartLouis MandelMarc PouzetEric AtkinsonBenjamin Sherman et al.  Programmation d'Applications Réactives Probabilistes
JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-00839625v1  Journal articles
Carole Delporte-GalletHugues FauconnierRachid GuerraouiAnne-Marie KermarrecEric Ruppert et al.  Byzantine agreement with homonyms
Distributed Computing, Springer Verlag, 2013, 26 (5-6), pp.321-340. ⟨10.1007/s00446-013-0190-3⟩
...
hal-01252138v1  Conference papers
Guillaume BurelGilles DowekYing Jiang. A Completion Method to Decide Reachability in Rewrite Systems
International Symposium on Frontiers of Combining Systems FroCoS'15, Sep 2015, Wroclaw, Poland. pp.205-219, ⟨10.1007/978-3-319-24246-0_13⟩
...
hal-01252135v1  Conference papers
Gilles DowekYing Jiang. Decidability, Introduction Rules and Automata
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Bula, Fiji. ⟨10.1007/978-3-662-48899-7_8⟩
...
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-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⟩
...
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-00763495v1  Conference papers
Frédéric BlanquiKim Quyen Ly. Automated verification of termination certificates
15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
hal-01111635v1  Conference papers
Jean-Paul DegabrieleAnja LehmannKenneth G. PatersonNigel P. SmartMario Strefler. On the Joint Security of Encryption and Signature in EMV
CT-RSA 2012 - The Cryptographers’ Track at the RSA Conference, Feb 2012, San Francisco, CA, United States. pp.116-135, ⟨10.1007/978-3-642-27954-6_8⟩
...
hal-01411910v1  Poster communications
Vasilis EfthymiouKostas StefanidisVassilis Christophides. Minoan ER: Progressive Entity Resolution in the Web of Data
19th International Conference on Extending Database Technology, EDBT 2016, Mar 2016, Bordeaux, France. 2016, ⟨10.5441/002/edbt.2016.79⟩
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⟩
...
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-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-00717714v1  Conference papers
David BuchmanMark SchmidtShakir MohamedDavid PooleNando de Freitas. On Sparse, Spectral and Other Parameterizations of Binary Probabilistic Models
AISTATS 2012 - 15th International Conference on Artificial Intelligence and Statistics, Apr 2012, La Palma, Spain
hal-00915836v1  Conference papers
Michel AbdallaMihir BellareGregory Neven. Robust Encryption
TCC 2010, Feb 2010, Zurich, Switzerland. pp.480-497, ⟨10.1007/978-3-642-11799-2_28⟩
hal-00915848v1  Journal articles
Michel AbdallaJames BirkettDario CatalanoAlexander W. DentJohn Malone-Lee et al.  Wildcarded Identity-Based Encryption
Journal of Cryptology, Springer Verlag, 2011, 24 (1), pp.42-82. ⟨10.1007/s00145-010-9060-3⟩
...
hal-01526713v2  Directions of work or proceedings
Pierre AlliezLaurent BergerotJean-François BernardClotilde BoustGeorge Bruseker et al.  Digital 3D Objects in Art and Humanities: challenges of creation, interoperability and preservation. White paper
PARTHENOS. Digital 3D Objects in Art and Humanities: challenges of creation, interoperability and preservation, Nov 2016, Bordeaux, France. pp.71, 2017
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⟩
inria-00528319v1  Conference papers
Vincent DanosJérôme FeretWalter FontanaRuss HarmerJean Krivine. Investigation of a biological repair scheme
the 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩