( en | de | ru )

 

Disambiguation of "Troubitsyna, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Derivation of Distributed MapReduce.

, , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 238-254. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Other publications of authors with the same name

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 386-391. Springer, (2018)Augmenting formal development of control systems with quantitative reliability assessment., , and . SERENE, page 61-70. ACM, (2010)Online Path Generation and Navigation for Swarms of UAVs., , and . CoRR, (2019)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , and . MCSoC, page 281-287. IEEE, (2019)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, page 710-715. IEEE, (2019)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , and . EDCC, page 156-161. IEEE Computer Society, (2012)Securing Optimized Code Against Power Side Channels., , , and . CSF, page 340-355. IEEE, (2023)Securing Open Source Clouds Using Models., and . IMPEX/FM&MDD, volume 271 of EPTCS, page 80-94. (2017)Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones., , , and . PDP, page 101-108. IEEE Computer Society, (2018)Formal Modelling of Resilient Data Storage in Cloud., , , , and . ICFEM, volume 8144 of Lecture Notes in Computer Science, page 363-379. Springer, (2013)