IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 482
AS - Asia 371
EU - Europa 227
SA - Sud America 59
AF - Africa 8
OC - Oceania 1
Totale 1.148
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 458
SG - Singapore 209
IT - Italia 125
CN - Cina 83
BR - Brasile 46
VN - Vietnam 32
FR - Francia 24
DE - Germania 23
GB - Regno Unito 21
HK - Hong Kong 20
CA - Canada 13
MX - Messico 11
PL - Polonia 11
JP - Giappone 8
UA - Ucraina 8
TR - Turchia 6
ZA - Sudafrica 6
BD - Bangladesh 4
ID - Indonesia 4
LT - Lituania 4
AR - Argentina 3
RO - Romania 3
BE - Belgio 2
CO - Colombia 2
EC - Ecuador 2
PE - Perù 2
PY - Paraguay 2
SE - Svezia 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CD - Congo 1
ES - Italia 1
FI - Finlandia 1
IN - India 1
IQ - Iraq 1
MA - Marocco 1
NL - Olanda 1
PK - Pakistan 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
UY - Uruguay 1
Totale 1.148
Salva come PNG Salva come JPEG
Città #
Dallas 128
Ashburn 95
Rome 77
Milan 39
Columbus 38
Chicago 31
Singapore 31
Paris 22
Hong Kong 20
Beijing 14
Ho Chi Minh City 12
Seattle 12
São Paulo 11
Warsaw 11
Los Angeles 9
Mexico City 9
Munich 8
Springfield 8
The Dalles 8
Tokyo 8
Hanoi 7
London 7
Prineville 7
Brooklyn 6
Fort Worth 6
New York 6
Boston 5
Istanbul 5
Santa Clara 5
Council Bluffs 4
San Francisco 4
Toronto 4
Atlanta 3
Goiânia 3
Manchester 3
Montreal 3
Phoenix 3
Porto Alegre 3
Brussels 2
Buffalo 2
Da Nang 2
Denver 2
Johannesburg 2
Lima 2
Naples 2
Rio de Janeiro 2
Shanghai 2
Agadir 1
Alegrete 1
Ankara 1
Asunción 1
Augusta 1
Bandera 1
Banfield 1
Banská Bystrica 1
Bauru 1
Belo Horizonte 1
Birigui 1
Birmingham 1
Can Tho 1
Castanhal 1
Caçapava 1
Changsha 1
Charleston 1
Chennai 1
Ciudad del Este 1
Cristino Castro 1
Curitiba 1
Dammam 1
Erbil 1
Fisciano 1
Fortaleza 1
Frankfurt am Main 1
Fuzhou 1
Greensboro 1
Guangzhou 1
Guarapari 1
Haiphong 1
Hangzhou 1
Helsinki 1
Hải Dương 1
Ilhéus 1
Inhumas 1
Irecê 1
Jackson 1
Jepara 1
Jiaxing 1
Jingmen 1
Jundiaí 1
Karachi 1
Kinshasa 1
Kyiv 1
Lianyun 1
Lilla Edet 1
Macaé 1
Magé 1
Manaus 1
Mauá 1
Medellín 1
Mel 1
Totale 746
Salva come PNG Salva come JPEG
Nome #
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 42
On checking equivalence of simulation scripts 38
From Boolean Relations to Control Software 37
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 32
Classification-based screening of phlebopathic patients using smart socks 32
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 32
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 31
Simulator semantics for system level formal verification 30
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 29
A glimpse of SmartHG project test-bed and communication infrastructure 29
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 28
Control software synthesis for cyber-physical systems with QKS 27
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 27
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 27
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 26
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 26
SyLVaaS 26
Computing biological model parameters by parallel statistical model checking 25
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 24
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 24
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 23
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 23
SyLVaaS: System level formal verification as a service 23
Control Software Visualization 23
An efficient algorithm for network vulnerability analysis under malicious attacks 23
NashMV 22
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 22
Automatic control software synthesis for quantized discrete time hybrid systems 22
Electricity network constraint management using individualised demand aware price policies 21
On minimising the maximum expected verification time 21
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 21
QKS 21
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 20
Formal verification at system level 19
Model Checking Satellite Operational Procedures 19
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 19
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 18
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 18
Undecidability of quantized state feedback control for discrete time linear hybrid systems 17
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 17
Model Based Synthesis of Control Software from System Level Formal Specifications 17
SyLVaaS: system level formal verification as a service 17
On Placing Skips Optimally In Expectation 16
System level formal verification via distributed multi-core hardware in the loop simulation 16
Linearising discrete time hybrid systems 16
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 15
Parallel statistical model checking for safety verification in smart grids 15
System level formal verification via model checking driven simulation 14
User flexibility aware price policy synthesis for smart grids 14
On model based synthesis of embedded control software 14
Synthesizing Control Software from Boolean Relations 13
Model checking driven simulation of sat procedures 12
Model Checking Nash Equilibria in MAD Distributed Systems 12
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 12
On-the-Fly Control Software Synthesis 12
Visualisation of control software for cyber-physical systems 11
Totale 1.230
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.237
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 8.237
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/2026671 53 48 199 144 92 135 0 0 0 0 0 0
Totale 1.230