François, Hugues
17  results:
Search for persons X
?
 
?
4

A TLA+ Formal Proof of a Cross-Chain Swap:

, In: 23rd International Conference on Distributed Computing and Networking,
 
?
6

Towards Synthesis of Distributed Algorithms with SMT Solver:

, In: Networked Systems; Lecture Notes in Computer Science,
 
?
7

KPConv: Flexible and Deformable Convolution for Point Cloud:

, In: 2019 IEEE/CVF International Conference on Computer Vision (ICCV),
 
?
 
?
9

Comparing Peer Recommendation Strategies in a MOOC:

, In: Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization,
 
?
10

Contributors:

, In: Handbook of Proteolytic Enzymes,
 
?
11

Linguistic information extraction for job ads (SIRE project:

, In: Adaptivity, Personalization and Fusion of Heterogeneous Information,
 
?
 
?
13

Mapping semantics of CORBA IDL and GIOP to open core protoc..:

, In: Proceedings of the conference on Design, automation and test in Europe,
 
?
15

Contributors:

, In: Breathborne Biomarkers and the Human Volatilome,
Abegg, Sebastian ; Ahmed, Waqar ; Alkhalifah, Yaser... - p. xxix-xxxvii , 2020
 
1-15