Elena Petrova
Orcid: 0000-0002-7866-5630
According to our database1,
Elena Petrova
authored at least 6 papers
between 2005 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
0
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Optimal Sizing of Capacitor Banks to Reduce Power Losses - With Accounting of Temperature Dependence of Bare Overhead Conductors.
Proceedings of the SMARTGREENS 2017, 2017
2010
Proceedings of the Verified Software: Theories, 2010
2009
Proceedings of the Perspectives of Systems Informatics, 2009
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
2007
PhD thesis, 2007
2005
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005