Jacques-Henri Jourdan

Available identifiers

zbMath Open jourdan.jacques-henriMaRDI QIDQ1650958

List of research outcomes

Publication	Date of Publication	Type
Time credits and time receipts in Iris	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875426	2023-02-03	Paper
Iris from the ground up: A modular foundation for higher-order concurrent separation logic	2019-02-20	Paper
Sparsity preserving algorithms for octagons	2018-07-16	Paper
The Essence of Higher-Order Concurrent Separation Logic	2017-05-19	Paper
Verified compilation of floating-point computations	2015-07-02	Paper
Implementing and reasoning about hash-consed data structures in Coq	2015-06-23	Paper
Implementing Hash-Consed Structures in Coq	2013-08-07	Paper
Validating LR(1) Parsers	2012-06-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacques-Henri Jourdan