statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	7.193
EU - Europa	3.792
AS - Asia	2.725
SA - Sud America	254
Continente sconosciuto - Info sul continente non disponibili	241
AF - Africa	47
OC - Oceania	4
Totale	14.256

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	7.076
IT - Italia	1.796
SG - Singapore	955
CN - Cina	602
UA - Ucraina	573
SE - Svezia	431
TR - Turchia	407
VN - Vietnam	306
HK - Hong Kong	298
BR - Brasile	210
DE - Germania	171
IE - Irlanda	163
GB - Regno Unito	161
FI - Finlandia	156
FR - Francia	136
CA - Canada	80
RU - Federazione Russa	76
IN - India	44
PL - Polonia	33
BD - Bangladesh	32
MX - Messico	31
AR - Argentina	21
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
CH - Svizzera	5
JO - Giordania	5
KE - Kenya	5
LT - Lituania	5
RO - Romania	5
VE - Venezuela	5
CL - Cile	4
EG - Egitto	4
JM - Giamaica	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
NZ - Nuova Zelanda	2
PS - Palestinian Territory	2
RS - Serbia	2
TH - Thailandia	2
UZ - Uzbekistan	2
BH - Bahrain	1
BO - Bolivia	1
BY - Bielorussia	1
CR - Costa Rica	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
PT - Portogallo	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TW - Taiwan	1
UY - Uruguay	1
Totale	14.021

Salva come PNG Salva come JPEG

Città	#
Milan	1.210
Fairfield	775
Ashburn	544
San Jose	540
Singapore	509
Jacksonville	456
Woodbridge	431
Houston	393
Chandler	383
Seattle	298
Hong Kong	295
Wilmington	287
Ann Arbor	270
Cambridge	237
Dearborn	215
Beijing	213
Dallas	179
Izmir	175
Council Bluffs	171
Princeton	170
Dublin	162
Nyköping	137
The Dalles	128
Boardman	109
Dong Ket	103
Los Angeles	87
Chicago	80
Lauterbourg	77
Rome	77
New York	55
San Mateo	52
Como	47
Ho Chi Minh City	47
San Diego	47
Ottawa	40
Santa Clara	37
Redmond	36
Hanoi	35
London	35
Ogden	34
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	14
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
Tampa	8
Toronto	8
Zhengzhou	8
Las Vegas	7
Vienna	7
Ankara	6
Busto Arsizio	6
Da Nang	6
Espoo	6
Nanchang	6
Nuremberg	6
Philadelphia	6
Tianjin	6
Amman	5
Atlanta	5
Berlin	5
Castellanza	5
Fuzhou	5
Jinan	5
Totale	9.910

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	878	0	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.405	172	207	167	499	340	252	676	245	406	218	121	102
2026/2027	193	46	147	0	0	0	0	0	0	0	0	0	0
Totale													14.256