Jules Villard

Available identifiers

zbMath Open villard.julesMaRDI QIDQ992516

List of research outcomes

Publication	Date of Publication	Type
Local reasoning about the presence of bugs: incorrectness separation logic	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5208772	2020-01-10	Paper
Sub-classical Boolean Bunched Logics and the Meaning of Par	2017-08-31	Paper
Verifying Concurrent Graph Algorithms	2016-12-21	Paper
CoLoSL: Concurrent Local Subjective Logic	2016-04-26	Paper
On the relation between concurrent separation logic and concurrent Kleene algebra	2015-06-10	Paper
The ramifications of sharing in data structures	2014-11-27	Paper
Developments in Concurrent Kleene Algebra	2014-04-16	Paper
Parametric completeness for separation theories	2014-04-10	Paper
A spatial equational logic for the applied \(\pi \)-calculus	2010-09-09	Paper
A Spatial Equational Logic for the Applied π-Calculus	2008-11-25	Paper

Research outcomes over time

This page was built for person: Jules Villard