CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.791
NA - Nord America 1.643
AS - Asia 1.218
SA - Sud America 186
AF - Africa 12
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.854
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.616
RU - Federazione Russa 675
SG - Singapore 522
GB - Regno Unito 444
CN - Cina 399
BR - Brasile 148
FR - Francia 147
HK - Hong Kong 118
DE - Germania 111
FI - Finlandia 110
VN - Vietnam 80
IT - Italia 75
IE - Irlanda 74
SE - Svezia 68
KR - Corea 55
UA - Ucraina 48
AR - Argentina 16
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
UZ - Uzbekistan 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
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 4.854
Salva come PNG Salva come JPEG
Città #
Jacksonville 425
Southend 329
Chandler 264
Singapore 212
Moscow 199
Hong Kong 117
Dallas 99
Ann Arbor 89
Ashburn 80
Dublin 74
Woodbridge 70
Lancaster 68
Houston 57
Nanjing 53
Lawrence 48
Princeton 48
Beijing 37
Wilmington 37
Sindelfingen 35
Ho Chi Minh City 34
Shenyang 34
Jinan 30
Buffalo 21
Los Angeles 21
Verona 21
Changsha 20
Hebei 19
Helsinki 18
Boardman 17
Milan 16
Tianjin 16
Redondo Beach 13
Seoul 13
Haikou 12
Santa Clara 11
Brussels 10
Hangzhou 10
Hanoi 10
Ningbo 10
Taizhou 10
Jiaxing 9
New York 9
São Paulo 9
The Dalles 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
London 4
Naples 4
Rome 4
Tashkent 4
Atlanta 3
Brasília 3
Des Moines 3
Düsseldorf 3
Fairfield 3
Grosseto 3
Guangzhou 3
Johannesburg 3
Lanzhou 3
Mehlingen 3
Mexico City 3
Presidente Prudente 3
Quito 3
Redmond 3
San Diego 3
Abu Dhabi 2
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 2.948
Salva come PNG Salva come JPEG
Nome #
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 165
Axiomatizations for Probabilistic Bisimulation 135
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 135
Analyzing Security Protocols Using Time-Bounded Task-PIOAs 128
A Compositional Trace-Based Semantics for Probabilistic Automata 126
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 126
Distributed collision avoidance for autonomous vehicles: World automata representation 125
Modeling Objects Moving in a Complex Environment with World Automata 122
Conditional Automata: A Tool for Safe Removal of Negligible Events 120
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 116
A computable and compositional semantics for hybrid systems 112
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 112
A computable and compositional semantics for hybrid automata 112
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 110
Decision Algorithms for Probabilistic Bisimulation 108
Compositional Verification of Randomized Distributed Algorithms 108
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 107
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 105
Compositionality for Probabilistic Automata 105
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 103
Dynamic Load Balancing with Group Communication 103
Coin Lemmas with Random Variables 102
A New Definition of Multilevel Security 101
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 99
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 99
System Support for Partition-Aware Network Applications 98
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 92
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems 92
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 91
Hybrid I/O Automata 90
Switched PIOA: Parallel composition via distributed scheduling 88
Probabilistic Logical Characterization 88
Hybrid I/O Automata Revisited 87
Selected papers from QEST 2010 87
Formal Verification of Timed Properties for Randomized Distributed Algorithms 83
Task-structured probabilistic I/O automata 80
Recent Results on Computable and Compositional Semantics for Hybrid Systems 78
Proving Time Bounds for Randomized Distributed Algorithms 77
Stochastic Transition Systems for Continuous State Spaces and Non-determinism 77
Task-Structured Probabilistic I/O Automata 77
Random Measurable SelectionsHorizons of the Mind. A Tribute to Prakash Panangaden 77
Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols 76
Observing Branching Structure through Probabilistic Contexts 76
Verifying Soft Deadlines with Probabilistic Timed Automata 75
The Essence of Coin Lemmas 69
Probability and Nondeterminism in Operational Models of Concurrency 69
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 69
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 69
Testing Probabilistic Automata 67
Switched Probabilistic I/O Automata 62
Totale 4.878
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.272
article - articoli 3.611
book - libri 0
conference - conferenze 11.611
curatela - curatele 0
other - altro 597
patent - brevetti 0
selected - selezionate 0
volume - volumi 453
Totale 32.544
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021237 0 0 0 0 51 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.385 184 152 123 424 502 0 0 0 0 0 0 0
Totale 4.878