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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021203 0 0 0 0 0 40 45 13 43 10 30 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/20261.954 367 239 388 311 573 76 0 0 0 0 0 0
Totale 6.524