statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	5.460
EU - Europa	3.449
AS - Asia	1.315
SA - Sud America	139
AF - Africa	12
Continente sconosciuto - Info sul continente non disponibili	6
OC - Oceania	4
Totale	10.385

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.407
IT - Italia	1.747
UA - Ucraina	570
SE - Svezia	403
TR - Turchia	397
SG - Singapore	301
HK - Hong Kong	219
CN - Cina	185
VN - Vietnam	180
IE - Irlanda	161
DE - Germania	153
FI - Finlandia	137
BR - Brasile	129
GB - Regno Unito	106
RU - Federazione Russa	72
CA - Canada	50
FR - Francia	41
BE - Belgio	16
IN - India	9
NL - Olanda	7
PL - Polonia	7
AT - Austria	6
EU - Europa	6
BD - Bangladesh	5
AR - Argentina	4
RO - Romania	4
IQ - Iraq	3
JP - Giappone	3
KE - Kenya	3
MA - Marocco	3
AU - Australia	2
AZ - Azerbaigian	2
CH - Svizzera	2
DZ - Algeria	2
ES - Italia	2
GR - Grecia	2
HU - Ungheria	2
LU - Lussemburgo	2
NZ - Nuova Zelanda	2
PH - Filippine	2
PY - Paraguay	2
ZA - Sudafrica	2
AL - Albania	1
BY - Bielorussia	1
CZ - Repubblica Ceca	1
DK - Danimarca	1
EC - Ecuador	1
EE - Estonia	1
EG - Egitto	1
FK - Isole Falkland (Malvinas)	1
GE - Georgia	1
HR - Croazia	1
IR - Iran	1
JM - Giamaica	1
JO - Giordania	1
KH - Cambogia	1
LT - Lituania	1
MX - Messico	1
NO - Norvegia	1
NP - Nepal	1
PA - Panama	1
PE - Perù	1
PK - Pakistan	1
PS - Palestinian Territory	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
UZ - Uzbekistan	1
VE - Venezuela	1
Totale	10.385

Salva come PNG Salva come JPEG

Città	#
Milan	1.198
Fairfield	775
Jacksonville	455
Woodbridge	431
Houston	386
Chandler	383
Ashburn	362
Seattle	294
Wilmington	285
Ann Arbor	270
Cambridge	237
Hong Kong	218
Dearborn	215
Izmir	175
Princeton	170
Dublin	161
Nyköping	137
Singapore	130
Boardman	109
Dong Ket	103
Rome	77
The Dalles	58
Beijing	53
San Mateo	52
Como	47
San Diego	47
Ottawa	38
Chicago	36
Redmond	36
Ogden	34
Los Angeles	31
Hefei	26
Washington	20
Varese	19
Kocaeli	18
London	17
Santa Clara	17
Brussels	16
Dallas	16
Nanjing	16
Norwalk	14
São Paulo	14
Düsseldorf	13
Kunming	12
New York	12
Frankfurt am Main	11
Guangzhou	11
Verona	10
Helsinki	9
Magnago	8
Redwood City	8
Munich	7
San Francisco	7
Toronto	7
Zhengzhou	7
Brooklyn	6
Busto Arsizio	6
Espoo	6
Nanchang	6
Warsaw	6
Berlin	5
Castellanza	5
Fuzhou	5
Salt Lake City	5
Amsterdam	4
Belo Horizonte	4
Brasília	4
Council Bluffs	4
Edinburgh	4
Genzano Di Roma	4
Hebei	4
Islington	4
Kilburn	4
Napoli	4
Nuremberg	4
Parkville	4
Philadelphia	4
Phoenix	4
Savona	4
Shanghai	4
Shenyang	4
Stockholm	4
Vienna	4
Wuhan	4
Atlanta	3
Bollate	3
Casablanca	3
Chiswick	3
Curitiba	3
Fornovo Di Taro	3
Garanhuns	3
Lappeenranta	3
Leipzig	3
Nairobi	3
Porto Alegre	3
Pune	3
Strasbourg	3
São Bernardo do Campo	3
Trento	3
Auburn Hills	2
Totale	7.495

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	148	0	0	0	0	0	0	0	0	0	0	0	148
2020/2021	1.472	42	139	50	139	76	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.256	7	11	226	34	41	63	64	43	176	101	162	328
Totale													10.618