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

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: Jules Villard