Concepedia

Samuel Hym

SH

5

Publications

96

Citations

5

H-Index

2006

Active since

Affiliations

Université de Lille(Current)

Centre National de la Recherche Scientifique

Centre de Recherche en Informatique

Samuel Hym is an author at Université de Lille.

Publications per year

2006–2024

5

Publications

5

Complexity and Expressiveness of ShEx for RDF

Sławek Staworko, Iovka Boneva, José Emilio Labra Gayo et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 43 citations · Full text

Validating RDF with Shape Expressions.

Iovka Boneva, José Emilio Labra Gayo, Samuel Hym et al. · arXiv (Cornell University) · 2014 · 23 citations · Full text

Adding recursion to Dpi

Samuel Hym, Matthew Hennessy · Theoretical Computer Science · 2006 · 10 citations

,

Formal proof of dynamic memory isolation based on MMU

Narjes Jomaa, David Nowak, Gilles Grimaud et al. · Science of Computer Programming · 2017 · 10 citations · Full text

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Narjes Jomaa, Paolo Torrini, David Nowak et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2024 · 10 citations · Full text

Rows per page

1–5 of 5