Skip to Main content Skip to Navigation

hal-01990304v1  Journal articles
Pierre AboulkerZhentao LiStéphan Thomassé. Excluding clocks
Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108
hal-01810436v1  Journal articles
Stanislas ChambonMathieu GaltierPierrick ArnalGilles WainribAlexandre Gramfort. A deep learning architecture for temporal sleep stage classification using multivariate and multimodal time series
IEEE Transactions on Neural Systems and Rehabilitation Engineering, Institute of Electrical and Electronics Engineers, 2018, 26 (4), pp.17683810. ⟨10.1109/TNSRE.2018.2813138⟩
inria-00377394v1  Journal articles
Emmanuel PradosFabio CamilliOlivier Faugeras. A viscosity solution method for Shape-From-Shading without image boundary data
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2006, 40 (2), pp.393--412
inria-00548505v1  Conference papers
Jean PonceKenton Mc HenryThéodore PapadopouloMonique TeillaudBill Triggs. On the Absolute Quadratic Complex and its Application to Autocalibration
IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05), Jun 2005, San Diego, United States. pp.780--787, ⟨10.1109/CVPR.2005.256⟩
hal-02899464v1  Conference papers
Camille BourgauxAna OzakiRafael PeñalozaLivia Predoiu. Provenance for the Description Logic ELHr
IJCAI-PRICAI-20 - Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩
hal-01583527v2  Conference papers
Loïc GrobolFrédéric LandraginSerge Heiden. Interoperable annotation of (co)references in the Democrat project
Thirteenth Joint ISO-ACL Workshop on Interoperable Semantic Annotation, ACL Special Interest Group on Computational Semantics (SIGSEM); ISO TC 37/SC 4 (Language Resources) WG 2, Sep 2017, Montpellier, France
hal-01512286v1  Conference papers
Timothy BourkeLélio BrunPierre-Evariste DagandXavier LeroyMarc Pouzet et al.  A Formally Verified Compiler for Lustre
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
hal-01403830v1  Conference papers
Timothy BourkePierre-Evariste DagandMarc PouzetLionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
inria-00556688v1  Conference papers
Pierre-Alain FouqueGilles Macario-RatLudovic PerretJacques Stern. Total Break of the l-IC Signature Scheme
Public Key Cryptography - PKC 2008, 11th International Workshop on Practice and Theory in Public-Key Cryptography, Mar 2008, Barcelona, Spain. pp.1-17, ⟨10.1007/978-3-540-78440-1_1⟩
hal-01093169v1  Conference papers
Louis MandelCédric Pasteur. Reactivity of Cooperative Systems
Static Analysis (SAS), Sep 2014, Munich, Germany. pp.17, ⟨10.1007/978-3-319-10936-7_14⟩
hal-01242365v1  Journal articles
Jean-Damien PilletE. FlurinF. MalletB. Huard. A compact design for the Josephson mixer: The lumped element circuit
Applied Physics Letters, American Institute of Physics, 2015, 106 (22), pp.222603. ⟨10.1063/1.4922188⟩
inria-00638289v1  Conference papers
Anne BouillardSidney RosarioAlbert BenvenisteStefan Haar. Monotonicity in Service Orchestrations
Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. pp.263-282, ⟨10.1007/978-3-642-02424-5_16⟩
hal-02303526v1  Conference papers
Nathan GrosshansPierre MckenzieLuc Segoufin. The Power of Programs over Monoids in DA
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.2⟩
hal-01706665v2  Journal articles
Wojciech KazanaLuc Segoufin. First-order queries on classes of structures with bounded expansion
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1)
hal-01486899v1  Conference papers
Noad BadaouiFabien BretenakerGilles FeugnetPhilippe MartinBertrand Morbieu et al.  An online compensation algorithm for improving the performance of gas ring laser gyroscopes
2016 IEEE Conference on Control Applications (CCA), Sep 2016, Buenos Aires, Argentina. pp.736 - 742
inria-00560054v1  Conference papers
Emmanuel CaruyerRachid Deriche. Adaptive Design of Sampling Directions in Diffusion Tensor MRI and Validation on Human Brain Images
MICCAI Workshop on Diffusion Modelling and the Fiber Cup, Sep 2009, Londres, United Kingdom
inria-00638288v1  Conference papers
Anne BouillardStefan HaarSidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net
Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. pp.43-57, ⟨10.1007/978-3-642-04368-0_6⟩