Guilhem Jaber

Laboratoire des Sciences du Numérique de Nantes — France

Computer Science · Physical Sciences

9h-index179citations36works1.32yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(27), Logic, Reasoning, and Knowledge(18), Formal Methods in Verification(9), Advanced Database Systems and Queries(4), Security and Verification in Computing(4)

Publications36 total

Operational Game Semantics for Generative Algebraic Effects and Handlers
2025Open Access
Games, mobile processes, and functions
arXiv (Cornell University)·2025· 4 citedOpen Access
An abstract, certified account of operational game semantics
Lecture notes in computer science·2025Open Access
Artifact Report: an Abstract, Certified Account of Operational Game Semantics
Lecture notes in computer science·2025· 1 citedOpen Access
Deciding contextual equivalence of ν-calculus with effectful contexts (full version)
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
Deciding Contextual Equivalence of $$\nu $$-Calculus with Effectful Contexts
Lecture notes in computer science·2023· 2 citedOpen Access
Games, mobile processes, Dfunctions
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Theorems for free from separation logic specifications
Proceedings of the ACM on Programming Languages·2021· 18 citedOpen Access
Compositional relational reasoning via operational game semantics
2021· 7 cited
Temporal Refinements for Guarded Recursive Types
2021
Complete trace models of state and control
arXiv (Cornell University)·2021Open Access
Temporal Refinements for Guarded Recursive Types (full version)
SPIRE - Sciences Po Institutional REpository·2021
Temporal Refinements for Guarded Recursive Types
Lecture notes in computer science·2021· 4 citedOpen Access
Complete trace models of state and control
Lecture notes in computer science·2021· 9 citedOpen Access
Temporal Refinements for Guarded Recursive Types
HAL (Le Centre pour la Communication Scientifique Directe)·2020Open Access
SyTeCi: automating contextual equivalence for higher-order programs with references
Proceedings of the ACM on Programming Languages·2019· 13 citedOpen Access
Prototype of SyTeCi
Artifact Digital Object Group·2019
A Trace Semantics for System F Parametric Polymorphism
Lecture notes in computer science·2018· 2 citedOpen Access
Modal Logic of Transition Systems in the Topos of Trees
SPIRE - Sciences Po Institutional REpository·2017· 1 cited
Trace Properties from Separation Logic Specifications
arXiv (Cornell University)·2017Open Access
page 1 of 2Next →

Frequent Co-authors

Nicolas Tabareau(9), Matthieu Sozeau(5), Nikos Tzevelekos(5), Colin Riba(4), Lars Birkedal(3), Andrzej S. Murawski(3), Gabriel Lewertowski(2), Pierre-Marie Pédrot(2), Thomas Dinsdale-Young(2), Kasper Svendsen(2), Thierry Coquand(2), Davide Sangiorgi(2), Daniel Hirschkoff(2), Enguerrand Prebet(2), Peio Borthelle(2), Tom Hirschowitz(2), Yannick Zakowski(2), Armaël Guéneau(1), Filip Sieczkowski(1), Jacob Thamsborg(1)