statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	6.831
EU - Europa	3.725
AS - Asia	2.681
SA - Sud America	244
AF - Africa	47
Continente sconosciuto - Info sul continente non disponibili	6
OC - Oceania	4
Totale	13.538

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.718
IT - Italia	1.765
SG - Singapore	944
CN - Cina	586
UA - Ucraina	572
SE - Svezia	410
TR - Turchia	407
VN - Vietnam	306
HK - Hong Kong	293
BR - Brasile	203
DE - Germania	171
IE - Irlanda	161
FI - Finlandia	156
GB - Regno Unito	156
FR - Francia	136
CA - Canada	78
RU - Federazione Russa	76
IN - India	44
PL - Polonia	33
MX - Messico	31
AR - Argentina	20
BD - Bangladesh	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
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.538

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	451	0	0	0	0	0	0	0	0	0	114	121	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.115	172	207	167	499	340	252	676	245	406	151	0	0
Totale													13.773