Skip to Main content Skip to Navigation

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-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-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-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-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-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-00838788v1  Conference papers
Amel BennaceurChris ChiltonMalte IsbernerBengt Jonsson. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
SEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain
hal-01434325v1  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 2017, Saint Petersburg, United States. pp.400-415, ⟨10.1145/nnnnnnn.nnnnnnn⟩
hal-00919467v1  Preprints, Working Papers, ...
Gilles DowekYing Jiang. A Logical Approach to CTL
inria-00174077v1  Journal articles
Fabrice RossiAmaury LendasseDamien FrançoisVincent WertzMichel Verleysen. Mutual information for the selection of relevant variables in spectrometric nonlinear modelling
Chemometrics and Intelligent Laboratory Systems / I Mathematical Background Chemometrics Intell Lab Syst, 2006, 80 (2), pp.215-226. ⟨10.1016/j.chemolab.2005.06.010⟩
hal-00776876v1  Conference papers
Thomas BraibantAdam Chlipala. Formal Verification of Hardware Synthesis
Computer Aided Verification - 25th International Conference, Jul 2013, Saint Petersburg, Russia. pp.213-228, ⟨10.1007/978-3-642-39799-8_14⟩
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-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-02425974v1  Conference papers
Neil CammardellaAna BušicYuting JiSean Meyn. Kullback-Leibler-Quadratic Optimal Control of Flexible Power Demand
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
hal-00966501v1  Journal articles
Philippe DumasHelger LipmaaJohan Wallén. Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2007, 9 (1), pp.247--272
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
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-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-01700786v1  Journal articles
Jordan AugeGiovanna CarofiglioGiulio GrassiLuca MuscarielloGiovanni Pau et al.  MAP-Me: Managing Anchor-less Producer Mobility in Content-Centric Networks
IEEE Transactions on Network and Service Management, IEEE, 2018, 15 (2), pp.596-610. ⟨10.1109/TNSM.2018.2796720⟩
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
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⟩