IRIS
DELZANNO, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.516
AS - Asia 1.796
NA - Nord America 1.356
SA - Sud America 194
AF - Africa 43
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 19.909
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 16.201
US - Stati Uniti d'America 1.271
SG - Singapore 753
CN - Cina 484
VN - Vietnam 271
FR - Francia 133
BR - Brasile 115
BD - Bangladesh 100
HK - Hong Kong 49
DE - Germania 40
GB - Regno Unito 33
AR - Argentina 32
CA - Canada 30
JP - Giappone 29
MX - Messico 22
TR - Turchia 20
FI - Finlandia 14
ID - Indonesia 13
RU - Federazione Russa 13
CO - Colombia 12
NL - Olanda 12
EC - Ecuador 11
IQ - Iraq 11
CH - Svizzera 10
IN - India 10
ZA - Sudafrica 9
ES - Italia 8
PH - Filippine 8
VE - Venezuela 8
JM - Giamaica 7
MA - Marocco 7
UZ - Uzbekistan 7
AT - Austria 6
CR - Costa Rica 6
GT - Guatemala 6
IE - Irlanda 6
CY - Cipro 5
MT - Malta 5
PE - Perù 5
PK - Pakistan 5
UA - Ucraina 5
BE - Belgio 4
KE - Kenya 4
KZ - Kazakistan 4
NG - Nigeria 4
PL - Polonia 4
PY - Paraguay 4
TH - Thailandia 4
AO - Angola 3
CL - Cile 3
GR - Grecia 3
JO - Giordania 3
KR - Corea 3
MY - Malesia 3
TW - Taiwan 3
AU - Australia 2
BO - Bolivia 2
BW - Botswana 2
DZ - Algeria 2
EG - Egitto 2
ET - Etiopia 2
HN - Honduras 2
NP - Nepal 2
PA - Panama 2
PS - Palestinian Territory 2
PT - Portogallo 2
RO - Romania 2
SC - Seychelles 2
SE - Svezia 2
SI - Slovenia 2
SV - El Salvador 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AG - Antigua e Barbuda 1
AI - Anguilla 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BS - Bahamas 1
BY - Bielorussia 1
BZ - Belize 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GH - Ghana 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
MD - Moldavia 1
ML - Mali 1
MM - Myanmar 1
MU - Mauritius 1
NO - Norvegia 1
PG - Papua Nuova Guinea 1
RS - Serbia 1
SA - Arabia Saudita 1
Totale 19.905
Salva come PNG Salva come JPEG
Città #
Genova 9.218
Genoa 3.804
Rapallo 1.163
Vado Ligure 1.133
Bordighera 648
Singapore 376
San Jose 343
Ashburn 184
Lauterbourg 117
Beijing 80
Ho Chi Minh City 79
New York 70
Hanoi 68
Hong Kong 45
Council Bluffs 43
Milan 34
Santa Clara 31
Frankfurt am Main 29
Los Angeles 27
Tokyo 22
Rome 20
Da Nang 16
São Paulo 15
Helsinki 14
Buffalo 12
Las Vegas 12
Orem 12
Valenza 12
Biên Hòa 11
Chicago 11
Dallas 11
Haiphong 11
Istanbul 10
Mexico City 10
Tianjin 10
Zurich 9
Boardman 8
City of London 8
Guangzhou 8
Houston 8
London 8
Charlotte 7
Hải Dương 7
Johannesburg 7
Owens Cross Roads 7
Thái Bình 7
Atlanta 6
Dublin 6
Kingston 6
Memphis 6
San José 6
Bologna 5
Brooklyn 5
Guatemala City 5
Montreal 5
Philadelphia 5
Phoenix 5
Porto Alegre 5
Rovereto 5
Acalanes Ridge 4
Amsterdam 4
Baghdad 4
Bari 4
Bremen 4
Brescia 4
Cardiff 4
Denver 4
Des Moines 4
Dhaka 4
Jacksonville 4
Limassol 4
Nairobi 4
Novara 4
Pensacola 4
Perugia 4
Phủ Lý 4
Piscataway 4
Quito 4
Toronto 4
Warsaw 4
Agropoli 3
Astana 3
Basingstoke 3
Baton Rouge 3
Brampton 3
Brasília 3
Calgary 3
Can Tho 3
Columbus 3
Goiânia 3
Guarulhos 3
Guayaquil 3
Hamilton 3
Jakarta 3
Kyiv 3
Lagos 3
Luanda 3
Manchester 3
Marseille 3
Miami 3
Totale 17.999
Salva come PNG Salva come JPEG
Nome #
HANDLING PARAMETERIZED SYSTEMS WITH NON-ATOMIC GLOBAL CONDITIONS 365
Comparing the Expressive Power of Well-Structured Transition Systems 364
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 334
Parameterized verification 252
Approximated parameterized verification of infinite-state processes with global conditions 202
Adding Data Registers to Parameterized Networks with Broadcast 202
A Specification Logic for Concurrent Object-Oriented Programming 197
Specification and Validation of Link Reversal Routing via Graph Transformations 195
Toward the use of Generative AI to develop Computational Thinking by supporting Problem Decomposition 191
A classification of the expressive power of well-structured transition systems. 191
A unified view of parameterized verification of abstract models of broadcast communication 189
An abstract machine for asynchronous programs with closures and priority queues 188
A Biologically Inspired Model with Fusion and Clonation of Membranes 184
Multi-Agent Systems Development as a Software Engineering Enterprise 182
Towards an Acceptance Testing Approach for Internet of Things Systems 182
An Acceptance Testing Approach for Internet of Things Systems 181
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. 179
A lightweight regular model checking approach for parameterized systems 178
Covering sharing trees: a compact data structure for parameterized verification 174
A bottom-up semantics for linear logic programs 173
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations 172
Static Analysis of XML Document Adaptations 171
Model checking linear logic specifications 168
The NARVALO project: Real time collision avoidance system in a GIS environment based on precise GNSS positioning 168
Algorithmic Verification of Invalidation-Based Protocols 164
On the Qualitative Analysis of Conformon P Systems 162
A compositional semantics for CHR 162
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus 160
Parameterized Verification of Broadcast Networks of Register Automata 159
Object calculi in linear logic 158
Automatic Verification of Directory-Based Consistency Protocols 157
On Reachability and Spatial Reachability in Fragments of BioAmbients 157
Reachability analysis of fragments of mobile ambients in AC term rewriting. 157
Decidability and complexity results for verification of asynchronous broadcast networks 155
BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies 153
An embedding of calculi for negation as failure into linear logic 153
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 153
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting 153
Beyond Parameterized Verification 152
Physical Web for Smart Campus Management 151
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 149
Verification of Ad Hoc Networks with Node and Communication Failures 148
Automata-based Static Analysis of XML Document Adaptations 147
An effective fixpoint semantics for linear logic programs 146
Validating XML document adaptations via Hedge Automata transformations 146
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 146
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 146
Reachability problems in BioAmbients 145
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 144
Automatic Verification of Parameterized Cache Coherence Protocols 143
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification 143
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks 142
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 141
Constraint-Based Model Checking for Parameterized Synchronous Systems 141
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 141
On the Dynamics of PB Systems with Volatile Membranes. 140
SAT-Based Analysis of Cellular Automata 140
Parameterized verification of time-sensitive models of ad hoc network protocols 139
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 139
Deciding Reachability in Mobile Ambients with Name Restriction 137
Symbolic Representation of Upward-Closed Sets 137
Automatic Verification of Time Sensitive Cryptographic Protocols 137
Monotonic Abstraction in Action 137
XRCoding: introducing computational thinking and coding in a gamified eXtended reality 137
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 136
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library 135
Parameterized Verification of Infinite-State Processes with Global Conditions 134
Logic-based verification of the distributed dining philosophers protocol 134
Automatic Passenger Counting on the Edge via Unsupervised Clustering 133
Constraint-based Deductive Model Checking 133
On the verification of membrane systems with dynamic structure 133
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints 131
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols 131
A Linear Logic Calculus Objects 131
Logic-based verification of the distributed dining philosophers protocol 130
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols 129
On the coverability and reachability languages of monotonic extensions of Petri nets 129
Approximated Context-Sensitive Analysis for Parameterized Verification. 129
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 126
A Bottom-Up Characterization of Finite Success 126
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols 126
Adaptation and Personalization in Computer Science Education: APCSE '20 126
Attacking Symbolic State Explosion 125
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) 124
On the relations between disjunctive and linear logic programming 124
Reachability predicates for graph assertions 123
Compositional Verification of Asynchronous Processes via Constraint Solving 123
Declarative parameterized verification of topology-sensitive distributed protocols 122
Parameterized verification and model checking for distributed broadcast protocols 121
An IoT-enabled Framework for Context-aware Role-based Access Control 120
Towards the Automated Verification of Multithreaded Java Programs 118
On the Verification of Timed Ad Hoc Networks 117
An "Internet of Thing” vision of the Flood Monitoring Problem 116
A Flexible IoT Stream Processing Architecture Based on Microservices 116
Proofs as computations in linear logic 115
Constraint-Based Analysis of Broadcast Protocols 115
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings 115
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems 114
Monotonic Abstraction: on Efficient Verification of Parameterized Systems 114
Games, automata, logics and formal verification (GandALF 2016) 114
Totale 15.387
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.085
article - articoli 20.488
book - libri 0
conference - conferenze 16.895
curatela - curatele 331
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 24.371
Totale 124.170
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.588 53 85 185 171 42 72 115 393 63 149 81 179
2022/20231.435 147 77 12 166 219 238 19 129 272 5 117 34
2023/20241.434 34 97 39 78 54 135 76 663 62 30 63 103
2024/20252.674 52 186 85 146 477 291 211 367 131 120 248 360
2025/20264.830 517 96 339 376 598 461 766 271 395 400 268 343
2026/2027402 402 0 0 0 0 0 0 0 0 0 0 0
Totale 20.111