CNR Institutional Research Information System

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 976
NA - Nord America 397
SA - Sud America 200
EU - Europa 131
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 3
Totale 1.730
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 381
SG - Singapore 373
CN - Cina 270
BR - Brasile 163
HK - Hong Kong 115
VN - Vietnam 78
FR - Francia 47
KR - Corea 35
JP - Giappone 31
NL - Olanda 31
AR - Argentina 17
BD - Bangladesh 15
IN - India 14
IT - Italia 12
GB - Regno Unito 10
MX - Messico 8
PK - Pakistan 6
CA - Canada 5
CO - Colombia 5
EC - Ecuador 5
ID - Indonesia 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
DE - Germania 3
JO - Giordania 3
SA - Arabia Saudita 3
TR - Turchia 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CH - Svizzera 2
CL - Cile 2
FI - Finlandia 2
IR - Iran 2
KE - Kenya 2
PL - Polonia 2
PY - Paraguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZA - Sudafrica 2
AD - Andorra 1
AL - Albania 1
AT - Austria 1
BE - Belgio 1
BF - Burkina Faso 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EG - Egitto 1
GE - Georgia 1
GM - Gambi 1
GT - Guatemala 1
LV - Lettonia 1
MA - Marocco 1
MU - Mauritius 1
NG - Nigeria 1
PE - Perù 1
PT - Portogallo 1
RW - Ruanda 1
SN - Senegal 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
YT - Mayotte 1
Totale 1.730
Salva come PNG Salva come JPEG
Città #
Singapore 211
Santa Clara 153
Hong Kong 113
Hefei 91
Beijing 66
San Jose 41
Lauterbourg 40
Ashburn 34
Seoul 33
Ho Chi Minh City 29
Los Angeles 29
Tokyo 25
Hanoi 19
São Paulo 16
Rio de Janeiro 6
Chennai 5
Minamishinagawa 5
Addis Ababa 4
Brasília 4
Dallas 4
New York 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
Goiânia 3
Karachi 3
Maceió 3
Orem 3
Tashkent 3
Abu Dhabi 2
Amsterdam 2
Açu 2
Belo Horizonte 2
Buffalo 2
Bình Dương Province 2
Bắc Giang 2
Canal Winchester 2
Caracas 2
Chicago 2
Denver 2
Dhaka 2
Frankfurt am Main 2
Garanhuns 2
Guangzhou 2
Guarulhos 2
Haiphong 2
Houston 2
London 2
Manaus 2
Mogi das Cruzes 2
Montecatini Terme 2
New Hampton 2
Pristina 2
Quito 2
Quận Tân Phú 2
Recife 2
Rome 2
Salvador 2
São José do Rio Preto 2
São José dos Campos 2
Tianjin 2
Uruapan 2
Utica 2
Warsaw 2
Abidjan 1
Abuja 1
Agrolândia 1
Ahmedabad 1
Albany 1
Alegrete 1
Almaty 1
Almaty Region 1
Alpharetta 1
Altamira 1
Amory 1
Ananindeua 1
Andorra la Vella 1
Ankara 1
Aparecida 1
Araçatuba 1
Arujá 1
Astana 1
Austin 1
Baltimore 1
Bandung 1
Banjul 1
Barcarena 1
Barras 1
Baton Rouge 1
Bauru 1
Belle Rose 1
Belém 1
Berriane 1
Totale 1.078
Salva come PNG Salva come JPEG
Nome #
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 81
U-check: Model checking and parameter synthesis under uncertainty 81
Scalable verification for spatial stochastic logics 79
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 59
QUANTICOL - D6.1 - Dissemination plan for the project 55
A unified view of spatial representation and analysis techniques 47
Bounds on the deviation of discrete-time Markov chains from their mean-field model 47
QUANTICOL - Multiscale modelling informed by smart grids 42
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 42
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 41
CARMA: Collective Adaptive Resource-sharing Markovian Agents 38
Logic-based multi-objective design of chemical reaction networks 36
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 36
Mean-field limits beyond ordinary differential equations 35
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 34
jSSTL - A tool to monitor spatio-temporal properties 34
Mean field approximation of uncertain stochastic models 33
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 33
Efficient checking of individual rewards properties in Markov population models 33
An active learning approach to the falsification of black box cyber-physical systems 33
Continuous approximation of collective systems behaviour: a tutorial 32
Linking language and mean field approximations 32
System design of stochastic models using robustness of temporal properties 32
Hybrid behaviour of Markov population models 31
A statistical approach for computing reachability of non-linear and stochastic dynamical systems 31
Fluid model checking 31
QUANTICOL - Foundations of scalable verification for stochastic logics 31
Smoothed model checking for uncertain Continuous-Time Markov Chains 30
Fluid analysis of spatio-temporal properties of agents in a population model 30
Matching models across abstraction levels with Gaussian processes 30
Mean field approximation of imprecise population processes 30
Machine learning methods in statistical model checking and system design - tutorial 29
Verification of CAS 29
Location aggregation of spatial population CTMC models 29
QUANTICOL - A framework for hybrid limits under uncertainty 28
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic 28
On the robustness of temporal properties for stochastic models 27
Learning and designing stochastic processes from logical constraints 27
Mean-field approximation and quasi-equilibrium reduction of Markov population models 27
Stochastic approximation of global reachability probabilities of Markov population models 26
Policy learning in continuous-time Markov decision processes using Gaussian Processes 26
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 25
Learning and designing stochastic processes from logical constraints 25
Stochastic process algebra and stability analysis of collective systems 25
Fluid Model Checking of Timed Properties 25
Model checking single agent behaviours by fluid approximation 25
Qualitative and quantitative monitoring of spatio-temporal properties 24
QUANTICOL - CAS-SCEL language design 23
Fluid performability analysis of nested automata models 23
Totale 1.730
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.113
article - articoli 1.598
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 153
Totale 8.864
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/202722 22 0 0 0 0 0 0 0 0 0 0 0
Totale 1.730