How neurons migrate: a dynamic in-silico model of neuronal migration in the developing cortex. - Yaki Setty; Chih-Chun Chen; Maria Secrier; Nikita Skoblov; Dimitrios Kalamatianos; Stephen Emmott (BMC Syst. Biol., 2011)

Bringing LTL Model Checking to Biologists. - Zara Ahmed; David Benqué; Sergey Berezin; Anna Caroline E. Dahl; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Jay Nanavati; Nir Piterman; Maik Riechert; Nikita Skoblov (VMCAI, 2017)