CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.619
EU - Europa 1.108
AS - Asia 771
SA - Sud America 105
Continente sconosciuto - Info sul continente non disponibili 24
AF - Africa 20
OC - Oceania 1
Totale 3.648
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.590
RU - Federazione Russa 428
SG - Singapore 297
GB - Regno Unito 219
CN - Cina 213
IT - Italia 141
BR - Brasile 81
VN - Vietnam 78
FI - Finlandia 71
HK - Hong Kong 69
SE - Svezia 58
IE - Irlanda 52
DE - Germania 44
FR - Francia 44
KR - Corea 39
BD - Bangladesh 23
UA - Ucraina 16
CA - Canada 14
IN - India 13
BE - Belgio 12
CO - Colombia 7
JP - Giappone 7
MX - Messico 7
PL - Polonia 7
ZA - Sudafrica 7
AR - Argentina 6
NG - Nigeria 6
EC - Ecuador 4
ES - Italia 4
DO - Repubblica Dominicana 3
ID - Indonesia 3
IQ - Iraq 3
NP - Nepal 3
PH - Filippine 3
SA - Arabia Saudita 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BY - Bielorussia 2
EG - Egitto 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
MA - Marocco 2
NL - Olanda 2
OM - Oman 2
PE - Perù 2
PK - Pakistan 2
PY - Paraguay 2
RO - Romania 2
VE - Venezuela 2
AU - Australia 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DM - Dominica 1
EU - Europa 1
IL - Israele 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MD - Moldavia 1
MY - Malesia 1
PA - Panama 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 3.625
Salva come PNG Salva come JPEG
Città #
Ashburn 195
Singapore 175
Jacksonville 168
Southend 161
Chandler 134
Moscow 133
Woodbridge 127
San Jose 122
Dallas 118
Ann Arbor 102
Hong Kong 69
Verona 59
Dublin 50
Council Bluffs 46
Houston 45
The Dalles 41
Beijing 36
Los Angeles 31
New York 28
Ho Chi Minh City 25
Helsinki 24
Lawrence 21
Princeton 21
Milan 20
Wilmington 19
Seoul 18
Buffalo 16
Hanoi 15
Lancaster 14
Shenyang 14
São Paulo 13
Brussels 12
Nanjing 12
Santa Clara 12
Sindelfingen 12
Jinan 10
Hebei 9
Rome 8
San Francisco 8
Washington 8
Shanghai 7
Taizhou 7
Tianjin 7
Tokyo 7
Abuja 6
Cagliari 6
Guangzhou 6
Johannesburg 6
Nanchang 6
Warsaw 6
Boardman 5
Columbus 5
Duncan 5
Frankfurt am Main 5
Jiaxing 5
London 5
Auburn Hills 4
Bexley 4
Brooklyn 4
Changsha 4
Chennai 4
Chicago 4
Denver 4
Montreal 4
Toronto 4
Trento 4
Bogotá 3
Charlotte 3
Delhi 3
East Hartford 3
Florence 3
Fuzhou 3
Haikou 3
Haiphong 3
Kent 3
Lappeenranta 3
Mexico City 3
Miami 3
Ningbo 3
Norwalk 3
Phoenix 3
Rio de Janeiro 3
Seattle 3
Shenzhen 3
Thái Bình 3
Alexandria 2
Amman 2
Amsterdam 2
Ankara 2
Aosta 2
Asunción 2
Atlanta 2
Campo Grande 2
Da Nang 2
Dhaka 2
Dongguan 2
Erbil 2
Falkenstein 2
Hangzhou 2
Jakarta 2
Totale 2.372
Salva come PNG Salva come JPEG
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 257
HIFSuite: Tools for HDL Code Conversion and Manipulation 218
Realizability of embedded controllers: from hybrid models to correct implementations 205
Enabling dynamic assertion-based verification of embedded software through model-driven design 204
HIFSuite: Tools for HDL Code Conversion and Manipulation 191
Open Problems in Verification and Refinement of Autonomous Robotic Systems 179
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 176
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 176
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 175
Correct-by-construction code generation from hybrid automata specification 174
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 173
On the use of assertions for embedded-software dynamic verification 171
IPA: Reusing of Properties after Discretization of Hybrid Automata 167
Model-Driven Design and Validation of Embedded Software 165
DDPSL: an Easy Way of Defining Properties 163
IPA: Assertion-based verification in embedded-software design 159
Vacuity Analysis by Fault Simulation 152
On the Functional Qualification of a Platform Model 149
Reusing of Properties after Discretization of Hybrid Automata 137
Vacuity Analysis for Property Qualification by Mutation of Checkers 130
The Role of Mutation Analysis for Property Qualification 127
Totale 3.648
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.832
article - articoli 1.785
book - libri 0
conference - conferenze 9.438
curatela - curatele 0
other - altro 609
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.664
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022105 0 0 0 9 10 1 6 5 9 6 13 46
2022/2023394 29 36 35 46 38 81 10 25 61 20 8 5
2023/2024181 12 18 24 18 13 26 1 14 3 23 23 6
2024/2025413 19 43 13 70 23 20 5 28 58 21 49 64
2025/20261.438 95 105 103 243 353 97 117 71 92 83 31 48
2026/2027204 8 26 63 107 0 0 0 0 0 0 0 0
Totale 3.648