CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021186 0 0 0 0 0 48 0 44 41 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/20261.608 184 152 123 424 628 97 0 0 0 0 0 0
Totale 5.101