Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 48
Titolo Data di pubblicazione Autore(i) File
On model based synthesis of embedded control software 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Undecidability of quantized state feedback control for discrete time linear hybrid systems 2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On-the-Fly Control Software Synthesis 2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Based Synthesis of Control Software from System Level Formal Specifications 2014 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 2014 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 2014 Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille
User flexibility aware price policy synthesis for smart grids 2015 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars
Computing biological model parameters by parallel statistical model checking 2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Linearising discrete time hybrid systems 2017 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On minimising the maximum expected verification time 2017 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl) 2018 Salvo, I.; Pacifico, A.
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. 2018 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
An efficient algorithm for network vulnerability analysis under malicious attacks 2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Inefficiencies in network models: a graph-theoretic perspective 2018 Cenciarelli, P.; Gorla, D.; Salvo, I.
Depletable channels: dynamics, behaviour, and efficiency in network design 2018 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
Graph theoretic detection of inefficiencies in network models 2018 Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro
Mostrati risultati da 21 a 40 di 48
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile