MARI, FEDERICO
 Distribuzione geografica
Continente #
NA - Nord America 126
EU - Europa 87
AS - Asia 22
Totale 235
Nazione #
US - Stati Uniti d'America 115
IT - Italia 52
FR - Francia 22
SG - Singapore 18
MX - Messico 7
GB - Regno Unito 5
CA - Canada 4
HK - Hong Kong 4
LT - Lituania 3
BE - Belgio 2
DE - Germania 2
FI - Finlandia 1
Totale 235
Città #
Columbus 38
Milan 33
Paris 22
Chicago 17
Rome 16
Singapore 13
Seattle 10
Ashburn 8
Springfield 8
Mexico City 7
Prineville 7
Fort Worth 6
Hong Kong 4
London 3
Toronto 3
Brussels 2
Naples 2
Frankfurt am Main 1
Helsinki 1
Ottawa 1
Santa Clara 1
Totale 203
Nome #
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 16
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 14
SyLVaaS 14
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 10
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 9
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 9
Classification-based screening of phlebopathic patients using smart socks 8
On checking equivalence of simulation scripts 8
A glimpse of SmartHG project test-bed and communication infrastructure 8
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 7
Control software synthesis for cyber-physical systems with QKS 7
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 7
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 7
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 7
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 6
NashMV 6
Electricity network constraint management using individualised demand aware price policies 6
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 6
Control Software Visualization 6
On minimising the maximum expected verification time 6
QKS 6
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 6
Model Based Synthesis of Control Software from System Level Formal Specifications 6
On Placing Skips Optimally In Expectation 5
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 5
User flexibility aware price policy synthesis for smart grids 5
Undecidability of quantized state feedback control for discrete time linear hybrid systems 5
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 5
An efficient algorithm for network vulnerability analysis under malicious attacks 5
Parallel statistical model checking for safety verification in smart grids 5
Computing biological model parameters by parallel statistical model checking 5
Simulator semantics for system level formal verification 5
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 4
System level formal verification via model checking driven simulation 4
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 4
Visualisation of control software for cyber-physical systems 4
SyLVaaS: System level formal verification as a service 4
Automatic control software synthesis for quantized discrete time hybrid systems 4
Model Checking Satellite Operational Procedures 4
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 4
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 4
SyLVaaS: system level formal verification as a service 4
On model based synthesis of embedded control software 4
From Boolean Relations to Control Software 4
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 4
Model checking driven simulation of sat procedures 3
Formal verification at system level 3
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 3
Synthesizing Control Software from Boolean Relations 3
Linearising discrete time hybrid systems 3
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 3
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 3
Model Checking Nash Equilibria in MAD Distributed Systems 2
System level formal verification via distributed multi-core hardware in the loop simulation 2
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2
On-the-Fly Control Software Synthesis 2
Totale 311
Categoria #
all - tutte 2.412
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 2.412


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/2025258 0 17 58 58 1 38 82 4 0 0 0 0
Totale 311