• Computation of stator vibration of an induction motor using nodal magnetic forces [Online resource]Sathyan, Sabin; Belahcen, Anouar; Kataja, Juhani; Vaimann, Toomas; Sobra, Jan2016 XXII International Conference on Electrical Machines (ICEM) : SwissTech Convention Center, Lausanne, Switzerland, 04-07 September, 2016 : proceedings2016 / p. 2198-2203 : ill https://doi.org/10.1109/ICELMACH.2016.7732827
• FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880729810&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39611-3_24%29&sessionSearchId=34385ac6d8e7d4f5a83143ddce81b33e