output
20152026
most citedTableaux Modulo Theories Using Superdeduction

10 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2023Show all

4 papers · 1 filter

eess.SP2023★ 7 cited

Alteration of skeletal muscle energy metabolism assessed by 31P MRS in clinical routine, part 1: Advanced Quality Control pipeline

Antoine Naëgel, Hélène Ratiney, Jabrane Karkouri +6

Background: Implementing a standardized 31P-MRS dynamic acquisition protocol to evaluate skeletal muscle energy metabolism and monitor muscle fatigability1,2, while being compatibl…

eess.SP2023★ 5 cited

Alteration of skeletal muscle energy metabolism assessed by 31P MRS in clinical routine, part 2: Clinical application

Antoine Naëgel, Hélène Ratiney, Jabrane Karkouri +6

Background: In this second part of a two-part paper, we intend to demonstrate the impact of the previously proposed advanced quality control pipeline. To understand its benefit and…

eess.IV2023

Validation of apparent intra-and extra-myocellular lipid content indicator using spiral spectroscopic imaging at 3T

Antoine Naëgel, Magalie Viallon, Jabrane Karkouri +3

This work presents a fast and simple method based on spiral MRSI for mapping the IMCL and EMCL apparent content, which is a challenging task and it compares this indicator to class…

cs.PL2023★ 3 cited

Coqlex: Generating Formally Verified Lexers

Wendlasida Ouedraogo, Gabriel Scherer, Lutz Strassburger

A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of…