IRIS
DELZANNO, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.333
AS - Asia 1.655
NA - Nord America 641
SA - Sud America 181
AF - Africa 40
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 18.853
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 16.042
SG - Singapore 739
US - Stati Uniti d'America 601
CN - Cina 468
VN - Vietnam 267
FR - Francia 132
BR - Brasile 111
HK - Hong Kong 46
DE - Germania 40
GB - Regno Unito 31
AR - Argentina 30
JP - Giappone 28
MX - Messico 21
BD - Bangladesh 14
FI - Finlandia 14
RU - Federazione Russa 13
TR - Turchia 13
ID - Indonesia 12
CA - Canada 11
IQ - Iraq 11
CH - Svizzera 9
EC - Ecuador 9
IN - India 9
NL - Olanda 9
ZA - Sudafrica 9
CO - Colombia 8
PH - Filippine 8
VE - Venezuela 8
MA - Marocco 7
UZ - Uzbekistan 7
ES - Italia 6
AT - Austria 5
PE - Perù 5
PK - Pakistan 5
UA - Ucraina 5
KE - Kenya 4
KZ - Kazakistan 4
NG - Nigeria 4
PL - Polonia 4
PY - Paraguay 4
AO - Angola 3
BE - Belgio 3
CL - Cile 3
IE - Irlanda 3
JO - Giordania 3
KR - Corea 3
TH - Thailandia 3
TW - Taiwan 3
BW - Botswana 2
CR - Costa Rica 2
DZ - Algeria 2
EG - Egitto 2
MY - Malesia 2
NP - Nepal 2
PT - Portogallo 2
SE - Svezia 2
SI - Slovenia 2
TN - Tunisia 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GH - Ghana 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
LT - Lituania 1
MD - Moldavia 1
ML - Mali 1
MM - Myanmar 1
MT - Malta 1
MU - Mauritius 1
PA - Panama 1
PG - Papua Nuova Guinea 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SA - Arabia Saudita 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
XK - ???statistics.table.value.countryCode.XK??? 1
YE - Yemen 1
Totale 18.853
Salva come PNG Salva come JPEG
Città #
Genova 9.218
Genoa 3.776
Rapallo 1.163
Vado Ligure 1.133
Bordighera 648
Singapore 364
San Jose 194
Ashburn 132
Lauterbourg 117
Ho Chi Minh City 77
Hanoi 66
Beijing 65
New York 47
Hong Kong 43
Council Bluffs 36
Frankfurt am Main 29
Milan 25
Tokyo 22
Santa Clara 18
Da Nang 16
São Paulo 15
Helsinki 14
Orem 12
Valenza 12
Biên Hòa 11
Haiphong 11
Los Angeles 10
Tianjin 10
Mexico City 9
Zurich 9
City of London 8
Guangzhou 8
London 8
Hải Dương 7
Istanbul 7
Johannesburg 7
Owens Cross Roads 7
Thái Bình 7
Chicago 6
Porto Alegre 5
Rovereto 5
Amsterdam 4
Baghdad 4
Bremen 4
Buffalo 4
Cardiff 4
Nairobi 4
Phủ Lý 4
Rome 4
Warsaw 4
Astana 3
Basingstoke 3
Brasília 3
Can Tho 3
Dallas 3
Des Moines 3
Dhaka 3
Dublin 3
Goiânia 3
Guarulhos 3
Guayaquil 3
Houston 3
Jakarta 3
Kyiv 3
Lagos 3
Luanda 3
Marseille 3
Montreal 3
Naples 3
Nuremberg 3
Piscataway 3
Quezon City 3
Quito 3
Quận Ba 3
Rio de Janeiro 3
Santo Stefano di Magra 3
Shanghai 3
Suzhou 3
Taipei 3
Tashkent 3
Toronto 3
Tsukuba 3
Vigonza 3
Xiamen 3
Acalanes Ridge 2
Agliana 2
Amman 2
Asunción 2
Atlanta 2
Baton Rouge 2
Buenos Aires 2
Cairo 2
Camden 2
Cape Town 2
Changsha 2
Curitiba 2
Gaborone 2
Ha Long 2
Hưng Yên 2
Igaci 2
Totale 17.547
Salva come PNG Salva come JPEG
Nome #
HANDLING PARAMETERIZED SYSTEMS WITH NON-ATOMIC GLOBAL CONDITIONS 363
Comparing the Expressive Power of Well-Structured Transition Systems 359
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 331
Parameterized verification 245
Approximated parameterized verification of infinite-state processes with global conditions 195
Adding Data Registers to Parameterized Networks with Broadcast 191
Specification and Validation of Link Reversal Routing via Graph Transformations 190
A Specification Logic for Concurrent Object-Oriented Programming 186
An abstract machine for asynchronous programs with closures and priority queues 181
A unified view of parameterized verification of abstract models of broadcast communication 180
A classification of the expressive power of well-structured transition systems. 180
A Biologically Inspired Model with Fusion and Clonation of Membranes 179
Multi-Agent Systems Development as a Software Engineering Enterprise 178
Towards an Acceptance Testing Approach for Internet of Things Systems 176
A lightweight regular model checking approach for parameterized systems 174
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. 173
An Acceptance Testing Approach for Internet of Things Systems 172
Covering sharing trees: a compact data structure for parameterized verification 169
A bottom-up semantics for linear logic programs 169
Toward the use of Generative AI to develop Computational Thinking by supporting Problem Decomposition 167
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations 166
Static Analysis of XML Document Adaptations 166
Model checking linear logic specifications 161
Automatic Verification of Directory-Based Consistency Protocols 156
On the Qualitative Analysis of Conformon P Systems 155
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus 154
Parameterized Verification of Broadcast Networks of Register Automata 154
Reachability analysis of fragments of mobile ambients in AC term rewriting. 154
Algorithmic Verification of Invalidation-Based Protocols 154
The NARVALO project: Real time collision avoidance system in a GIS environment based on precise GNSS positioning 153
A compositional semantics for CHR 153
On Reachability and Spatial Reachability in Fragments of BioAmbients 152
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 150
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting 150
Object calculi in linear logic 149
Decidability and complexity results for verification of asynchronous broadcast networks 149
An embedding of calculi for negation as failure into linear logic 146
Beyond Parameterized Verification 144
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 144
Reachability problems in BioAmbients 144
Automata-based Static Analysis of XML Document Adaptations 143
Verification of Ad Hoc Networks with Node and Communication Failures 142
Physical Web for Smart Campus Management 142
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 142
An effective fixpoint semantics for linear logic programs 141
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 141
Validating XML document adaptations via Hedge Automata transformations 140
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks 139
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 138
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification 138
BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies 135
On the Dynamics of PB Systems with Volatile Membranes. 135
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 135
Symbolic Representation of Upward-Closed Sets 134
Constraint-Based Model Checking for Parameterized Synchronous Systems 134
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 134
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 134
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 133
Automatic Verification of Time Sensitive Cryptographic Protocols 133
Monotonic Abstraction in Action 133
SAT-Based Analysis of Cellular Automata 132
Automatic Verification of Parameterized Cache Coherence Protocols 132
Parameterized verification of time-sensitive models of ad hoc network protocols 132
Deciding Reachability in Mobile Ambients with Name Restriction 131
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints 130
Logic-based verification of the distributed dining philosophers protocol 130
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library 130
Constraint-based Deductive Model Checking 129
On the verification of membrane systems with dynamic structure 129
Parameterized Verification of Infinite-State Processes with Global Conditions 128
A Linear Logic Calculus Objects 127
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols 126
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols 126
Approximated Context-Sensitive Analysis for Parameterized Verification. 126
On the coverability and reachability languages of monotonic extensions of Petri nets 125
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 124
XRCoding: introducing computational thinking and coding in a gamified eXtended reality 124
Automatic Passenger Counting on the Edge via Unsupervised Clustering 123
Logic-based verification of the distributed dining philosophers protocol 120
A Bottom-Up Characterization of Finite Success 119
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols 119
Reachability predicates for graph assertions 119
Attacking Symbolic State Explosion 118
On the relations between disjunctive and linear logic programming 117
Compositional Verification of Asynchronous Processes via Constraint Solving 117
Adaptation and Personalization in Computer Science Education: APCSE '20 116
On the Verification of Timed Ad Hoc Networks 115
Parameterized verification and model checking for distributed broadcast protocols 115
Proofs as computations in linear logic 114
Declarative parameterized verification of topology-sensitive distributed protocols 114
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) 113
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings 113
An IoT-enabled Framework for Context-aware Role-based Access Control 113
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems 111
Towards the Automated Verification of Multithreaded Java Programs 111
Monotonic Abstraction: on Efficient Verification of Parameterized Systems 111
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 111
Parameterized Verification of Ad Hoc Networks 110
Games, automata, logics and formal verification (GandALF 2016) 110
Constraint-Based Analysis of Broadcast Protocols 109
Totale 14.777
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.298
article - articoli 18.527
book - libri 0
conference - conferenze 15.169
curatela - curatele 305
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 22.297
Totale 112.596
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021255 0 0 0 0 0 0 0 0 0 115 63 77
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.153 517 96 339 376 598 461 766 271 395 334 0 0
Totale 19.032