Showing 1 - 20 results of 46 for search 'Lenglet, S', query time: 0.03s
Refine Results
-
1
-
2
-
3
-
4
Bisimulations for Delimited-Control Operators by Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Published 2019-05-01
Article -
5
Proving Soundness of Extensional Normal-Form Bisimilarities by Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
Published 2019-03-01
Article -
6
Évaluation et représentation des flux de bois dans la filière by Jonathan Lenglet, Jean-Yves Courtonne, Sylvain Caurla
Published 2016-04-01
Article -
7
Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Published 2017-11-01
Article -
8
-
9
Proving termination of evaluation for System F with control operators by Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
Published 2013-09-01
Article -
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
Uremic Toxins and Vascular Dysfunction by Isabelle Six, Nadia Flissi, Gaëlle Lenglet, Loïc Louvet, Said Kamel, Marlène Gallet, Ziad A. Massy, Sophie Liabeuf
Published 2020-06-01
Article -
19
Fusion in diffusion MRI for improved fibre orientation estimation: An application to the 3T and 7T data of the Human Connectome Project by Sotiropoulos, S, Hernandez-Fernandez, M, Vu, A, Andersson, J, Moeller, S, Yacoub, E, Lenglet, C, Ugurbil, K, Behrens, T, Jbabdi, S
Published 2016Journal article -
20