Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee

Identifiers

• name variant Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee 0.60 · backfill

Papers (1)

1. Verifying the correct composition of distributed components: Formalisation and Tool cs.DC · 2015 · author #4

Mentions

• 1502.03515 #4 · backfill · confidence 0.70 Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee

Frequent Coauthors

• Application 1 shared papers
• China) 1 shared papers
• CNRS 1 shared papers
• Dongqian Liu (MoE Engineering Research Center for Software 1 shared papers
• ECNU 1 shared papers
• Eric Madelaine (NRIA Sophia Antipolis Mediterannee 1 shared papers
• France) 1 shared papers
• Hardware Co-design Technology 1 shared papers
• Ludovic Henrio (Univ. of Nice Sophia Antipolis 1 shared papers
• Univ. of Nice Sophia Antipolis 1 shared papers