Pavel Vassiliev
Orcid: 0000-0002-8188-5052
According to our database1,
Pavel Vassiliev
authored at least 2 papers
between 2008 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Evaluation of Interaction Level between Potential Drug and Protein by Hydrogen Bond Energy Calculation.
Proceedings of the Knowledge-Based Software Engineering, 2014
2008
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).
PhD thesis, 2008