Vadim Alimguzhin
Orcid: 0000-0001-9251-5244
According to our database1,
Vadim Alimguzhin
authored at least 13 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
0
1
2
3
4
2
1
1
2
2
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
Simul. Model. Pract. Theory, 2021
Bioinform., 2021
2020
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.
Fundam. Informaticae, 2020
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2017
2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012