CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.353
EU - Europa 1.129
AS - Asia 497
AF - Africa 2
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.984
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.349
GB - Regno Unito 430
CN - Cina 312
SG - Singapore 165
FR - Francia 130
FI - Finlandia 109
RU - Federazione Russa 101
DE - Germania 100
IE - Irlanda 74
SE - Svezia 66
IT - Italia 54
UA - Ucraina 47
KR - Corea 13
BE - Belgio 10
CA - Canada 3
AU - Australia 2
IL - Israele 2
NL - Olanda 2
BG - Bulgaria 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
EU - Europa 1
HR - Croazia 1
IN - India 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MX - Messico 1
PH - Filippine 1
RO - Romania 1
SA - Arabia Saudita 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 2.984
Salva come PNG Salva come JPEG
Città #
Jacksonville 424
Southend 329
Chandler 264
Singapore 133
Ann Arbor 89
Dublin 74
Woodbridge 70
Lancaster 68
Houston 56
Nanjing 52
Ashburn 49
Lawrence 48
Princeton 48
Wilmington 37
Sindelfingen 35
Shenyang 34
Jinan 29
Changsha 19
Hebei 19
Helsinki 18
Verona 18
Boardman 17
Tianjin 15
Beijing 13
Seoul 13
Haikou 12
Brussels 10
Hangzhou 10
Milan 10
Ningbo 10
Taizhou 10
Jiaxing 9
Santa Clara 9
Nanchang 8
Falkenstein 7
Norwalk 7
Taiyuan 7
Zhengzhou 7
Fuzhou 6
Moscow 6
San Francisco 6
Düsseldorf 3
Fairfield 3
Grosseto 3
Guangzhou 3
Lanzhou 3
Mehlingen 3
Naples 3
Redmond 3
Comun Nuovo 2
Pinzolo 2
Rome 2
San Diego 2
Toronto 2
Anguillara Sabazia 1
Cambridge 1
Castelfranco Veneto 1
Cerea 1
Chisinau 1
Clearwater 1
Gauteng 1
Groningen 1
Haifa 1
Kharkov 1
Lappeenranta 1
Las Vegas 1
Los Angeles 1
Manila 1
Melbourne 1
Mexico City 1
Minsk 1
Montréal 1
Nairobi 1
Newark 1
Prague 1
Qingdao 1
Redwood City 1
Riyadh 1
Romola 1
Seattle 1
Sofia 1
Springfield 1
Tel Aviv 1
Udine 1
Vientiane 1
Xiangfen 1
Yicheng 1
Zagreb 1
Totale 2.173
Salva come PNG Salva come JPEG
Nome #
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 100
Axiomatizations for Probabilistic Bisimulation 90
Modeling Objects Moving in a Complex Environment with World Automata 90
Distributed collision avoidance for autonomous vehicles: World automata representation 84
A Compositional Trace-Based Semantics for Probabilistic Automata 80
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 79
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 78
Analyzing Security Protocols Using Time-Bounded Task-PIOAs 76
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 75
System Support for Partition-Aware Network Applications 71
Conditional Automata: A Tool for Safe Removal of Negligible Events 70
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 67
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 67
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 67
Hybrid I/O Automata 67
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding 67
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 65
Compositionality for Probabilistic Automata 65
Decision Algorithms for Probabilistic Bisimulation 65
Compositional Verification of Randomized Distributed Algorithms 63
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 61
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 61
Coin Lemmas with Random Variables 61
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems 61
Selected papers from QEST 2010 61
Hybrid I/O Automata Revisited 60
Dynamic Load Balancing with Group Communication 60
Formal Verification of Timed Properties for Randomized Distributed Algorithms 59
Probabilistic Logical Characterization 59
A New Definition of Multilevel Security 58
A computable and compositional semantics for hybrid automata 58
Stochastic Transition Systems for Continuous State Spaces and Non-determinism 56
Random Measurable SelectionsHorizons of the Mind. A Tribute to Prakash Panangaden 56
Verifying Soft Deadlines with Probabilistic Timed Automata 54
Proving Time Bounds for Randomized Distributed Algorithms 54
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 54
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 52
Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols 51
Task-Structured Probabilistic I/O Automata 51
Switched PIOA: Parallel composition via distributed scheduling 51
Probability and Nondeterminism in Operational Models of Concurrency 50
Testing Probabilistic Automata 49
Observing Branching Structure through Probabilistic Contexts 49
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 47
The Essence of Coin Lemmas 46
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 43
Task-structured probabilistic I/O automata 43
Switched Probabilistic I/O Automata 40
A computable and compositional semantics for hybrid systems 14
Totale 3.005
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.077
article - articoli 2.346
book - libri 0
conference - conferenze 7.978
curatela - curatele 0
other - altro 423
patent - brevetti 0
selected - selezionate 0
volume - volumi 330
Totale 22.154
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020295 0 0 0 0 0 71 4 48 74 41 7 50
2020/2021406 55 61 6 47 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/2025317 29 72 15 157 18 26 0 0 0 0 0 0
Totale 3.005