statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	7.888
EU - Europa	3.983
AS - Asia	2.730
SA - Sud America	261
Continente sconosciuto - Info sul continente non disponibili	249
AF - Africa	47
OC - Oceania	4
Totale	15.162

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	7.678
IT - Italia	1.977
SG - Singapore	956
CN - Cina	603
UA - Ucraina	573
SE - Svezia	431
TR - Turchia	408
VN - Vietnam	306
HK - Hong Kong	298
BR - Brasile	217
DE - Germania	172
GB - Regno Unito	170
IE - Irlanda	163
FI - Finlandia	156
FR - Francia	136
CA - Canada	120
RU - Federazione Russa	76
IN - India	44
BD - Bangladesh	34
PL - Polonia	33
MX - Messico	31
AR - Argentina	21
BE - Belgio	17
NL - Olanda	17
ZA - Sudafrica	16
JP - Giappone	14
IQ - Iraq	12
CR - Costa Rica	11
ES - Italia	11
NG - Nigeria	11
AT - Austria	10
JM - Giamaica	10
SV - El Salvador	9
HN - Honduras	8
CW - ???statistics.table.value.countryCode.CW???	6
EU - Europa	6
ID - Indonesia	6
PK - Pakistan	6
SA - Arabia Saudita	6
TT - Trinidad e Tobago	6
CH - Svizzera	5
GP - Guadalupe	5
GT - Guatemala	5
JO - Giordania	5
KE - Kenya	5
LT - Lituania	5
RO - Romania	5
VE - Venezuela	5
CL - Cile	4
EG - Egitto	4
MD - Moldavia	4
PY - Paraguay	4
AE - Emirati Arabi Uniti	3
CO - Colombia	3
EC - Ecuador	3
HU - Ungheria	3
KZ - Kazakistan	3
MA - Marocco	3
MY - Malesia	3
OM - Oman	3
PH - Filippine	3
SN - Senegal	3
AL - Albania	2
AU - Australia	2
AZ - Azerbaigian	2
BG - Bulgaria	2
DZ - Algeria	2
EE - Estonia	2
GR - Grecia	2
IR - Iran	2
LU - Lussemburgo	2
NI - Nicaragua	2
NZ - Nuova Zelanda	2
PS - Palestinian Territory	2
RS - Serbia	2
TH - Thailandia	2
UZ - Uzbekistan	2
AW - Aruba	1
BH - Bahrain	1
BO - Bolivia	1
BY - Bielorussia	1
CZ - Repubblica Ceca	1
DK - Danimarca	1
FK - Isole Falkland (Malvinas)	1
GA - Gabon	1
GE - Georgia	1
HR - Croazia	1
IL - Israele	1
KH - Cambogia	1
LK - Sri Lanka	1
LY - Libia	1
NO - Norvegia	1
NP - Nepal	1
PA - Panama	1
PE - Perù	1
PR - Porto Rico	1
PT - Portogallo	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TW - Taiwan	1
Totale	14.924

Salva come PNG Salva come JPEG

Città	#
Milan	1.220
Fairfield	775
Ashburn	664
San Jose	640
Singapore	509
Jacksonville	458
Woodbridge	431
Houston	394
Chandler	383
Seattle	298
Hong Kong	295
Wilmington	287
Council Bluffs	284
Ann Arbor	270
Cambridge	238
Dearborn	215
Beijing	214
Dallas	184
Izmir	175
Princeton	170
Dublin	162
Nyköping	137
The Dalles	128
Boardman	109
Dong Ket	103
Staranzano	96
Los Angeles	95
Rome	88
Chicago	83
Lauterbourg	77
New York	62
San Mateo	52
Como	47
Ho Chi Minh City	47
San Diego	47
Ottawa	44
Santa Clara	39
Redmond	36
Hanoi	35
London	35
Ogden	34
São Paulo	30
Warsaw	30
Hefei	27
Orem	26
Helsinki	25
Montreal	24
Mexico City	22
Washington	22
Guangzhou	21
Denver	20
Phoenix	20
Varese	20
Buffalo	19
Brooklyn	18
Kocaeli	18
Munich	18
Frankfurt am Main	17
Brussels	16
Chennai	16
Nanjing	16
Norwalk	15
Düsseldorf	13
Poplar	13
Tokyo	13
Johannesburg	12
Kunming	12
Naples	12
San Francisco	12
Toronto	12
Verona	12
Abuja	11
Manchester	11
Salt Lake City	11
Amsterdam	10
Boston	10
Hangzhou	10
Shanghai	10
Stockholm	10
Brasília	9
Shenzhen	9
Tampa	9
Atlanta	8
Kingston	8
Magnago	8
Miami	8
Paris	8
Philadelphia	8
Redwood City	8
Zhengzhou	8
Catania	7
Las Vegas	7
San Salvador	7
Vienna	7
Ankara	6
Busto Arsizio	6
Da Nang	6
Espoo	6
Nanchang	6
Nuremberg	6
Totale	10.449

Salva come PNG Salva come JPEG

Nome	#
A Compositional Semantics of Reaction Systems with Restriction	232
Probabilistic Bisimulation as a Congruence	231
A P Systems Flat Form Preserving Step-by-step Behaviour	231
CospanSpan(Graph): A Compositional Description of the Heart System	228
Computing Bisimilarity Metrics for Probabilistic Timed Automata	221
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	219
Compositional semantics and behavioral equivalences for P Systems	217
A function elimination method for checking satisfiability of arithmetical logics	216
A Comparison of Statecharts Step Semantics	213
Automatic Analysis of the NRL Pump	209
Privacy in Real Time Systems	208
An Axiomatic Semantics for Esterel	205
Taylor Approximation for Hybrid Systems	204
Compositional semantics and behavioural equivalences for reaction systems with restriction	203
Systolic automata and P systems	199
Logical Characterization of Bisimulation Metrics	197
A Causal Semantics for Timed Concurrent Constraint Programming	197
Aspects of multiscale modelling in a process algebra for biological systems	195
Non Expansive epsilon-Bisimulations.	194
Automated Analysis of Timed Security: A Case Study on Web Privacy	193
Compositional Metric Reasoning with Probabilistic Process Calculi	193
An Axiomatic Semantics for the Synchronous Language Gentzen	192
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings	191
Notes on Generative Probabilistic Bisimulation	190
An Overview on Operational Semantics in Membrane Computing	190
Compositionality of Approximate Bisimulation for Probabilistic Systems	190
A specification format for rooted branching bisimulation	189
Fixed-point characterization of compositionality properties of probabilistic processes combinators	188
SOS specifications for uniformly continuous operators	188
Logical Characterization of Trace Metrics	187
Rule Formats for Non Interference	186
An Axiomatic Semantics for the Synchronous Language Gentzen	185
Concurrency in Timed Automata	185
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES	181
Rule Formats for Compositional Non Interference Properties	180
Projectable Semantics for Statecharts	179
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	178
Applying Techniques of Asynchronous Concurrency to Synchronous Languages	175
P Systems with transport and diffusion membrane channels	175
A Rule Format for Rooted Branching Bisimulation	175
Weak simulation quasimetric in a gossip scenario	175
Information Flow in Hybrid Systems	174
Equivalences for Statecharts	172
Two Semantics for Timed Concurrent Constraint Programming	172
Automatic Covert Channel Analysis of a Multilevel Secure Component	171
Compositional Semantics of Spiking Neural P Systems	170
A probabilistic calculus of cyber-physical systems	170
On Disjunction of Literals in Triggers of Statecharts Transitions	169
Towards a formal notion of impact metric for cyber-physical attacks	168
Timed CCP Compositionally Embeds Argos and Lustre	167
Concurrency in timed automata	166
Modal Decomposition on Nondeterministic Probabilistic Processes	164
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming	163
Foundational aspects of multiscale modeling of biological systems with process algebras	162
Taylor Approximation for Hybrid Systems	159
Extending Taylor approximation to hybrid automata with integrals	155
Dynamic Hierarchical Machines	153
Logical Characterization of Branching Metrics for Nondeterministic Probabilistic Transition Systems	147
Probabilistic Congruence for Generative Semistochastic Processes	146
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	144
Compositional Synthesis of Generalized Mealy Machines	137
Synthesis of Generalized Mealy Machines	134
epsilon-transitions in Concurrent Timed Automata	133
Compositional modeling of biological systems in cospanspan(graph)	133
Theoretical Computer Science in Italy	132
SOS specifications of probabilistic systems by uniformly continuous operators	130
Compositional weak metrics for group key update	129
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	129
Transformations of timed cooperating automata	124
Probabilistic divide & congruence: Branching bisimilarity	120
Compositional bisimulation metric reasoning with Probabilistic Process Calculi	116
Dynamic Hierarchical Machines	116
Non-expansive epsilon-bisimulations for probabilistic processes	115
P Systems with Transport and Diffusione Membrane Channels	113
On the Espressivenes of Timed Concurrent Constraint Programming	111
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes	111
Formal Models of Timing Attacks on Web Privacy	105
Equational reasonings in wireless network gossip protocols	102
A framework to measure the robustness of programs in the unpredictable environment	101
Measuring Adaptability and Reliability of Large Scale Systems	97
Preface to Special Issue: EXPRESS/SOS 2018	96
Step-by-step Robustness for Biochemical Networks	95
Raiders of the lost equivalence: Probabilistic branching bisimilarity	95
Formal Impact Metrics for Cyber-physical Attacks	82
Preface to special issue: EXPRESS/SOS 2016 + 2017	80
Formal Robustness for Cyber-Physical Systems Under Timed Attacks	79
Transformations of Timed Cooparating Automata	78
How Adaptive and Reliable is Your Program?	78
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	72
null	71
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 Preface	66
Robustness for biochemical networks: Step-by-step approach	65
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment	64
Back to the format: A survey on SOS for probabilistic processes	63
Measuring robustness in cyber-physical systems under sensor attacks	62
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations	61
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems	59
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics Beijing, China, September 3, 2018 Preface	57
RobTL: Robustness Temporal Logic for CPS	55
STARK: A tool for the analysis of CPSs robustness	52
Totale	14.994

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	60.655
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	60.655

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	684	0	0	0	37	59	34	69	52	55	179	75	124
2022/2023	1.118	151	52	54	120	86	237	3	133	179	30	37	36
2023/2024	1.890	306	306	288	367	376	101	33	24	52	18	2	17
2024/2025	1.296	7	11	226	34	41	63	64	43	176	101	162	368
2025/2026	3.405	172	207	167	499	340	252	676	245	406	218	121	102
2026/2027	1.099	46	172	547	334	0	0	0	0	0	0	0	0
Totale													15.162