IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.130
AS - Asia 472
EU - Europa 450
Continente sconosciuto - Info sul continente non disponibili 83
SA - Sud America 69
AF - Africa 11
OC - Oceania 2
Totale 2.217
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.069
IT - Italia 327
SG - Singapore 217
CN - Cina 137
BR - Brasile 50
VN - Vietnam 38
GB - Regno Unito 29
CA - Canada 27
HK - Hong Kong 26
FR - Francia 25
DE - Germania 23
MX - Messico 17
PK - Pakistan 17
PL - Polonia 12
UA - Ucraina 9
JP - Giappone 8
BD - Bangladesh 7
ZA - Sudafrica 7
ID - Indonesia 6
TR - Turchia 6
GT - Guatemala 4
HN - Honduras 4
LT - Lituania 4
AR - Argentina 3
ES - Italia 3
NL - Olanda 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
SV - El Salvador 3
UY - Uruguay 3
VE - Venezuela 3
AU - Australia 2
BE - Belgio 2
CO - Colombia 2
EC - Ecuador 2
IN - India 2
IQ - Iraq 2
NI - Nicaragua 2
PE - Perù 2
PY - Paraguay 2
SE - Svezia 2
AE - Emirati Arabi Uniti 1
CD - Congo 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
EG - Egitto 1
ET - Etiopia 1
FI - Finlandia 1
GR - Grecia 1
GY - Guiana 1
HU - Ungheria 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
MD - Moldavia 1
NP - Nepal 1
PR - Porto Rico 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SR - Suriname 1
TT - Trinidad e Tobago 1
Totale 2.135
Salva come PNG Salva come JPEG
Città #
Ashburn 265
San Jose 261
Rome 137
Dallas 129
Staranzano 95
Council Bluffs 67
Milan 42
Columbus 39
Beijing 38
Singapore 38
Chicago 34
Hong Kong 26
Paris 22
Phoenix 18
Ho Chi Minh City 13
Islamabad 13
Mexico City 13
Santa Clara 13
São Paulo 13
Seattle 12
Warsaw 11
Los Angeles 9
Brooklyn 8
Munich 8
Springfield 8
The Dalles 8
Tokyo 8
Fort Worth 7
Hanoi 7
London 7
New York 7
Prineville 7
Boston 6
Atlanta 5
Istanbul 5
Manchester 5
Naples 4
San Francisco 4
Toronto 4
Da Nang 3
Goiânia 3
Johannesburg 3
Karachi 3
Montevideo 3
Montreal 3
Porto Alegre 3
Remanzacco 3
San Salvador 3
Augusta 2
Bari 2
Bratislava 2
Brussels 2
Buffalo 2
Cleveland 2
Denver 2
Guatemala City 2
Hammond 2
Lima 2
Managua 2
New Martinsville 2
Orem 2
Palermo 2
Philadelphia 2
Reading 2
Rio de Janeiro 2
San Pedro Sula 2
Shanghai 2
Sydney 2
Tampa 2
Abbeville 1
Addis Ababa 1
Agadir 1
Alegrete 1
Alliance 1
Altino 1
Amman 1
Ankara 1
Asunción 1
Athens 1
Auburndale 1
Bala-Cynwyd 1
Baltimore 1
Bandera 1
Banfield 1
Banská Bystrica 1
Bar Harbor 1
Bauru 1
Bekasi 1
Bell Gardens 1
Belo Horizonte 1
Birigui 1
Birmingham 1
Bishkek 1
Boardman 1
Brescia 1
Budapest 1
Burnaby 1
Bắc Ninh 1
Cairo 1
Calgary 1
Totale 1.516
Salva come PNG Salva come JPEG
Nome #
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 67
A glimpse of SmartHG project test-bed and communication infrastructure 58
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 55
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 53
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 52
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 52
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 50
On checking equivalence of simulation scripts 48
Classification-based screening of phlebopathic patients using smart socks 47
Control software synthesis for cyber-physical systems with QKS 47
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 47
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 47
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 47
From Boolean Relations to Control Software 47
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 46
Control Software Visualization 46
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 46
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 44
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 44
SyLVaaS: system level formal verification as a service 43
On Placing Skips Optimally In Expectation 42
Computing biological model parameters by parallel statistical model checking 42
Simulator semantics for system level formal verification 42
Formal verification at system level 41
SyLVaaS: System level formal verification as a service 41
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 40
The Preventive Role of Physical Activity in Systemic Sclerosis: A Cross-Sectional Study on the Correlation with Clinical Parameters and Disease Progression. International Journal of Environmental Research and Public Health 40
Automatic control software synthesis for quantized discrete time hybrid systems 40
NashMV 39
User flexibility aware price policy synthesis for smart grids 39
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 39
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 39
SyLVaaS 39
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 39
An efficient algorithm for network vulnerability analysis under malicious attacks 39
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 38
On minimising the maximum expected verification time 36
Electricity network constraint management using individualised demand aware price policies 35
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 35
On model based synthesis of embedded control software 35
Model Based Synthesis of Control Software from System Level Formal Specifications 34
Undecidability of quantized state feedback control for discrete time linear hybrid systems 33
System level formal verification via distributed multi-core hardware in the loop simulation 32
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 32
QKS 32
Model Checking Satellite Operational Procedures 31
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 30
Linearising discrete time hybrid systems 30
Parallel statistical model checking for safety verification in smart grids 30
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 29
System level formal verification via model checking driven simulation 27
Synthesizing Control Software from Boolean Relations 25
Model checking driven simulation of sat procedures 23
On-the-Fly Control Software Synthesis 23
Model Checking Nash Equilibria in MAD Distributed Systems 22
Visualisation of control software for cyber-physical systems 18
Totale 2.217
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.589
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 13.589
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202453 0 0 0 0 0 0 0 0 0 0 0 53
2024/2025506 0 17 58 58 1 38 82 43 81 32 22 74
2025/20261.120 53 48 199 144 92 140 213 55 25 96 48 7
2026/2027538 7 172 238 121 0 0 0 0 0 0 0 0
Totale 2.217