HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


hal-02424712v1  Conference papers
Iilja GubinsGijs van der SchotRemco VeltkampFriedrich ForsterXuefeng Du et al.  Classification in cryo-electron tomograms
Eurographics Workshop on 3D Object Retrieval, May 2019, Genova, Italy. ⟨10.2312/3dor.20191061⟩
...
hal-03627833v1  Conference papers
Thomas EspitauPierre-Alain FouqueFrançois GérardMélissa RossiAkira Takahashi et al.  MITAKA: A Simpler, Parallelizable, Maskable Variant of FALCON
Eurocrypt 2022 - International Conference on the Theory and Applications of Cryptographic Techniques, May 2022, Trondheim, Norway. pp.1-50
...
hal-03618678v1  Conference papers
Thomas EspitauPierre-Alain FouqueFrançois GérardMélissa RossiAkira Takahashi et al.  MITAKA: A Simpler, Parallelizable, Maskable Variant of FALCON
Eurocrypt 2022 - International Conference on the Theory and Applications of Cryptographic Techniques, May 2022, Trondheim, Norway. pp.1-50
inria-00391871v1  Journal articles
Jianwei MaFrançois-Xavier Le Dimet. Debluring from Highly Incomplete Measurements for Remote Sensing
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2009, 47 (3), pp.792-802. ⟨10.1109/TGRS.2008.2004709⟩
hal-00763290v1  Journal articles
E. R. LiBruno LévyXiaopeng ZhangWu-Jun CheWeiming Dong et al.  Meshless quadrangulation by global parameterization
Computers and Graphics, Elsevier, 2011, 35 (5), pp.992-1000. ⟨10.1016/j.cag.2011.05.003⟩
hal-01104168v1  Directions of work or proceedings
Phong Q. NguyenElisabeth Oswald. Advances in Cryptology - EUROCRYPT 2014
EUROCRYPT 2014, May 2014, Copenhague, Denmark. 8441, Springer, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-55220-5⟩
...
inria-00331914v1  Journal articles
Rodrigo de ToledoBin WangBruno Lévy. Geometry Textures and Applications
Computer Graphics Forum, Wiley, 2008, 27 (8), pp.2053-2065. ⟨10.1111/j.1467-8659.2008.01185.x⟩
...
hal-00864359v1  Conference papers
Léo DucasPhong Q. Nguyen. Learning a Zonotope and More: Cryptanalysis of NTRUSign Countermeasures
ASIACRYPT 2012 - 18th International Conference on the Theory and Application of Cryptology and Information Security, IACR, Dec 2012, Beijing, China. pp.433-450, ⟨10.1007/978-3-642-34961-4_27⟩
...
hal-01330955v1  Conference papers
Ali AssafGilles DowekJean-Pierre JouannaudJiaxiang Liu. Untyped Confluence in Dependent Type Theories
Proceedings Higher-Order Rewriting Workshop, Jun 2016, Porto, Portugal
...
inria-00521845v1  Journal articles
Ning ZhouWeiming DongWang JiaxinJean-Claude Paul. Simulating Human Visual Perception in Nighttime Illumination
Tsinghua Science and Technology, IEEE - Institute of Electrical and Electronics Engineers 2009, 14 (1), pp.133-138. ⟨10.1016/S1007-0214(09)70019-7⟩
hal-01887571v1  Journal articles
Chengkai DaiCharlie WangChenming WuSylvain LefebvreGuoxin Fang et al.  Support-free volume printing by multi-axis motion
ACM Transactions on Graphics, Association for Computing Machinery, 2018, 37 (4), pp.1 - 14. ⟨10.1145/3197517.3201342⟩
hal-01100409v1  Conference papers
Suyu LiuNicola PerraMárton KarsaiAlessandro Vespignani. Controlling Contagion Processes in Activity Driven Networks
Complex Networks and Dynamics - ICCSA’14, Jun 2014, Le Havre, France
inria-00201839v1  Journal articles
Xuzheng LiuJiaguang SunGuo-Qin ZhengJunhai Yong. Constrained Interpolation with Biarcs
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, China Academic Journal Electronic Publishing House, 2007, 58 (3), pp.240-253
...
inria-00517962v1  Journal articles
Wen ZhengJun-Hai YongJean-Claude Paul. Visual Simulation of Multiple Unmixable Fluids
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2007, 22 (1), pp.156-160. ⟨10.1007/s11390-007-9021-y⟩
...
hal-01853268v1  Conference papers
Jia-Ju BaiYu-Ping WangJulia LawallShi-Min Hu. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules
2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States
hal-00730342v1  Conference papers
Wenrui MengFei HeBow-Yaw WangQiang Liu. Thread-Modular Model Checking with Iterative Refinement
NFM 2012 - 4th International Conference on NASA Formal Methods, Apr 2012, Norfolk, Virginia, United States
hal-01241742v1  Journal articles
Li WangLudovic ChamoinPierre LadevèzeHongzhi Zhong. Computable upper and lower bounds on eigenfrequencies
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2016, 302, pp.27-43. ⟨10.1016/j.cma.2016.01.002⟩
hal-00652341v1  Journal articles
Ayman MoussaThierry GoudonLingbing HePing Zhang. The Navier-Stokes-Vlasov-Fokker-Planck system near equilibrium
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2010, 42 (5), pp.2177-2202. ⟨10.1137/090776755⟩
...
inria-00521833v1  Journal articles
Ning ZhouWeiming DongXing Mei. Realistic Simulation of Seasonal Variant Maples
2nd International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications, IEEE, 2006