Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time (Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre). - Pavel Vassiliev (2008)

Evaluation of Interaction Level between Potential Drug and Protein by Hydrogen Bond Energy Calculation. - Ekaterina Tyulkina; Pavel Vassiliev; Timur Janovsky; Maxim Shcherbakov (JCKBSE, 2014)