Author

Vadim Alimguzhin

Observed names: Alimguzhin V., Alimguzhin, Vadim, V Alimguzhin, V. ALIMGUZHIN

Institution: Sapienza University of Rome

Observed institutions: Ufa State Aviation Technical University, Sapienza University of Rome

ORCID: 0000-0001-9251-5244

Observed ORCID: 0000-0001-9251-5244

OpenAlex ID: A5007276194

Complete populations of virtual patients forin silicoclinical trials

2020 · S Sinisi, V Alimguzhin, et al. · Bioinformatics · 48

Reconciling interoperability with efficient Verification and Validation within open source simulation environments

2021 · Stefano Sinisi, Vadim Alimguzhin, et al. · Simulation Modelling Practice and Theory · 18

PDF

Linearizing Discrete-Time Hybrid Systems

2017 · Vadim Alimguzhin, Federico Mari, et al. · IEEE Transactions on Automatic Control · 18

Automatic control software synthesis for quantized discrete time hybrid systems

2012 · Vadim Alimguzhin, Federico Mari, et al. · IEEE Conference on Decision and Control (CDC) · 17

On model based synthesis of embedded control software

2012 · Vadim Alimguzhin, Federico Mari, et al. · ACM International Conference on Embedded Software (EMSOFT) · 12

On-the-Fly Control Software Synthesis

2013 · Vadim Alimguzhin, Federico Mari, et al. · Lecture notes in computer science · 11

A Glimpse of SmartHG Project Test-bed and Communication Infrastructure

2015 · Vadim Alimguzhin, Federico Mari, et al. · Euromicro Conference on Digital System Design (DSD) · 9

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

2013 · Vadim Alimguzhin, Federico Mari, et al. · Lecture notes in computer science · 9

PDF

On Model Based Synthesis of Embedded Control Software

2012 · Alimguzhin, Vadim, Mari, Federico, et al. · arXiv (Cornell University) · 3

PDF

An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine

2016 · R. EHRIG, T. DIERKES, et al. · International Symposium on Mathematical and Computational Biology (BIOMAT) · 2

Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems

2012 · Alimguzhin, Vadim, Mari, Federico, et al. · arXiv (Cornell University) · 1

PDF

Electricity Network Constraint Management using Individualised Demand Aware Price Policies.

2020 · Igor Melatti, Vadim Alimguzhin, et al.

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.

2020 · Stefano Sinisi, Vadim Alimguzhin, et al.

Electricity network constraint management using individualised demand aware price policies

2020 · Melatti I., Alimguzhin V., et al. · Archivio Istituzionale della Ricerca - Università degli Studi dell Aquila

PDF

Control Software Synthesis for Cyber-Physical Systems with QKS.

2019 · Vadim Alimguzhin, Federico Mari, et al.

In Silico Clinical Trials through AI and Statistical Model Checking.

2019 · Vadim Alimguzhin, Toni Mancini, et al.

Proceedings Second Workshop on Synthesis

2014 · Vadim Alimguzhin, Federico Mari, et al. · Electronic Proceedings in Theoretical Computer Science

Model based design of control software for nonlinear discrete time hybrid systems

2013 · Vadim Alimguzhin, Federico Mari, et al. · Vestnik UGATU

PDF

Works count: 21

Citation count: 148

H-index: 8

I10-index: 6