CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202153 0 0 0 0 0 0 0 0 0 0 51 2
2021/2022263 20 68 3 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.327 184 152 123 424 628 140 256 113 227 80 0 0
Totale 5.820