statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	6.136
EU - Europa	3.577
AS - Asia	2.048
SA - Sud America	224
AF - Africa	32
Continente sconosciuto - Info sul continente non disponibili	6
OC - Oceania	4
Totale	12.027

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.043
IT - Italia	1.754
SG - Singapore	706
UA - Ucraina	571
SE - Svezia	409
TR - Turchia	404
CN - Cina	366
HK - Hong Kong	268
VN - Vietnam	215
BR - Brasile	195
DE - Germania	165
IE - Irlanda	161
GB - Regno Unito	147
FI - Finlandia	140
RU - Federazione Russa	76
CA - Canada	70
FR - Francia	45
PL - Polonia	32
IN - India	30
MX - Messico	19
AR - Argentina	18
BE - Belgio	16
ZA - Sudafrica	14
NL - Olanda	13
BD - Bangladesh	12
JP - Giappone	12
ES - Italia	11
AT - Austria	8
EU - Europa	6
IQ - Iraq	6
KE - Kenya	5
LT - Lituania	5
CH - Svizzera	4
EG - Egitto	4
ID - Indonesia	4
PY - Paraguay	4
RO - Romania	4
AE - Emirati Arabi Uniti	3
JM - Giamaica	3
JO - Giordania	3
MA - Marocco	3
SA - Arabia Saudita	3
AL - Albania	2
AU - Australia	2
AZ - Azerbaigian	2
DZ - Algeria	2
GR - Grecia	2
HU - Ungheria	2
LU - Lussemburgo	2
NZ - Nuova Zelanda	2
PH - Filippine	2
PS - Palestinian Territory	2
SN - Senegal	2
VE - Venezuela	2
BG - Bulgaria	1
BH - Bahrain	1
BY - Bielorussia	1
CL - Cile	1
CZ - Repubblica Ceca	1
DK - Danimarca	1
EC - Ecuador	1
EE - Estonia	1
FK - Isole Falkland (Malvinas)	1
GA - Gabon	1
GE - Georgia	1
HR - Croazia	1
IR - Iran	1
KH - Cambogia	1
KZ - Kazakistan	1
MY - Malesia	1
NO - Norvegia	1
NP - Nepal	1
PA - Panama	1
PE - Perù	1
PK - Pakistan	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TW - Taiwan	1
UY - Uruguay	1
UZ - Uzbekistan	1
Totale	12.027

Salva come PNG Salva come JPEG

Città	#
Milan	1.201
Fairfield	775
Ashburn	467
Jacksonville	455
Woodbridge	431
Houston	392
Chandler	383
Singapore	383
Seattle	298
Wilmington	286
Ann Arbor	270
Hong Kong	267
Cambridge	237
Dearborn	215
Izmir	175
Beijing	174
Dallas	172
Princeton	170
Dublin	161
Nyköping	137
Boardman	109
Dong Ket	103
The Dalles	81
Los Angeles	79
Rome	77
San Mateo	52
Chicago	51
New York	49
Como	47
San Diego	47
Ottawa	38
Redmond	36
London	34
Ogden	34
Warsaw	30
Hefei	26
Santa Clara	24
São Paulo	24
Varese	20
Washington	20
Denver	19
Kocaeli	18
Munich	18
Brussels	16
Montreal	16
Nanjing	16
Brooklyn	15
Mexico City	15
Norwalk	14
Düsseldorf	13
Orem	13
Poplar	13
Buffalo	12
Johannesburg	12
Kunming	12
Chennai	11
Frankfurt am Main	11
Guangzhou	11
Tokyo	11
Verona	11
Hanoi	10
Ho Chi Minh City	10
San Francisco	10
Stockholm	10
Boston	9
Brasília	9
Helsinki	9
Phoenix	9
Amsterdam	8
Magnago	8
Redwood City	8
Salt Lake City	8
Tampa	7
Toronto	7
Zhengzhou	7
Ankara	6
Busto Arsizio	6
Council Bluffs	6
Espoo	6
Nanchang	6
Vienna	6
Berlin	5
Castellanza	5
Fuzhou	5
Manchester	5
Nuremberg	5
Philadelphia	5
Rio de Janeiro	5
Shanghai	5
São Bernardo do Campo	5
Atlanta	4
Belo Horizonte	4
Columbus	4
Curitiba	4
Edinburgh	4
Genzano Di Roma	4
Hebei	4
Islington	4
Jinan	4
Kilburn	4
Totale	8.557

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	1.026	0	0	0	0	0	193	50	125	207	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	1.604	172	207	167	499	340	219	0	0	0	0	0	0
Totale													12.262