Skip to Main content Skip to Navigation

hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-02936968v1  Book sections
Arnaud LallouetYves MoinardPascal NicolasIgor Stephan. Logic Programming
A Guided Tour of Artificial Intelligence Research, 2020, ⟨10.1007/978-3-030-06167-8_4⟩
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
tel-02509756v1  Habilitation à diriger des recherches
Nicolas Gast. Refinements of Mean Field Approximation
Performance [cs.PF]. Université Grenoble Alpes, 2020
hal-02487883v1  Journal articles
Gang Zheng. Control of a Silicone soft tripod robot via uncertainty compensation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2801 - 2807. ⟨10.1109/LRA.2020.2974714⟩
hal-02406816v1  Journal articles
Chengcheng SongHaoping WangYang TianGang Zheng. Event-triggered observer design for delayed output-sampled systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (11), pp.4824 - 4831. ⟨10.1109/TAC.2019.2960267⟩
hal-03087580v1  Conference papers
Ke WuGang Zheng. Simulation and control co-design methodology for soft robotics
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.3910-3914, ⟨10.23919/CCC50068.2020.9189205⟩
hal-03087579v1  Conference papers
Gang Zheng. A simple strategy for the control of soft robot
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.1751-1755, ⟨10.23919/CCC50068.2020.9189126⟩
hal-03087578v1  Conference papers
Walid AmehriGang ZhengAlexandre Kruszewski. FEM Based Workspace Estimation for Soft Robots: a Forward-Backward Interval Analysis Approach
2020 3rd IEEE International Conference on Soft Robotics (RoboSoft), May 2020, New Haven, United States. pp.170-175, ⟨10.1109/RoboSoft48309.2020.9116002⟩
hal-03043779v1  Conference papers
Matteo MarraGuillermo PolitoElisa Gonzalez Boix. Framework-aware debugging with stack tailoring
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Nov 2020, Virtual USA, United States. pp.71-84, ⟨10.1145/3426422.3426982⟩
hal-03119411v1  Conference papers
Qiongwen YuanJingwei HeLei YuGang Zheng. Aim-Net: Bring Implicit Euler to Network Design
2020 IEEE International Conference on Image Processing (ICIP), Oct 2020, Abu Dhabi, United Arab Emirates. pp.1926-1930, ⟨10.1109/ICIP40778.2020.9191185⟩
hal-02966821v1  Conference papers
Sebastien TripodiLiuyun DuanVeronique PoujadeFrederic TrastourJean-Philippe Bauchet et al.  Operational Pipeline for Large-scale 3D Reconstruction of Buildings from Satellite Images
IGARSS 2020 - IEEE International Geoscience and Remote Sensing Symposium, Sep 2020, Big Island/Virtuel, United States
hal-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey
hal-03087716v1  Conference papers
Alberto Marchetti-SpaccamelaNicole MegowJens SchlöterMartin SkutellaLeen Stougie. On the Complexity of Conditional DAG Scheduling in Multiprocessor Systems
IPDPS 2020 - IEEE International Parallel and Distributed Processing Symposium, May 2020, New Orleans / Virtual, United States. pp.1061-1070, ⟨10.1109/IPDPS47924.2020.00112⟩
hal-02573423v2  Conference papers
Christina KatsamakiFabrice RouillierElias TsigaridasZafeirakis Zafeirakopoulos. On the Geometry and the Topology of Parametric Curves
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
hal-02971638v1  Conference papers
Tarek Ahmed-AliQinghua ZhangFouad GiriXingwen Liu. Transforming Time-Delay System Observers to Adaptive Observers
IFAC 2020 - IFAC World Congress, Jul 2020, Berlin, Germany. pp.1-5
hal-02970672v1  Conference papers
Wentao TangQinghua ZhangZhenhua WangYi Shen. Ellipsoid bundle and its application to set-membership estimation ⋆
IFAC 2020 - IFAC World Congress, Jul 2020, Berlin, Germany. pp.1-6