CNR Institutional Research Information System

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 782
NA - Nord America 260
SA - Sud America 195
EU - Europa 70
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.331
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 315
US - Stati Uniti d'America 247
CN - Cina 207
BR - Brasile 159
HK - Hong Kong 90
VN - Vietnam 62
KR - Corea 35
NL - Olanda 31
AR - Argentina 17
BD - Bangladesh 14
IN - India 12
IT - Italia 9
GB - Regno Unito 8
MX - Messico 6
PK - Pakistan 6
EC - Ecuador 5
IL - Israele 5
JP - Giappone 5
KZ - Kazakistan 5
UA - Ucraina 5
VE - Venezuela 5
CA - Canada 4
CO - Colombia 4
ET - Etiopia 4
IQ - Iraq 4
RU - Federazione Russa 4
DZ - Algeria 3
ID - Indonesia 3
JO - Giordania 3
SA - Arabia Saudita 3
TR - Turchia 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 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
BF - Burkina Faso 1
BG - Bulgaria 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EG - Egitto 1
FR - Francia 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
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
YT - Mayotte 1
Totale 1.331
Salva come PNG Salva come JPEG
Città #
Singapore 181
Santa Clara 153
Hefei 91
Hong Kong 88
Beijing 60
Seoul 33
Ho Chi Minh City 22
Hanoi 15
São Paulo 15
Ashburn 9
San Jose 8
Los Angeles 6
Rio de Janeiro 6
Minamishinagawa 5
Addis Ababa 4
Brasília 4
Quận Mười 4
Amman 3
Bengaluru 3
Bình Dương 3
Chennai 3
Curitiba 3
Goiânia 3
Karachi 3
Maceió 3
Tashkent 3
Abu Dhabi 2
Amsterdam 2
Baghdad 2
Belo Horizonte 2
Buffalo 2
Bình Dương Province 2
Bắc Giang 2
Caracas 2
Chicago 2
Dallas 2
Denver 2
Dhaka 2
Garanhuns 2
Guangzhou 2
Guarulhos 2
Haiphong 2
London 2
Manaus 2
Mogi das Cruzes 2
Montecatini Terme 2
Pristina 2
Quito 2
Quận Tân Phú 2
Recife 2
Salvador 2
São José do Rio Preto 2
São José dos Campos 2
Tianjin 2
Warsaw 2
Abidjan 1
Abuja 1
Agrolândia 1
Ahmedabad 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
Açu 1
Baltimore 1
Banjul 1
Barcarena 1
Barras 1
Bauru 1
Belle Rose 1
Belém 1
Berriane 1
Betim 1
Biguaçu 1
Blumenau 1
Bogotá 1
Botucatu 1
Bragança 1
Broken Arrow 1
Brooklyn 1
Brumadinho 1
Buenos Aires 1
Cabreúva 1
Cairo 1
Cajamar 1
Camaçari 1
Campinas 1
Can Tho 1
Capão da Canoa 1
Catolé do Rocha 1
Totale 834
Salva come PNG Salva come JPEG
Nome #
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 70
U-check: Model checking and parameter synthesis under uncertainty 69
Scalable verification for spatial stochastic logics 63
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 51
QUANTICOL - D6.1 - Dissemination plan for the project 43
Logic-based multi-objective design of chemical reaction networks 33
A unified view of spatial representation and analysis techniques 32
CARMA: Collective Adaptive Resource-sharing Markovian Agents 30
Efficient checking of individual rewards properties in Markov population models 30
jSSTL - A tool to monitor spatio-temporal properties 29
Mean field approximation of uncertain stochastic models 28
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 28
Hybrid behaviour of Markov population models 28
QUANTICOL - Multiscale modelling informed by smart grids 28
Mean-field limits beyond ordinary differential equations 28
System design of stochastic models using robustness of temporal properties 28
Fluid analysis of spatio-temporal properties of agents in a population model 27
Matching models across abstraction levels with Gaussian processes 27
An active learning approach to the falsification of black box cyber-physical systems 27
Smoothed model checking for uncertain Continuous-Time Markov Chains 26
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 25
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 25
Fluid model checking 24
Machine learning methods in statistical model checking and system design - tutorial 24
Continuous approximation of collective systems behaviour: a tutorial 23
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 23
Policy learning in continuous-time Markov decision processes using Gaussian Processes 23
Linking language and mean field approximations 23
Location aggregation of spatial population CTMC models 23
Learning and designing stochastic processes from logical constraints 22
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 22
Verification of CAS 22
Bounds on the deviation of discrete-time Markov chains from their mean-field model 22
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic 22
A statistical approach for computing reachability of non-linear and stochastic dynamical systems 21
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 20
Learning and designing stochastic processes from logical constraints 20
Fluid Model Checking of Timed Properties 20
Fluid performability analysis of nested automata models 20
Stochastic process algebra and stability analysis of collective systems 19
Mean field approximation of imprecise population processes 19
Qualitative and quantitative monitoring of spatio-temporal properties 19
Model checking single agent behaviours by fluid approximation 19
On the robustness of temporal properties for stochastic models 18
QUANTICOL - A framework for hybrid limits under uncertainty 18
Stochastic approximation of global reachability probabilities of Markov population models 18
Mean-field approximation and quasi-equilibrium reduction of Markov population models 18
QUANTICOL - Foundations of scalable verification for stochastic logics 18
QUANTICOL - CAS-SCEL language design 16
Totale 1.331
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.690
article - articoli 1.291
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 124
Totale 7.105
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/2026694 59 112 110 182 167 55 9 0 0 0 0 0
Totale 1.331