49 citations · 50 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 49 cited
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…
physics.chem-ph2016★ 1 cited
Finding dominant transition pathways via global optimization of action
Juyong Lee, In-Ho Lee, InSuk Joung +2
We present a new computational approach, Action-CSA, to sample multiple reaction pathways with fixed initial and final states through global optimization of the Onsager-Machlup act…