Skip to Main content Skip to Navigation

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-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
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⟩
hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
hal-01956180v3  Journal articles
Iain SmearsMartin Vohralík. Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (6), pp.1951-1973. ⟨10.1051/m2an/2020034⟩
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-01840993v1  Journal articles
Eric CancèsVirginie EhrlacherFrédéric LegollBenjamin StammShuyang Xiang. An embedded corrector problem for homogenization. Part I: Theory
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (3), pp.1179-1209. ⟨10.1137/18M120035X⟩
hal-02375397v1  Journal articles
Jean-Marc Couveignes. Enumerating number fields
Annals of Mathematics, Princeton University, Department of Mathematics, 2020, 192 (2), pp.487-497. ⟨10.4007/annals.2020.192.2.4⟩