Catalogo dei prodotti della ricerca

MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.144
EU - Europa 449
AS - Asia 291
SA - Sud America 7
AF - Africa 3
Totale 2.894
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.128
IT - Italia 198
SG - Singapore 122
CN - Cina 88
IN - India 71
FI - Finlandia 54
SE - Svezia 37
DE - Germania 30
BG - Bulgaria 29
UA - Ucraina 28
GB - Regno Unito 21
RU - Federazione Russa 15
CA - Canada 14
RO - Romania 11
IE - Irlanda 7
AR - Argentina 6
BE - Belgio 6
ID - Indonesia 6
NL - Olanda 4
FR - Francia 3
AT - Austria 2
MX - Messico 2
NO - Norvegia 2
ZA - Sudafrica 2
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
GR - Grecia 1
KR - Corea 1
SC - Seychelles 1
TR - Turchia 1
YE - Yemen 1
Totale 2.894
Salva come PNG Salva come JPEG
Città #
Fairfield 312
Santa Clara 170
Seattle 169
Chandler 157
Ashburn 134
Woodbridge 132
Houston 131
Wilmington 116
Cambridge 109
Rome 100
Singapore 80
Beijing 67
Ann Arbor 47
Princeton 46
Plano 42
San Paolo di Civitate 35
Sofia 29
Lawrence 27
New York 25
Boston 23
San Diego 23
Millbury 20
Southend 17
Andover 16
Helsinki 15
Buffalo 11
Corbetta 9
Dearborn 8
Moscow 8
Ottawa 8
Dublin 7
Falkenstein 7
Brussels 6
Bühl 6
Falls Church 6
Federal 6
Jakarta 6
Norwalk 6
Phoenix 6
Redwood City 6
Viterbo 6
Boardman 5
Henderson 5
Jacksonville 5
Toronto 5
Indiana 4
Nanjing 4
Bergamo 3
Dallas 3
Milan 3
Redmond 3
Des Moines 2
Erlangen 2
Groningen 2
Karlsruhe 2
Mannheim 2
Mexico City 2
Muizenberg 2
Napoli 2
Saint Petersburg 2
San Mateo 2
Shanghai 2
Timisoara 2
Vienna 2
Amsterdam 1
Arezzo 1
Bandar Seri Begawan 1
Bergen 1
Bern 1
Bologna 1
Cavenago Di Brianza 1
Chengdu 1
Chongqing 1
Fort Worth 1
Grammichele 1
Guiyang 1
Hefei 1
Hounslow 1
Istanbul 1
Kunming 1
Laurel 1
London 1
Ludwigshafen 1
Marlborough 1
Mcallen 1
Montréal 1
New Kensington 1
Nuremberg 1
Padova 1
Pomezia 1
Pozzuoli 1
Provo 1
Rieti 1
Riva 1
Saint Cloud 1
Saint Louis 1
San Francisco 1
San Jose 1
San Pablo 1
Shenyang 1
Totale 2.256
Salva come PNG Salva come JPEG
Nome #
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. 133
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 101
On minimising the maximum expected verification time 99
Linearising discrete time hybrid systems 97
SyLVaaS: System level formal verification as a service 93
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 92
Simulator semantics for system level formal verification 91
Computing biological model parameters by parallel statistical model checking 89
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 84
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 79
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 78
User flexibility aware price policy synthesis for smart grids 78
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 78
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 78
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 77
System level formal verification via model checking driven simulation 77
Parallel statistical model checking for safety verification in smart grids 77
Model Checking Nash Equilibria in MAD Distributed Systems 76
On Placing Skips Optimally In Expectation. 76
SyLVaaS: system level formal verification as a service 76
Automatic control software synthesis for quantized discrete time hybrid systems 76
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 75
A glimpse of SmartHG project test-bed and communication infrastructure 75
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 74
An efficient algorithm for network vulnerability analysis under malicious attacks 73
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 72
On model based synthesis of embedded control software 70
System level formal verification via distributed multi-core hardware in the loop simulation 69
Model checking driven simulation of sat procedures 68
Model Based Synthesis of Control Software from System Level Formal Specifications 66
On-the-Fly Control Software Synthesis 65
Undecidability of quantized state feedback control for discrete time linear hybrid systems 55
Formal verification at system level 52
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 51
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 40
Control Software Visualization 38
Model Checking Satellite Operational Procedures 36
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 36
From Boolean Relations to Control Software 33
Synthesizing Control Software from Boolean Relations 32
SyLVaaS 31
QKS 27
NashMV 23
Totale 2.966
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.480
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.480
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020400 0 0 0 0 0 0 83 75 73 106 45 18
2020/2021236 27 20 8 11 8 13 5 60 35 32 12 5
2021/2022552 3 38 47 10 49 10 19 44 20 27 192 93
2022/2023418 80 90 11 59 51 48 8 17 35 2 10 7
2023/2024208 12 37 5 13 20 53 5 2 0 23 13 25
2024/2025311 11 70 22 8 121 79 0 0 0 0 0 0
Totale 2.966