statistiche ricercatore

TINI, SIMONE

Distribuzione geografica

Continente	#
NA - Nord America	5.111
EU - Europa	3.298
AS - Asia	774
SA - Sud America	8
Continente sconosciuto - Info sul continente non disponibili	6
OC - Oceania	4
AF - Africa	2
Totale	9.203

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.061
IT - Italia	1.720
UA - Ucraina	570
SE - Svezia	402
TR - Turchia	395
VN - Vietnam	180
CN - Cina	179
IE - Irlanda	162
DE - Germania	142
FI - Finlandia	129
GB - Regno Unito	95
CA - Canada	49
FR - Francia	37
BE - Belgio	14
BR - Brasile	6
EU - Europa	6
IN - India	5
SG - Singapore	5
NL - Olanda	4
RO - Romania	4
AT - Austria	3
JP - Giappone	3
AU - Australia	2
CH - Svizzera	2
DZ - Algeria	2
ES - Italia	2
HU - Ungheria	2
LU - Lussemburgo	2
NZ - Nuova Zelanda	2
BD - Bangladesh	1
CZ - Repubblica Ceca	1
DK - Danimarca	1
EE - Estonia	1
FK - Isole Falkland (Malvinas)	1
GR - Grecia	1
HK - Hong Kong	1
HR - Croazia	1
IR - Iran	1
KH - Cambogia	1
LT - Lituania	1
NO - Norvegia	1
NP - Nepal	1
PA - Panama	1
PE - Perù	1
PH - Filippine	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
Totale	9.203

Salva come PNG Salva come JPEG

Città	#
Milan	1.208
Fairfield	775
Jacksonville	455
Woodbridge	429
Chandler	387
Houston	386
Ashburn	355
Seattle	293
Wilmington	283
Ann Arbor	270
Cambridge	237
Dearborn	215
Izmir	175
Princeton	172
Dublin	162
Nyköping	137
Dong Ket	103
Rome	77
San Mateo	52
Beijing	50
Como	47
San Diego	47
Ottawa	38
Redmond	36
Ogden	34
Hefei	26
Washington	20
Kocaeli	18
Los Angeles	18
Nanjing	16
Boardman	15
Dallas	15
Brussels	14
Norwalk	14
Düsseldorf	13
London	13
Kunming	12
New York	12
Frankfurt am Main	11
Guangzhou	11
Verona	10
Magnago	8
Redwood City	8
Helsinki	7
Toronto	7
Zhengzhou	7
Busto Arsizio	6
Nanchang	6
São Paulo	6
Varese	6
Berlin	5
Castellanza	5
Chicago	5
Fuzhou	5
Edinburgh	4
Genzano Di Roma	4
Hebei	4
Islington	4
Kilburn	4
Napoli	4
Parkville	4
Philadelphia	4
Shenyang	4
Wuhan	4
Bollate	3
Chiswick	3
Fornovo Di Taro	3
Lappeenranta	3
Pune	3
San Francisco	3
Shanghai	3
Stockholm	3
Strasbourg	3
Vienna	3
Amsterdam	2
Auburn Hills	2
Boffalora sopra Ticino	2
Bologna	2
Castiglione Olona	2
Changsha	2
Chongqing	2
Cinisello Balsamo	2
Giussano	2
Hounslow	2
Inverigo	2
Jinan	2
Legnano	2
Madrid	2
Munich	2
Nanning	2
Pavia	2
Phoenix	2
San Jose	2
Singapore	2
Southwark	2
Timisoara	2
Tokyo	2
Vicenza	2
Acton	1
Athens	1
Totale	6.862

Salva come PNG Salva come JPEG

Nome	#
CospanSpan(Graph): A Compositional Description of the Heart System	182
Computing Bisimilarity Metrics for Probabilistic Timed Automata	169
Compositional semantics and behavioural equivalences for reaction systems with restriction	162
Taylor Approximation for Hybrid Systems	159
Probabilistic Bisimulation as a Congruence	157
Privacy in Real Time Systems	157
Compositional semantics and behavioral equivalences for P Systems	156
Notes on Generative Probabilistic Bisimulation	156
Systolic automata and P systems	155
Compositionality of Approximate Bisimulation for Probabilistic Systems	151
Compositional Metric Reasoning with Probabilistic Process Calculi	151
Fixed-point characterization of compositionality properties of probabilistic processes combinators	150
Concurrency in Timed Automata	146
A P Systems Flat Form Preserving Step-by-step Behaviour	143
A function elimination method for checking satisfiability of arithmetical logics	142
Automatic Analysis of the NRL Pump	138
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	138
SOS specifications for uniformly continuous operators	137
Rule Formats for Non Interference	136
Information Flow in Hybrid Systems	134
A Compositional Semantics of Reaction Systems with Restriction	133
Automated Analysis of Timed Security: A Case Study on Web Privacy	132
Logical Characterization of Bisimulation Metrics	132
An Axiomatic Semantics for the Synchronous Language Gentzen	131
Rule Formats for Compositional Non Interference Properties	131
Concurrency in timed automata	128
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	128
Non Expansive epsilon-Bisimulations.	127
On Disjunction of Literals in Triggers of Statecharts Transitions	127
Compositional Semantics of Spiking Neural P Systems	125
Foundational aspects of multiscale modeling of biological systems with process algebras	125
Towards a formal notion of impact metric for cyber-physical attacks	125
Automatic Covert Channel Analysis of a Multilevel Secure Component	124
Projectable Semantics for Statecharts	123
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings	123
Timed CCP Compositionally Embeds Argos and Lustre	122
A Comparison of Statecharts Step Semantics	121
Logical Characterization of Trace Metrics	121
null	120
An Axiomatic Semantics for Esterel	119
An Overview on Operational Semantics in Membrane Computing	118
Aspects of multiscale modelling in a process algebra for biological systems	117
Equivalences for Statecharts	117
An Axiomatic Semantics for the Synchronous Language Gentzen	116
P Systems with transport and diffusion membrane channels	113
Logical Characterization of Branching Metrics for Nondeterministic Probabilistic Transition Systems	110
Applying Techniques of Asynchronous Concurrency to Synchronous Languages	109
A specification format for rooted branching bisimulation	109
A Causal Semantics for Timed Concurrent Constraint Programming	108
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	102
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES	102
Modal Decomposition on Nondeterministic Probabilistic Processes	101
Two Semantics for Timed Concurrent Constraint Programming	100
Taylor Approximation for Hybrid Systems	99
Dynamic Hierarchical Machines	98
A Probabilistic Calculus of Cyber-Physical Systems	98
epsilon-transitions in Concurrent Timed Automata	97
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming	96
A Rule Format for Rooted Branching Bisimulation	93
Probabilistic Congruence for Generative Semistochastic Processes	92
SOS specifications of probabilistic systems by uniformly continuous operators	91
Theoretical Computer Science in Italy	91
Extending taylor approximation to hybrid automata with integrals	89
Transformations of timed cooperating automata	87
Compositional weak metrics for group key update	86
Compositional Synthesis of Generalized Mealy Machines	84
Compositional bisimulation metric reasoning with Probabilistic Process Calculi	78
Dynamic Hierarchical Machines	76
Probabilistic divide & congruence: Branching bisimilarity	75
null	71
On the Espressivenes of Timed Concurrent Constraint Programming	71
Compositional modeling of biological systems in cospanspan(graph)	68
Synthesis of Generalized Mealy Machines	66
Non-expansive epsilon-bisimulations for probabilistic processes	65
Formal Models of Timing Attacks on Web Privacy	65
Preface to special issue: EXPRESS/SOS 2016 + 2017	55
Equational reasonings in wireless network gossip protocols	52
P Systems with Transport and Diffusione Membrane Channels	51
Raiders of the lost equivalence: Probabilistic branching bisimilarity	51
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	49
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes	48
Transformations of Timed Cooparating Automata	44
null	40
Measuring Adaptability and Reliability of Large Scale Systems	40
Formal Impact Metrics for Cyber-physical Attacks	39
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 Preface	31
Weak simulation quasimetric in a gossip scenario	31
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics Beijing, China, September 3, 2018 Preface	25
How Adaptive and Reliable is Your Program?	25
Step-by-step Robustness for Biochemical Networks	14
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	8
Back to the format: A survey on SOS for probabilistic processes	6
A FRAMEWORK TO MEASURE THE ROBUSTNESS OF PROGRAMS IN THE UNPREDICTABLE ENVIRONMENT	5
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment	1
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems	1
STARK: A tool for the analysis of CPSs robustness	1
Totale	9.411

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	1.838	0	0	76	313	126	260	335	238	157	149	36	148
2020/2021	1.472	42	139	50	139	76	193	50	125	207	114	121	216
2021/2022	993	114	112	82	37	59	34	69	52	55	179	75	125
2022/2023	1.124	152	52	54	123	86	239	3	133	179	30	37	36
2023/2024	1.914	311	310	293	371	381	102	33	24	52	18	2	17
2024/2025	18	7	11	0	0	0	0	0	0	0	0	0	0
Totale													9.411