CNR Institutional Research Information System

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.021
NA - Nord America 590
SA - Sud America 212
EU - Europa 156
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 3
Totale 2.006
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 565
SG - Singapore 390
CN - Cina 270
BR - Brasile 172
HK - Hong Kong 129
VN - Vietnam 79
FR - Francia 48
KR - Corea 35
IT - Italia 32
JP - Giappone 32
NL - Olanda 31
BD - Bangladesh 20
AR - Argentina 17
IN - India 14
GB - Regno Unito 10
MX - Messico 9
CA - Canada 8
CO - Colombia 7
ID - Indonesia 7
PK - Pakistan 6
EC - Ecuador 5
IE - Irlanda 5
IL - Israele 5
IQ - Iraq 5
KZ - Kazakistan 5
UA - Ucraina 5
VE - Venezuela 5
DZ - Algeria 4
ET - Etiopia 4
RU - Federazione Russa 4
SA - Arabia Saudita 4
TR - Turchia 4
DE - Germania 3
JO - Giordania 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
BF - Burkina Faso 2
BG - Bulgaria 2
CH - Svizzera 2
CL - Cile 2
CR - Costa Rica 2
FI - Finlandia 2
IR - Iran 2
KE - Kenya 2
PL - Polonia 2
PY - Paraguay 2
TH - Thailandia 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZA - Sudafrica 2
AD - Andorra 1
AL - Albania 1
AT - Austria 1
BE - Belgio 1
BO - Bolivia 1
BS - Bahamas 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EG - Egitto 1
ES - Italia 1
GE - Georgia 1
GM - Gambi 1
GT - Guatemala 1
HU - Ungheria 1
JM - Giamaica 1
LV - Lettonia 1
MA - Marocco 1
MU - Mauritius 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
PE - Perù 1
PT - Portogallo 1
RW - Ruanda 1
SI - Slovenia 1
SN - Senegal 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
YT - Mayotte 1
Totale 2.006
Salva come PNG Salva come JPEG
Città #
Singapore 228
Santa Clara 156
Hong Kong 127
Hefei 91
San Jose 70
Beijing 66
Ashburn 56
Lauterbourg 40
Seoul 33
Los Angeles 31
Ho Chi Minh City 30
Tokyo 26
Hanoi 19
São Paulo 16
Brasília 10
Council Bluffs 9
New York 7
Rio de Janeiro 6
Rome 6
Chennai 5
Minamishinagawa 5
Addis Ababa 4
Buffalo 4
Dallas 4
Denver 4
Goiânia 4
Paris 4
Quận Mười 4
Amman 3
Atlanta 3
Baghdad 3
Bengaluru 3
Brooklyn 3
Bình Dương 3
Curitiba 3
Da Nang 3
Dhaka 3
Karachi 3
Maceió 3
Naples 3
Orem 3
Queens 3
Tampa 3
Tashkent 3
Abu Dhabi 2
Amsterdam 2
Açu 2
Bandung 2
Belo Horizonte 2
Bogotá 2
Bình Dương Province 2
Bắc Giang 2
Canal Winchester 2
Caracas 2
Chambersburg 2
Chicago 2
Cincinnati 2
Cleveland 2
Davenport 2
Detroit 2
Fort Lauderdale 2
Frankfurt am Main 2
Garanhuns 2
Guangzhou 2
Guarulhos 2
Haiphong 2
Hanford 2
Houston 2
Jeddah 2
Las Vegas 2
London 2
Manaus 2
Mississauga 2
Mogi das Cruzes 2
Montecatini Terme 2
Nashville 2
New Hampton 2
Newark 2
Ouagadougou 2
Phoenix 2
Port Saint Lucie 2
Pristina 2
Quito 2
Quận Tân Phú 2
Recife 2
Salvador 2
San José 2
St Louis 2
São José do Rio Preto 2
São José dos Campos 2
Tianjin 2
Tijuana 2
Uruapan 2
Utica 2
Warsaw 2
Washington 2
Abidjan 1
Abuja 1
Agrolândia 1
Ahmedabad 1
Totale 1.221
Salva come PNG Salva come JPEG
Nome #
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 91
Scalable verification for spatial stochastic logics 88
U-check: Model checking and parameter synthesis under uncertainty 86
QUANTICOL - D6.1 - Dissemination plan for the project 67
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 65
A unified view of spatial representation and analysis techniques 60
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 53
Bounds on the deviation of discrete-time Markov chains from their mean-field model 51
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 50
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 47
QUANTICOL - A framework for hybrid limits under uncertainty 46
QUANTICOL - Multiscale modelling informed by smart grids 45
CARMA: Collective Adaptive Resource-sharing Markovian Agents 41
Efficient checking of individual rewards properties in Markov population models 40
Mean-field limits beyond ordinary differential equations 40
Continuous approximation of collective systems behaviour: a tutorial 39
Logic-based multi-objective design of chemical reaction networks 38
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 38
An active learning approach to the falsification of black box cyber-physical systems 38
Mean field approximation of uncertain stochastic models 37
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 37
jSSTL - A tool to monitor spatio-temporal properties 37
Qualitative and quantitative monitoring of spatio-temporal properties 37
QUANTICOL - Foundations of scalable verification for stochastic logics 37
Fluid model checking 36
System design of stochastic models using robustness of temporal properties 36
Hybrid behaviour of Markov population models 35
Mean field approximation of imprecise population processes 35
A statistical approach for computing reachability of non-linear and stochastic dynamical systems 34
Smoothed model checking for uncertain Continuous-Time Markov Chains 34
Fluid analysis of spatio-temporal properties of agents in a population model 34
Linking language and mean field approximations 34
Learning and designing stochastic processes from logical constraints 33
Machine learning methods in statistical model checking and system design - tutorial 33
Stochastic approximation of global reachability probabilities of Markov population models 33
Matching models across abstraction levels with Gaussian processes 33
Fluid performability analysis of nested automata models 33
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic 33
Verification of CAS 32
Mean-field approximation and quasi-equilibrium reduction of Markov population models 32
Location aggregation of spatial population CTMC models 31
Policy learning in continuous-time Markov decision processes using Gaussian Processes 30
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 29
Stochastic process algebra and stability analysis of collective systems 29
Fluid Model Checking of Timed Properties 29
On the robustness of temporal properties for stochastic models 28
Learning and designing stochastic processes from logical constraints 28
Model checking single agent behaviours by fluid approximation 28
QUANTICOL - CAS-SCEL language design 26
Totale 2.006
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.109
article - articoli 1.823
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 172
Totale 10.104
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/2025637 2 3 61 27 102 51 5 38 3 36 165 144
2025/20261.071 59 112 110 182 167 55 167 66 91 34 14 14
2026/2027298 52 93 153 0 0 0 0 0 0 0 0 0
Totale 2.006