IRIS
BENERECETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.721
NA - Nord America 2.492
EU - Europa 2.162
SA - Sud America 374
AF - Africa 58
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.813
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.400
SG - Singapore 1.353
IT - Italia 797
RU - Federazione Russa 777
CN - Cina 515
VN - Vietnam 409
BR - Brasile 294
HK - Hong Kong 194
UA - Ucraina 112
FI - Finlandia 91
DE - Germania 87
FR - Francia 85
IE - Irlanda 67
SE - Svezia 59
CA - Canada 52
JP - Giappone 47
GB - Regno Unito 33
AR - Argentina 26
ID - Indonesia 24
IN - India 24
KR - Corea 23
BD - Bangladesh 22
IQ - Iraq 17
PH - Filippine 15
MX - Messico 13
NL - Olanda 13
EC - Ecuador 12
PL - Polonia 12
VE - Venezuela 12
PK - Pakistan 10
JM - Giamaica 9
ZA - Sudafrica 9
TW - Taiwan 8
CI - Costa d'Avorio 7
CO - Colombia 7
PY - Paraguay 7
TN - Tunisia 7
TR - Turchia 7
ES - Italia 6
SA - Arabia Saudita 6
AT - Austria 5
JO - Giordania 5
MA - Marocco 5
NG - Nigeria 5
NP - Nepal 5
PE - Perù 5
UY - Uruguay 5
UZ - Uzbekistan 5
CL - Cile 4
CR - Costa Rica 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
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
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
SC - Seychelles 1
SD - Sudan 1
SN - Senegal 1
SO - Somalia 1
SV - El Salvador 1
Totale 7.811
Salva come PNG Salva come JPEG
Città #
Singapore 630
San Jose 286
Chandler 234
Moscow 217
Santa Clara 212
Hong Kong 188
Naples 167
Ashburn 155
Beijing 140
Ho Chi Minh City 119
Jacksonville 116
Hefei 109
Hanoi 85
Napoli 78
Millbury 69
Lauterbourg 66
Princeton 60
Los Angeles 55
Buffalo 48
The Dalles 46
Tokyo 41
Boston 38
Nanjing 37
Council Bluffs 36
Wilmington 32
Woodbridge 32
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 14
Dallas 13
Shenyang 13
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
Chicago 9
Denver 9
Munich 9
Brooklyn 8
Can Tho 8
Lawrence 8
Montreal 8
Warsaw 8
Fuzhou 7
Nuremberg 7
Atlanta 6
Buenos Aires 6
Falkenstein 6
Frankfurt am Main 6
London 6
Marigliano 6
Taipei 6
Tianjin 6
Afragola 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 4.015
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 257
From Dynamic State Machines to Promela 206
Modeling railway control systems in promela 171
Dynamic State Machines for Formalizing Railway Control System Specifications 151
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 149
Solving parity games via priority promotion 138
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 124
Substructure Temporal Logic 120
A distributed architecture to integrate ontological knowledge into information extraction 120
From Quasi-Dominions to Progress Measures 117
Reasoning about substructures and games 115
A delayed promotion policy for parity games 114
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 113
VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING 113
TPMC: A Model Checker for Time-Sensitive Security Protocols 113
Verso una logica cognitiva per i linguaggi indicali 111
Priority Promotion with Parysian flair 109
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III 108
Quantifying Over Trees in Monadic Second-Order Logic 107
TPMC: A model checker for time–sensitive security protocols 107
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 106
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 105
A Logic of Belief and a Model Checking Algorithm for Security Protocols 104
Improving Priority Promotion for Parity Games 104
Full Characterisation of Extended CTL 103
Timed HLPSL for specification and verification of time sensitive protocols 103
Contextual Reasoning Distilled 101
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers 100
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 98
Model Checking Linear Temporal Properties on Polyhedral Systems 98
Tracking differentiable trajectories across polyhedra boundaries 96
Revisiting synthesis of switching controllers for Linear Hybrid systems 96
Reachability games for linear hybrid systems. 95
Solving Mean-Payoff Games via Quasi Dominions 95
Integrazione di tecniche di astrazione e model checking per la verifica di sistemi a stati infiniti e sistemi aperti. 94
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 93
Timed protocols insecurity problem is NP-complete 93
Solving parity games via priority promotion 93
Timed HLPSL for specification and verification of time sensitive protocols 92
Timed protocols insecurity problem is NP-complete 92
Sondness and completeness of semantic-based methods for schema matching 91
Verifica automatica dei protocolli di sicurezza per Internet 90
Robust worst cases for parity games algorithms 90
Formal specification of beliefs in multi-agent systems 89
Analysis of Timed Recursive State Machines 89
Abstraction Refinement of Linear Programs with Arrays 88
Alternating (In)Dependence-Friendly Logic 87
Sviluppo e valutazione di tecniche di model checking per la verifica del software 85
Taming Strategy Logic: Non-Recurrent Fragments 84
Good-for-Game QPTL: An Alternating Hodges Semantics 84
Soundness of Schema Matching Methods 84
METAFOL: Program Tactics and Logic Tactics plus Reflection 84
Formal specification of beliefs in multi-agent systems 84
Towards Efficient Exact Synthesis for Linear Hybrid Systems 83
Validation of multiagent systems by symbolic model checking 83
Verification of Payment Protocols via Multi-Agent Model Checking 82
SOUNDNESS OF SCHEMA MATCHING METHODS 80
Timed recursive state machines: Expressiveness and complexity 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
Timed protocol insecurity problem is NP-complete 79
A Delayed Promotion Policy for Parity Games 79
Modeling and using context 78
Satisfiability in Strategy Logic can be Easier than Model Checking 76
Model Checking Security Protocols Using a Logic of Belief 75
Counterexample-guided abstraction refinement for linear programs with arrays 75
Formalizing Belief Reports. The approach and a Case Study 74
Tracking smooth trajectories in linear hybrid systems 74
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time 72
Model Checking-Based Analysis of Multiagent Systems 71
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective 70
Solving mean-payoff games via quasi dominions 69
Model Checking Linear Programs with Arrays 67
Model Checking Multiagent Systems 67
The Eureka Tool for Software Model Checking 66
Validation of Multiagent Systems by Symbolic Model Checking 65
Model Checking Linear Programs with Arrays 65
Taming Strategy Logic: Non-Recurrent Fragments 59
The Dimensions Of Context Dependence 58
Totale 7.910
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.223
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 26.223
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.292 367 239 388 311 573 96 323 238 399 225 67 66
2026/202748 48 0 0 0 0 0 0 0 0 0 0 0
Totale 7.910