CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.056
EU - Europa 1.993
AS - Asia 1.553
SA - Sud America 196
AF - Africa 57
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.859
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.025
RU - Federazione Russa 794
SG - Singapore 684
GB - Regno Unito 445
CN - Cina 427
VN - Vietnam 174
BR - Brasile 156
FR - Francia 153
IT - Italia 135
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 17
PL - Polonia 13
BE - Belgio 10
MX - Messico 9
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
SN - Senegal 2
TH - Thailandia 2
TN - Tunisia 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
RO - Romania 1
TT - Trinidad e Tobago 1
Totale 5.859
Salva come PNG Salva come JPEG
Città #
Jacksonville 425
Singapore 360
Southend 329
Chandler 264
Moscow 236
San Jose 226
Ashburn 139
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 39
Abuja 37
Wilmington 37
Sindelfingen 35
Hanoi 34
Shenyang 34
Jinan 30
Los Angeles 24
Buffalo 21
Changsha 20
Council Bluffs 20
Hebei 19
Helsinki 18
Boardman 17
Tianjin 17
Milan 16
Santa Clara 15
New York 14
Redondo Beach 13
Seoul 13
Haikou 12
Brussels 10
Hangzhou 10
Ningbo 10
Taizhou 10
Jiaxing 9
São Paulo 9
Frankfurt am Main 8
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
Zhengzhou 7
Rome 6
Tokyo 6
Toronto 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
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
Chicago 2
Totale 3.700
Salva come PNG Salva come JPEG
Nome #
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 187
Distributed collision avoidance for autonomous vehicles: World automata representation 155
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 155
Axiomatizations for Probabilistic Bisimulation 152
A computable and compositional semantics for hybrid systems 150
A Compositional Trace-Based Semantics for Probabilistic Automata 149
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 148
Analyzing Security Protocols Using Time-Bounded Task-PIOAs 145
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 144
Conditional Automata: A Tool for Safe Removal of Negligible Events 142
A computable and compositional semantics for hybrid automata 142
Modeling Objects Moving in a Complex Environment with World Automata 141
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 138
Decision Algorithms for Probabilistic Bisimulation 131
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 130
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 129
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
Dynamic Load Balancing with Group Communication 123
A New Definition of Multilevel Security 122
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 121
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 119
Coin Lemmas with Random Variables 117
System Support for Partition-Aware Network Applications 115
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 115
Recent Results on Computable and Compositional Semantics for Hybrid Systems 113
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems 111
Switched PIOA: Parallel composition via distributed scheduling 110
Hybrid I/O Automata 108
Probabilistic Logical Characterization 108
Observing Branching Structure through Probabilistic Contexts 107
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 106
Hybrid I/O Automata Revisited 105
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 105
Formal Verification of Timed Properties for Randomized Distributed Algorithms 104
Selected papers from QEST 2010 102
Task-structured probabilistic I/O automata 97
Stochastic Transition Systems for Continuous State Spaces and Non-determinism 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
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 91
Random Measurable SelectionsHorizons of the Mind. A Tribute to Prakash Panangaden 91
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 90
The Essence of Coin Lemmas 89
Probability and Nondeterminism in Operational Models of Concurrency 83
Testing Probabilistic Automata 80
Switched Probabilistic I/O Automata 74
Totale 5.883
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.120
article - articoli 4.264
book - libri 0
conference - conferenze 13.642
curatela - curatele 0
other - altro 711
patent - brevetti 0
selected - selezionate 0
volume - volumi 503
Totale 38.240
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 0 0 0 0 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.390 184 152 123 424 628 140 256 113 227 82 25 36
Totale 5.883