statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	7.052
EU - Europa	3.753
AS - Asia	2.708
SA - Sud America	244
AF - Africa	47
Continente sconosciuto - Info sul continente non disponibili	6
OC - Oceania	4
Totale	13.814

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.938
IT - Italia	1.783
SG - Singapore	952
CN - Cina	595
UA - Ucraina	572
SE - Svezia	411
TR - Turchia	407
VN - Vietnam	306
HK - Hong Kong	294
BR - Brasile	203
DE - Germania	171
GB - Regno Unito	161
IE - Irlanda	161
FI - Finlandia	156
FR - Francia	136
CA - Canada	79
RU - Federazione Russa	76
IN - India	44
PL - Polonia	33
MX - Messico	31
BD - Bangladesh	29
AR - Argentina	20
BE - Belgio	17
NL - Olanda	17
ZA - Sudafrica	16
JP - Giappone	14
IQ - Iraq	12
ES - Italia	11
NG - Nigeria	11
AT - Austria	10
EU - Europa	6
ID - Indonesia	6
PK - Pakistan	6
SA - Arabia Saudita	6
JO - Giordania	5
KE - Kenya	5
LT - Lituania	5
RO - Romania	5
VE - Venezuela	5
CH - Svizzera	4
EG - Egitto	4
MD - Moldavia	4
PY - Paraguay	4
AE - Emirati Arabi Uniti	3
CL - Cile	3
EC - Ecuador	3
HU - Ungheria	3
JM - Giamaica	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
CO - Colombia	2
DZ - Algeria	2
EE - Estonia	2
GR - Grecia	2
IR - Iran	2
LU - Lussemburgo	2
NZ - Nuova Zelanda	2
PS - Palestinian Territory	2
RS - Serbia	2
TH - Thailandia	2
UZ - Uzbekistan	2
BG - Bulgaria	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
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TW - Taiwan	1
UY - Uruguay	1
Totale	13.814

Salva come PNG Salva come JPEG

Città	#
Milan	1.206
Fairfield	775
San Jose	539
Ashburn	538
Singapore	509
Jacksonville	456
Woodbridge	431
Houston	393
Chandler	383
Seattle	298
Hong Kong	291
Wilmington	287
Ann Arbor	270
Cambridge	237
Dearborn	215
Beijing	206
Dallas	179
Izmir	175
Princeton	170
Dublin	161
Nyköping	137
The Dalles	128
Boardman	109
Dong Ket	103
Los Angeles	85
Council Bluffs	84
Chicago	79
Lauterbourg	77
Rome	77
New York	55
San Mateo	52
Como	47
Ho Chi Minh City	47
San Diego	47
Ottawa	40
Redmond	36
Hanoi	35
London	35
Ogden	34
Santa Clara	30
Warsaw	30
Hefei	27
Orem	26
Helsinki	25
São Paulo	24
Mexico City	22
Guangzhou	21
Varese	20
Washington	20
Denver	19
Montreal	19
Kocaeli	18
Munich	18
Brooklyn	17
Brussels	16
Chennai	16
Frankfurt am Main	16
Nanjing	16
Norwalk	15
Buffalo	13
Düsseldorf	13
Poplar	13
Tokyo	13
Johannesburg	12
Kunming	12
Phoenix	12
Abuja	11
San Francisco	11
Verona	11
Amsterdam	10
Boston	10
Hangzhou	10
Salt Lake City	10
Shanghai	10
Stockholm	10
Brasília	9
Manchester	9
Shenzhen	9
Magnago	8
Paris	8
Redwood City	8
Toronto	8
Zhengzhou	8
Tampa	7
Vienna	7
Ankara	6
Busto Arsizio	6
Da Nang	6
Espoo	6
Las Vegas	6
Nanchang	6
Nuremberg	6
Tianjin	6
Amman	5
Atlanta	5
Berlin	5
Castellanza	5
Fuzhou	5
Jinan	5
Mumbai	5
Totale	9.786

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	216	0	0	0	0	0	0	0	0	0	0	0	216
2021/2022	992	114	112	82	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.391	172	207	167	499	340	252	676	245	406	218	121	88
Totale													14.049