Vadim Alimguzhin

18 papers C 1Misc 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Complete populations of virtual patients for in silico clinical trials.
Bioinform.
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners
2021 J jnl
Optimal personalised treatment computation through in silico clinical trials on patient digital twins.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
Simul. Model. Pract. Theory
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2020 — conf
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
OVERLAY
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2020 — conf
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
OVERLAY
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes
2020 J jnl
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.
Fundam. Informaticae
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2019 — conf
Control Software Synthesis for Cyber-Physical Systems with QKS.
OVERLAY@AI*IA
Vadim Alimguzhin, Federico Mari, Igor Melatti
2019 — conf
In Silico Clinical Trials through AI and Statistical Model Checking.
OVERLAY@AI*IA
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
2017 J jnl
Linearizing Discrete-Time Hybrid Systems.
IEEE Trans. Autom. Control.
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2015 C conf
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure.
DSD
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
2013 — conf
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013 — conf
On-the-Fly Control Software Synthesis.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 — conf
Automatic control software synthesis for quantized discrete time hybrid systems.
CDC
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
On Model Based Synthesis of Embedded Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 Misc conf
On model based synthesis of embedded control software.
EMSOFT
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci