Catalogo dei prodotti della ricerca

MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.600
EU - Europa 811
AS - Asia 561
SA - Sud America 22
AF - Africa 5
OC - Oceania 1
Totale 5.000
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.570
SG - Singapore 293
IT - Italia 257
CN - Cina 126
IN - India 123
UA - Ucraina 111
FI - Finlandia 92
SE - Svezia 76
RU - Federazione Russa 63
DE - Germania 55
GB - Regno Unito 44
BG - Bulgaria 43
CA - Canada 26
RO - Romania 21
IE - Irlanda 16
BR - Brasile 11
BE - Belgio 10
AR - Argentina 9
FR - Francia 8
ID - Indonesia 7
AT - Austria 6
NL - Olanda 5
IR - Iran 4
MX - Messico 4
ZA - Sudafrica 3
CL - Cile 2
NO - Norvegia 2
AU - Australia 1
BN - Brunei Darussalam 1
GR - Grecia 1
HK - Hong Kong 1
JO - Giordania 1
KG - Kirghizistan 1
KR - Corea 1
LT - Lituania 1
MU - Mauritius 1
SC - Seychelles 1
TR - Turchia 1
VN - Vietnam 1
YE - Yemen 1
Totale 5.000
Salva come PNG Salva come JPEG
Città #
Fairfield 477
Chandler 303
Santa Clara 285
Woodbridge 249
Seattle 240
Houston 215
Ashburn 192
Wilmington 180
Cambridge 145
Singapore 133
Ann Arbor 121
Rome 118
Beijing 95
Princeton 79
Plano 68
New York 45
Lawrence 43
Millbury 43
San Paolo di Civitate 42
Sofia 42
San Diego 39
Boston 35
Jacksonville 35
Southend 27
Andover 24
Boardman 24
Helsinki 24
Falkenstein 19
Moscow 19
Dublin 16
Toronto 16
Buffalo 15
Des Moines 14
Dearborn 12
Milan 11
Brussels 10
Falls Church 10
Norwalk 10
Viterbo 10
Corbetta 9
Council Bluffs 9
Federal 9
Ottawa 9
Bühl 8
Jakarta 7
Phoenix 7
Redwood City 7
Cagliari 6
Leipzig 6
San Mateo 6
Henderson 5
Indiana 5
L’Aquila 4
Mexico City 4
Nanjing 4
Nuremberg 4
Timisoara 4
Vienna 4
Yubileyny 4
Fort Worth 3
Lappeenranta 3
Mannheim 3
Muizenberg 3
Redmond 3
Riva 3
San Francisco 3
Shanghai 3
Dallas 2
Erlangen 2
Hefei 2
Karlsruhe 2
Kunming 2
London 2
Mcallen 2
Naples 2
Napoli 2
Prineville 2
Saint Petersburg 2
Alta Floresta 1
Altos 1
Amman 1
Amsterdam 1
Arezzo 1
Auburn Hills 1
Bandar Seri Begawan 1
Belo Horizonte 1
Bergen 1
Betim 1
Bishkek 1
Bologna 1
Canindé 1
Cavenago Di Brianza 1
Chapecó 1
Chengdu 1
Chongqing 1
Civitanova Marche 1
Frankfurt am Main 1
Grammichele 1
Guiyang 1
Hanoi 1
Totale 3.674
Salva come PNG Salva come JPEG
Nome #
A model checking technique for the verification of fuzzy control systems 138
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. 137
Automatic synthesis of robust numerical controllers 125
Parallel and distributed model checking in Eddy 104
Automated Generation of Optimal Controllers through Model Checking Techniques 103
Residential demand management using individualised demand aware price policies 103
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 102
On minimising the maximum expected verification time 102
Linearising discrete time hybrid systems 100
Xere: Towards a Natural Interoperability between XML and ER Diagrams 97
SyLVaaS: System level formal verification as a service 97
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 95
Computing biological model parameters by parallel statistical model checking 93
Simulator semantics for system level formal verification 93
Computational models of myocardial endomysial collagen arrangement 92
Disk Based Software Verification via Bounded Model Checking 90
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 87
Interoperability mapping from XML schemas to ER diagrams 85
User flexibility aware price policy synthesis for smart grids 83
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 82
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 82
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 80
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 80
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 80
Parallel and distributed model checking in Eddy 79
System level formal verification via model checking driven simulation 79
Parallel statistical model checking for safety verification in smart grids 79
SyLVaaS: system level formal verification as a service 78
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 78
An efficient algorithm for network vulnerability analysis under malicious attacks 78
A glimpse of SmartHG project test-bed and communication infrastructure 78
Automatic control software synthesis for quantized discrete time hybrid systems 78
Model Checking Nash Equilibria in MAD Distributed Systems 77
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 77
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 77
On model based synthesis of embedded control software 74
Model checking driven simulation of sat procedures 70
System level formal verification via distributed multi-core hardware in the loop simulation 70
On-the-Fly Control Software Synthesis 68
Model Based Synthesis of Control Software from System Level Formal Specifications 68
Visualisation of Control Software for Cyber-Physical Systems 67
Exploiting Transition Locality in Automatic Verification of Finite-State Concurrent Systems 66
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems 62
Exploiting hub states in automatic verification 62
Post Doctoral Research Associate 61
Undecidability of quantized state feedback control for discrete time linear hybrid systems 57
Integrating Ram and Disk Based Verification within the Murphi Verifier 56
Automatic Verification of a Turbogas Control System with the Murphi Verifier 56
Formal verification at system level 54
Bounded Probabilistic Model Checking with the Murphi Verifier 52
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 51
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management 51
FHP-Murphi 48
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 46
Automatic Analysis of Hybrid Systems with the Murphi Verifier 45
Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen 45
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 44
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 43
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 42
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 42
A Case Study on Automated Generation of Integration Tests 41
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 41
Control Software Visualization 40
On checking equivalence of simulation scripts 40
Model Checking Satellite Operational Procedures 39
Collaboration on iss experiment data and knowledge representation 39
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 39
Explicit Algorithms for Probabilistic Model Checking 39
From Boolean Relations to Control Software 35
CMurphi 35
Synthesizing Control Software from Boolean Relations 34
SyLVaaS 33
QKS 29
NashMV 25
Totale 5.097
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.357
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 16.357
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020356 0 0 0 0 0 0 0 0 107 163 64 22
2020/2021387 42 37 9 20 19 22 7 96 41 48 30 16
2021/2022974 7 57 74 22 98 24 33 65 42 59 331 162
2022/2023783 145 144 38 123 91 89 9 34 74 3 18 15
2023/2024350 20 57 14 20 34 91 3 11 1 46 18 35
2024/2025707 34 101 37 11 192 132 73 120 7 0 0 0
Totale 5.097