IRIS
BENERECETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.707
NA - Nord America 2.423
EU - Europa 2.148
SA - Sud America 367
AF - Africa 57
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.708
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.337
SG - Singapore 1.351
IT - Italia 785
RU - Federazione Russa 777
CN - Cina 505
VN - Vietnam 409
BR - Brasile 291
HK - Hong Kong 194
UA - Ucraina 112
FI - Finlandia 91
DE - Germania 87
FR - Francia 83
IE - Irlanda 67
SE - Svezia 59
CA - Canada 49
JP - Giappone 47
GB - Regno Unito 33
AR - Argentina 26
ID - Indonesia 24
IN - India 24
KR - Corea 23
BD - Bangladesh 20
IQ - Iraq 17
PH - Filippine 15
MX - Messico 13
NL - Olanda 13
EC - Ecuador 12
PL - Polonia 12
VE - Venezuela 12
PK - Pakistan 10
ZA - Sudafrica 9
JM - Giamaica 8
TW - Taiwan 8
CI - Costa d'Avorio 7
PY - Paraguay 7
TN - Tunisia 7
TR - Turchia 7
CO - Colombia 6
ES - Italia 6
SA - Arabia Saudita 6
AT - Austria 5
JO - Giordania 5
MA - Marocco 5
NG - Nigeria 5
NP - Nepal 5
UY - Uruguay 5
UZ - Uzbekistan 5
CL - Cile 4
EG - Egitto 4
ET - Etiopia 4
IL - Israele 4
MY - Malesia 4
OM - Oman 4
PS - Palestinian Territory 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
AU - Australia 3
BG - Bulgaria 3
CR - Costa Rica 3
HN - Honduras 3
KE - Kenya 3
LB - Libano 3
CV - Capo Verde 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EU - Europa 2
GA - Gabon 2
GR - Grecia 2
LT - Lituania 2
PE - Perù 2
RO - Romania 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BE - Belgio 1
BH - Bahrain 1
BO - Bolivia 1
BS - Bahamas 1
CD - Congo 1
CH - Svizzera 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IR - Iran 1
KH - Cambogia 1
KZ - Kazakistan 1
LC - Santa Lucia 1
LS - Lesotho 1
ML - Mali 1
NC - Nuova Caledonia 1
NI - Nicaragua 1
PR - Porto Rico 1
PT - Portogallo 1
SD - Sudan 1
SN - Senegal 1
SO - Somalia 1
TL - Timor Orientale 1
VC - Saint Vincent e Grenadine 1
Totale 7.708
Salva come PNG Salva come JPEG
Città #
Singapore 629
San Jose 283
Chandler 234
Moscow 217
Santa Clara 208
Hong Kong 188
Naples 161
Ashburn 139
Beijing 136
Ho Chi Minh City 119
Jacksonville 116
Hefei 109
Hanoi 85
Napoli 78
Millbury 69
Lauterbourg 66
Princeton 60
Los Angeles 53
Buffalo 48
The Dalles 46
Tokyo 41
Boston 38
Nanjing 37
Wilmington 32
Woodbridge 32
Council Bluffs 31
Houston 29
Ottawa 27
Ann Arbor 25
São Paulo 23
Des Moines 22
Redondo Beach 22
Rome 20
Seoul 20
Helsinki 19
Milan 18
Da Nang 17
Hebei 16
Dublin 14
Haiphong 14
Seattle 13
Shenyang 13
Dallas 12
Dong Ket 12
Kronberg 12
Nanchang 12
New York 12
Trieste 12
Baghdad 11
Jiaxing 11
Orem 11
Rio de Janeiro 11
Lappeenranta 10
Salerno 10
Boardman 9
Denver 9
Munich 9
Can Tho 8
Chicago 8
Lawrence 8
Warsaw 8
Fuzhou 7
Nuremberg 7
Brooklyn 6
Buenos Aires 6
Falkenstein 6
Frankfurt am Main 6
London 6
Marigliano 6
Montreal 6
Taipei 6
Tianjin 6
Afragola 5
Atlanta 5
Brasília 5
Campinas 5
Casalnuovo Di Napoli 5
Caserta 5
Changsha 5
El Segundo 5
Falls Church 5
Guayaquil 5
Kingston 5
Kunming 5
Marcianise 5
Marta 5
Memphis 5
Mercato San Severino 5
Mexico City 5
Ninh Bình 5
Norwalk 5
Paris 5
Porto Alegre 5
Salvador 5
Stockholm 5
Toronto 5
Amsterdam 4
Arzano 4
Bacoli 4
Caracas 4
Totale 3.966
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 255
From Dynamic State Machines to Promela 205
Modeling railway control systems in promela 170
Dynamic State Machines for Formalizing Railway Control System Specifications 149
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 147
Solving parity games via priority promotion 136
VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME 128
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL 124
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 120
A distributed architecture to integrate ontological knowledge into information extraction 119
From Quasi-Dominions to Progress Measures 116
Substructure Temporal Logic 114
VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING 113
A delayed promotion policy for parity games 111
TPMC: A Model Checker for Time-Sensitive Security Protocols 110
Reasoning about substructures and games 110
Verso una logica cognitiva per i linguaggi indicali 109
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 107
Quantifying Over Trees in Monadic Second-Order Logic 106
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III 106
TPMC: A model checker for time–sensitive security protocols 106
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 106
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 104
Full Characterisation of Extended CTL 103
A Logic of Belief and a Model Checking Algorithm for Security Protocols 103
Improving Priority Promotion for Parity Games 103
Priority Promotion with Parysian flair 102
Timed HLPSL for specification and verification of time sensitive protocols 101
Contextual Reasoning Distilled 100
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 98
Model Checking Linear Temporal Properties on Polyhedral Systems 97
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers 97
Revisiting synthesis of switching controllers for Linear Hybrid systems 96
Reachability games for linear hybrid systems. 93
Tracking differentiable trajectories across polyhedra boundaries 93
Solving parity games via priority promotion 93
Timed protocols insecurity problem is NP-complete 92
Timed protocols insecurity problem is NP-complete 92
Solving Mean-Payoff Games via Quasi Dominions 92
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 91
Integrazione di tecniche di astrazione e model checking per la verifica di sistemi a stati infiniti e sistemi aperti. 91
Timed HLPSL for specification and verification of time sensitive protocols 91
Sondness and completeness of semantic-based methods for schema matching 90
Verifica automatica dei protocolli di sicurezza per Internet 90
Formal specification of beliefs in multi-agent systems 89
Analysis of Timed Recursive State Machines 89
Robust worst cases for parity games algorithms 89
Alternating (In)Dependence-Friendly Logic 87
Abstraction Refinement of Linear Programs with Arrays 86
Taming Strategy Logic: Non-Recurrent Fragments 84
Good-for-Game QPTL: An Alternating Hodges Semantics 84
METAFOL: Program Tactics and Logic Tactics plus Reflection 84
Sviluppo e valutazione di tecniche di model checking per la verifica del software 84
Soundness of Schema Matching Methods 82
Towards Efficient Exact Synthesis for Linear Hybrid Systems 82
Validation of multiagent systems by symbolic model checking 82
Formal specification of beliefs in multi-agent systems 82
Verification of Payment Protocols via Multi-Agent Model Checking 81
SOUNDNESS OF SCHEMA MATCHING METHODS 80
Distributed Context-aware Systems 79
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 79
A Delayed Promotion Policy for Parity Games 79
Timed recursive state machines: Expressiveness and complexity 79
Modeling and using context 78
Timed protocol insecurity problem is NP-complete 77
Model Checking Security Protocols Using a Logic of Belief 75
Satisfiability in Strategy Logic can be Easier than Model Checking 75
Formalizing Belief Reports. The approach and a Case Study 74
Counterexample-guided abstraction refinement for linear programs with arrays 74
Tracking smooth trajectories in linear hybrid systems 73
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time 72
Model Checking-Based Analysis of Multiagent Systems 70
Solving mean-payoff games via quasi dominions 69
Model Checking Multiagent Systems 67
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective 67
The Eureka Tool for Software Model Checking 66
Model Checking Linear Programs with Arrays 65
Validation of Multiagent Systems by Symbolic Model Checking 65
Model Checking Linear Programs with Arrays 64
Taming Strategy Logic: Non-Recurrent Fragments 57
The Dimensions Of Context Dependence 57
Totale 7.805
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.895
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 24.895
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202122 0 0 0 0 0 0 0 0 0 0 0 22
2021/2022432 16 1 17 6 14 11 9 14 59 10 119 156
2022/2023504 74 51 10 53 66 64 4 50 87 7 27 11
2023/2024381 30 64 50 33 15 21 17 39 9 14 58 31
2024/20252.031 118 125 14 7 113 166 241 126 151 131 657 182
2025/20263.235 367 239 388 311 573 96 323 238 399 225 67 9
Totale 7.805