CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.318
EU - Europa 2.017
AS - Asia 1.572
SA - Sud America 204
AF - Africa 58
Continente sconosciuto - Info sul continente non disponibili 26
OC - Oceania 3
Totale 6.198
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.279
RU - Federazione Russa 794
SG - Singapore 690
GB - Regno Unito 448
CN - Cina 431
VN - Vietnam 175
BR - Brasile 159
FR - Francia 153
IT - Italia 153
HK - Hong Kong 123
DE - Germania 118
FI - Finlandia 111
IE - Irlanda 78
SE - Svezia 69
KR - Corea 62
UA - Ucraina 49
NG - Nigeria 38
CA - Canada 22
IN - India 18
AR - Argentina 17
PL - Polonia 13
BE - Belgio 10
MX - Messico 10
BD - Bangladesh 9
PH - Filippine 8
CO - Colombia 7
EC - Ecuador 7
IQ - Iraq 7
JP - Giappone 7
VE - Venezuela 7
ZA - Sudafrica 7
ID - Indonesia 6
TR - Turchia 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
KZ - Kazakistan 4
NL - Olanda 4
AU - Australia 3
IL - Israele 3
MY - Malesia 3
PY - Paraguay 3
SA - Arabia Saudita 3
UY - Uruguay 3
AT - Austria 2
BG - Bulgaria 2
BY - Bielorussia 2
CR - Costa Rica 2
DZ - Algeria 2
EG - Egitto 2
ES - Italia 2
HR - Croazia 2
KE - Kenya 2
PK - Pakistan 2
RO - Romania 2
SN - Senegal 2
TH - Thailandia 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
AD - Andorra 1
AW - Aruba 1
BJ - Benin 1
BN - Brunei Darussalam 1
BW - Botswana 1
CL - Cile 1
CZ - Repubblica Ceca 1
ET - Etiopia 1
EU - Europa 1
HN - Honduras 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LV - Lettonia 1
MD - Moldavia 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.174
Salva come PNG Salva come JPEG
Città #
Jacksonville 426
Singapore 363
Southend 329
Chandler 264
Moscow 236
San Jose 233
Ashburn 169
Dallas 123
Hong Kong 121
Ann Arbor 89
Dublin 78
Verona 75
Ho Chi Minh City 72
Woodbridge 72
Lancaster 69
Council Bluffs 67
The Dalles 63
Houston 58
Nanjing 53
Lawrence 48
Princeton 48
Beijing 40
Abuja 37
Wilmington 37
Hanoi 35
Sindelfingen 35
Shenyang 34
Jinan 30
Los Angeles 25
Buffalo 21
Santa Clara 21
Changsha 20
Hebei 19
Helsinki 18
Milan 18
Boardman 17
Tianjin 17
New York 16
Redondo Beach 13
Seoul 13
Haikou 12
Brussels 10
Hangzhou 10
Ningbo 10
Staranzano 10
Taizhou 10
Frankfurt am Main 9
Jiaxing 9
São Paulo 9
Montreal 8
Nanchang 8
San Francisco 8
Toronto 8
Warsaw 8
Biên Hòa 7
Chicago 7
Da Nang 7
Falkenstein 7
Fuzhou 7
Norwalk 7
Rome 7
Taiyuan 7
Zhengzhou 7
Tokyo 6
Chennai 5
Curitiba 5
Guangzhou 5
Haiphong 5
Munich 5
Naples 5
Orem 5
Rio de Janeiro 5
Tashkent 5
Wroclaw 5
Brasília 4
Brooklyn 4
Columbus 4
Johannesburg 4
London 4
Quito 4
Abu Dhabi 3
Atlanta 3
Caxias do Sul 3
Des Moines 3
Düsseldorf 3
Fairfield 3
Grosseto 3
Ha Long 3
Lanzhou 3
Lappeenranta 3
Las Vegas 3
Manchester 3
Mehlingen 3
Mexico City 3
Newark 3
Ninh Bình 3
Presidente Prudente 3
Redmond 3
San Diego 3
Ankara 2
Totale 3.853
Salva come PNG Salva come JPEG
Nome #
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 191
Distributed collision avoidance for autonomous vehicles: World automata representation 165
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 160
A computable and compositional semantics for hybrid systems 158
Axiomatizations for Probabilistic Bisimulation 158
A Compositional Trace-Based Semantics for Probabilistic Automata 156
Conditional Automata: A Tool for Safe Removal of Negligible Events 155
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 153
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 152
A computable and compositional semantics for hybrid automata 149
Analyzing Security Protocols Using Time-Bounded Task-PIOAs 148
Modeling Objects Moving in a Complex Environment with World Automata 147
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 144
Decision Algorithms for Probabilistic Bisimulation 139
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 138
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 137
Compositionality for Probabilistic Automata 133
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 133
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 130
Compositional Verification of Randomized Distributed Algorithms 130
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 129
Dynamic Load Balancing with Group Communication 129
A New Definition of Multilevel Security 127
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 123
Coin Lemmas with Random Variables 122
System Support for Partition-Aware Network Applications 119
Recent Results on Computable and Compositional Semantics for Hybrid Systems 119
Switched PIOA: Parallel composition via distributed scheduling 115
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems 115
Observing Branching Structure through Probabilistic Contexts 113
Probabilistic Logical Characterization 113
Hybrid I/O Automata Revisited 111
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 111
Hybrid I/O Automata 111
Formal Verification of Timed Properties for Randomized Distributed Algorithms 111
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 110
Selected papers from QEST 2010 108
Stochastic Transition Systems for Continuous State Spaces and Non-determinism 103
Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols 100
Random Measurable SelectionsHorizons of the Mind. A Tribute to Prakash Panangaden 100
Task-structured probabilistic I/O automata 100
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 99
Proving Time Bounds for Randomized Distributed Algorithms 98
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 98
Verifying Soft Deadlines with Probabilistic Timed Automata 96
Task-Structured Probabilistic I/O Automata 96
The Essence of Coin Lemmas 94
Probability and Nondeterminism in Operational Models of Concurrency 88
Testing Probabilistic Automata 84
Switched Probabilistic I/O Automata 80
Totale 6.198
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.889
article - articoli 4.665
book - libri 0
conference - conferenze 14.911
curatela - curatele 0
other - altro 777
patent - brevetti 0
selected - selezionate 0
volume - volumi 536
Totale 41.778
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022172 0 0 0 1 4 3 2 20 15 11 28 88
2022/2023700 65 75 69 146 69 143 4 33 65 4 22 5
2023/2024219 21 22 13 53 14 3 5 19 1 17 27 24
2024/2025805 29 72 15 157 18 26 12 57 125 32 51 211
2025/20262.390 184 152 123 424 628 140 256 113 227 82 25 36
2026/2027315 22 69 125 99 0 0 0 0 0 0 0 0
Totale 6.198