Vadim Alimguzhin

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 10

Top Topics

Control Software

Breast Cancer Patients

Clinical Trials

Top Venues

Publications

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
Reconciling interoperability with efficient Verification and Validation within open source simulation environments. Simul. Model. Pract. Theory 109 (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal personalised treatment computation through in silico clinical trials on patient digital twins. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
Reconciling interoperability with efficient Verification and Validation within open source simulation environments. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners
Complete populations of virtual patients for in silico clinical trials. Bioinform. 36 (22-23) (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. OVERLAY (2020)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins. Fundam. Informaticae 174 (3-4) (2020)
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes
Electricity Network Constraint Management using Individualised Demand Aware Price Policies. OVERLAY (2020)
Vadim Alimguzhin, Federico Mari, Igor Melatti
Control Software Synthesis for Cyber-Physical Systems with QKS. OVERLAY@AI*IA (2019)
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
In Silico Clinical Trials through AI and Statistical Model Checking. OVERLAY@AI*IA (2019)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. 62 (10) (2017)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Søren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. DSD (2015)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On-the-Fly Control Software Synthesis. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On Model Based Synthesis of Embedded Control Software CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic control software synthesis for quantized discrete time hybrid systems. CDC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On model based synthesis of embedded control software. EMSOFT (2012)