CNR Institutional Research Information System

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 976
NA - Nord America 363
SA - Sud America 200
EU - Europa 128
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.692
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 373
US - Stati Uniti d'America 347
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
GB - Regno Unito 10
IT - Italia 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
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
CH - Svizzera 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
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
YT - Mayotte 1
Totale 1.692
Salva come PNG Salva come JPEG
Città #
Singapore 211
Santa Clara 153
Hong Kong 113
Hefei 91
Beijing 66
San Jose 41
Lauterbourg 40
Seoul 33
Ho Chi Minh City 29
Los Angeles 29
Tokyo 25
Ashburn 22
Hanoi 19
São Paulo 16
Rio de Janeiro 6
Chennai 5
Minamishinagawa 5
Addis Ababa 4
Brasília 4
New York 4
Paris 4
Quận Mười 4
Amman 3
Baghdad 3
Bengaluru 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
Caracas 2
Chicago 2
Dallas 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
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
Uruapan 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
Atlanta 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
Betim 1
Biguaçu 1
Blumenau 1
Bogotá 1
Botucatu 1
Bragança 1
Totale 1.056
Salva come PNG Salva come JPEG
Nome #
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 80
Scalable verification for spatial stochastic logics 79
U-check: Model checking and parameter synthesis under uncertainty 79
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 58
QUANTICOL - D6.1 - Dissemination plan for the project 54
Bounds on the deviation of discrete-time Markov chains from their mean-field model 47
A unified view of spatial representation and analysis techniques 45
QUANTICOL - Multiscale modelling informed by smart grids 41
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 41
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 40
Logic-based multi-objective design of chemical reaction networks 36
CARMA: Collective Adaptive Resource-sharing Markovian Agents 34
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
Efficient checking of individual rewards properties in Markov population models 33
Mean-field limits beyond ordinary differential equations 33
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 33
Linking language and mean field approximations 32
System design of stochastic models using robustness of temporal properties 32
An active learning approach to the falsification of black box cyber-physical systems 32
Hybrid behaviour of Markov population models 31
A statistical approach for computing reachability of non-linear and stochastic dynamical systems 31
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 31
Continuous approximation of collective systems behaviour: a tutorial 30
Smoothed model checking for uncertain Continuous-Time Markov Chains 30
Fluid model checking 30
Fluid analysis of spatio-temporal properties of agents in a population model 30
Matching models across abstraction levels with Gaussian processes 30
Machine learning methods in statistical model checking and system design - tutorial 29
Mean field approximation of imprecise population processes 29
QUANTICOL - Foundations of scalable verification for stochastic logics 29
QUANTICOL - A framework for hybrid limits under uncertainty 28
Verification of CAS 28
Location aggregation of spatial population CTMC models 28
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic 28
Learning and designing stochastic processes from logical constraints 27
Mean-field approximation and quasi-equilibrium reduction of Markov population models 27
Policy learning in continuous-time Markov decision processes using Gaussian Processes 26
On the robustness of temporal properties for stochastic models 25
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 25
Learning and designing stochastic processes from logical constraints 25
Fluid Model Checking of Timed Properties 25
Model checking single agent behaviours by fluid approximation 25
Stochastic process algebra and stability analysis of collective systems 24
Qualitative and quantitative monitoring of spatio-temporal properties 24
Stochastic approximation of global reachability probabilities of Markov population models 23
QUANTICOL - CAS-SCEL language design 22
Fluid performability analysis of nested automata models 22
Totale 1.692
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.624
article - articoli 1.495
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 142
Totale 8.261
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.055 59 112 110 182 167 55 167 66 91 34 12 0
Totale 1.692