CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.124
EU - Europa 1.998
AS - Asia 1.560
SA - Sud America 196
AF - Africa 57
Continente sconosciuto - Info sul continente non disponibili 25
OC - Oceania 3
Totale 5.963
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.090
RU - Federazione Russa 794
SG - Singapore 688
GB - Regno Unito 445
CN - Cina 429
VN - Vietnam 174
BR - Brasile 156
FR - Francia 153
IT - Italia 137
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 18
IN - India 18
AR - Argentina 17
PL - Polonia 13
BE - Belgio 10
MX - Messico 10
BD - Bangladesh 7
IQ - Iraq 7
JP - Giappone 7
ZA - Sudafrica 7
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
RO - Romania 2
SN - Senegal 2
TH - Thailandia 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AD - Andorra 1
AW - Aruba 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
PA - Panama 1
PS - Palestinian Territory 1
Totale 5.939
Salva come PNG Salva come JPEG
Città #
Jacksonville 426
Singapore 361
Southend 329
Chandler 264
Moscow 236
San Jose 226
Ashburn 141
Hong Kong 121
Dallas 99
Ann Arbor 89
Dublin 78
Verona 74
Ho Chi Minh City 72
Woodbridge 72
Lancaster 68
Council Bluffs 67
The Dalles 63
Houston 57
Nanjing 53
Lawrence 48
Princeton 48
Beijing 40
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
Milan 17
Tianjin 17
Santa Clara 16
New York 14
Redondo Beach 13
Seoul 13
Haikou 12
Brussels 10
Hangzhou 10
Ningbo 10
Taizhou 10
Frankfurt am Main 9
Jiaxing 9
São Paulo 9
Nanchang 8
San Francisco 8
Warsaw 8
Biên Hòa 7
Da Nang 7
Falkenstein 7
Fuzhou 7
Montreal 7
Norwalk 7
Taiyuan 7
Toronto 7
Zhengzhou 7
Rome 6
Tokyo 6
Chennai 5
Curitiba 5
Guangzhou 5
Haiphong 5
Munich 5
Orem 5
Rio de Janeiro 5
Tashkent 5
Wroclaw 5
Brooklyn 4
Columbus 4
Johannesburg 4
London 4
Naples 4
Abu Dhabi 3
Atlanta 3
Brasília 3
Caxias do Sul 3
Chicago 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
Campo Grande 2
Totale 3.759
Salva come PNG Salva come JPEG
Nome #
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 188
Distributed collision avoidance for autonomous vehicles: World automata representation 158
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 156
Axiomatizations for Probabilistic Bisimulation 153
A computable and compositional semantics for hybrid systems 151
A Compositional Trace-Based Semantics for Probabilistic Automata 150
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 149
Conditional Automata: A Tool for Safe Removal of Negligible Events 148
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 147
Analyzing Security Protocols Using Time-Bounded Task-PIOAs 147
A computable and compositional semantics for hybrid automata 145
Modeling Objects Moving in a Complex Environment with World Automata 143
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 140
Decision Algorithms for Probabilistic Bisimulation 134
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 132
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 132
Compositionality for Probabilistic Automata 127
Compositional Verification of Randomized Distributed Algorithms 127
Dynamic Load Balancing with Group Communication 126
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 125
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 123
A New Definition of Multilevel Security 123
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 120
Coin Lemmas with Random Variables 118
System Support for Partition-Aware Network Applications 116
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 116
Recent Results on Computable and Compositional Semantics for Hybrid Systems 115
Switched PIOA: Parallel composition via distributed scheduling 112
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems 112
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 108
Hybrid I/O Automata 108
Formal Verification of Timed Properties for Randomized Distributed Algorithms 108
Observing Branching Structure through Probabilistic Contexts 108
Probabilistic Logical Characterization 108
Hybrid I/O Automata Revisited 107
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 106
Selected papers from QEST 2010 103
Task-structured probabilistic I/O automata 98
Stochastic Transition Systems for Continuous State Spaces and Non-determinism 97
Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols 96
Proving Time Bounds for Randomized Distributed Algorithms 94
Verifying Soft Deadlines with Probabilistic Timed Automata 92
Task-Structured Probabilistic I/O Automata 92
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 92
Random Measurable SelectionsHorizons of the Mind. A Tribute to Prakash Panangaden 92
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 91
The Essence of Coin Lemmas 90
Probability and Nondeterminism in Operational Models of Concurrency 84
Testing Probabilistic Automata 81
Switched Probabilistic I/O Automata 75
Totale 5.963
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.919
article - articoli 4.458
book - libri 0
conference - conferenze 14.196
curatela - curatele 0
other - altro 747
patent - brevetti 0
selected - selezionate 0
volume - volumi 518
Totale 39.838
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022243 0 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.390 184 152 123 424 628 140 256 113 227 82 25 36
2026/202780 22 58 0 0 0 0 0 0 0 0 0 0
Totale 5.963