IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.009
EU - Europa 1.530
AS - Asia 1.369
SA - Sud America 201
AF - Africa 121
Continente sconosciuto - Info sul continente non disponibili 79
Totale 6.309
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.870
SG - Singapore 749
RU - Federazione Russa 478
CN - Cina 369
IE - Irlanda 246
UA - Ucraina 237
IT - Italia 161
BR - Brasile 160
CA - Canada 106
VN - Vietnam 103
FR - Francia 100
BE - Belgio 68
DE - Germania 68
FI - Finlandia 46
CI - Costa d'Avorio 38
GB - Regno Unito 37
NG - Nigeria 34
KR - Corea 33
BD - Bangladesh 28
AR - Argentina 25
IN - India 25
SN - Senegal 24
PL - Polonia 20
SE - Svezia 18
MX - Messico 15
IQ - Iraq 12
CH - Svizzera 11
ZA - Sudafrica 10
AT - Austria 9
ES - Italia 7
NL - Olanda 7
TR - Turchia 6
EC - Ecuador 5
JM - Giamaica 5
LB - Libano 5
PK - Pakistan 5
TN - Tunisia 5
UZ - Uzbekistan 5
CO - Colombia 4
CR - Costa Rica 4
EU - Europa 4
GR - Grecia 4
ID - Indonesia 4
JP - Giappone 4
HK - Hong Kong 3
KE - Kenya 3
NP - Nepal 3
OM - Oman 3
SA - Arabia Saudita 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CL - Cile 2
DZ - Algeria 2
EG - Egitto 2
HU - Ungheria 2
PY - Paraguay 2
RO - Romania 2
TH - Thailandia 2
AO - Angola 1
BB - Barbados 1
BS - Bahamas 1
BZ - Belize 1
CG - Congo 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GY - Guiana 1
IL - Israele 1
JO - Giordania 1
KG - Kirghizistan 1
LT - Lituania 1
MA - Marocco 1
MK - Macedonia 1
MM - Myanmar 1
NI - Nicaragua 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
TT - Trinidad e Tobago 1
VC - Saint Vincent e Grenadine 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.235
Salva come PNG Salva come JPEG
Città #
Santa Clara 501
Singapore 437
Dallas 351
Chandler 267
Dublin 247
Jacksonville 242
San Jose 196
Moscow 184
Ashburn 118
Boardman 89
Chicago 87
Nanjing 74
Toronto 71
Andover 69
Brussels 68
Lawrence 68
Cambridge 67
Lauterbourg 60
Los Angeles 58
Beijing 54
San Mateo 46
Helsinki 43
Catania 40
Des Moines 39
Abidjan 38
Ho Chi Minh City 34
Seoul 33
Wilmington 28
Hefei 27
Hanoi 26
Dakar 24
Nanchang 24
Saint Petersburg 24
Shenyang 23
Grafing 22
Bremen 21
Lagos 21
Hebei 20
Jesi 17
São Paulo 16
Warsaw 16
New York 15
Buffalo 14
Changsha 14
Jiaxing 14
Ottawa 14
Brooklyn 13
The Dalles 11
Abuja 10
Columbus 10
Houston 10
Rome 10
Tianjin 10
Montreal 9
Atlanta 8
San Luis 8
Council Bluffs 7
Da Nang 7
Dhaka 7
Johannesburg 7
Nuremberg 7
Ann Arbor 6
Belo Horizonte 6
Boston 6
Denver 6
Phoenix 6
Pune 6
Rio de Janeiro 6
Baghdad 5
Haiphong 5
Jinan 5
Mexico City 5
Naples 5
Norwalk 5
Padova 5
Seattle 5
Brasília 4
Casalnuovo di Napoli 4
Civitanova Marche 4
Den Haag 4
Kingston 4
Mountain View 4
Mumbai 4
Philadelphia 4
Porto Alegre 4
Ragusa 4
San Francisco 4
San José 4
Stockholm 4
Tokyo 4
Washington 4
Zhengzhou 4
Ankara 3
Biên Hòa 3
Calgary 3
Chennai 3
Curitiba 3
Florence 3
Florianópolis 3
Fortaleza 3
Totale 4.265
Salva come PNG Salva come JPEG
Nome #
A LOTOS Specification of the PROWAY Highway Service 164
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 154
A temporal ordering specification of some session services 146
Introduzione all'architettura dei calcolatori, Terza edizione italiana 140
An institution isomorphism for planar graph colouring 137
Architectural Unit Testing 135
Equational type logic 134
Cooperative Project-based Learning in a Web-based Software Engineering Course 130
Attualità didattica dell'aritmetica Maya 125
A relational view of recurrence and attractors in state transition dynamics 125
Algebraic Methods in Language Processing. Editorial 116
On discrete models and immunological algorithms for protein structure prediction 116
Architettura degli elaboratori A.A. 2011-2012 115
Relational state transition dynamics 113
A soft stairway to institutions 112
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 112
Architecture and Specification Style in Formal Descriptions of Distributed Systems 108
Distributed processing in a nuclear data acquisition system 108
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 107
An integration of Euler's pentagonal partition 106
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 105
A reduction scheme by pre-institution transformations 100
Research questions in state transition models of biomolecular dynamics 99
Il sistema di acquisizione dati del L.N.S. 98
Some statistical measurements on the European Informatics Network (EIN) 97
Algebraic Methods in Language Processing. Editorial 95
Protocol design using LOTOS: A critical synthesis of a standardization experience 92
Attualità e pratica dell'aritmetica Maya 92
Interpolation and compactness in categories of pre-institutions 91
Specification styles in distributed systems design and verification 91
Algebraic Methods in Language Processing. Editorial 91
On the Expressiveness of Equational Type Logic 89
Some topics in the design of the specification language LOTOS 86
ω-rewriting the Collatz problem 86
Formal Description in LOTOS of the OSI Session Layer: Introduction 84
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 83
On the engineering of logics 83
Results and programming techniques from the CR3x+1 project 82
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 81
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 81
The OSI Transport Service and its Formal Description in LOTOS 80
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 78
Strategic planning and service models for the ELViRA project 77
On the use of equational type logic for software engineering and protocol design 75
Formal Description of the OSI Session Layer. Transport Service 74
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 74
Formal Specification in OSI 74
On the architectural design of the formal specification of the session standards in LOTOS 73
On the use of LOTOS for the Formal Description of a Transport Protocol 73
LOTOS specifications, their implementations and their tests 73
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 73
Fare laboratorio in rete: tracce di un'esperienza di web-learning 73
LOTOS in practice 73
Graph colouring institutions (Extended Abstract) 73
Specification and Implementation of the MONDAN System 71
On the use of specification styles in the design of distributed systems 71
Third International Conference on Algebraic Methodology of Software Technology. Editorial 71
Specification architecture. Editorial 71
The Visual Proof Manipulation Project (VPM) 69
SDL and CCS based description of communicating entities 69
Measurements on the Activity of the EIN Matching Unit (EMU) 69
The architecture of the software implemented by CREI for EIN 69
On the specification in LOTOS of OSI protocols 68
Experience with and Future of LOTOS as a Specification Language 68
Introducing equational type logic 67
Graph colouring institutions 65
Introduction to the PSTV-IX. Guest editorial 65
The characterization of implementation of LOTOS specifications 64
Totale 6.309
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.794
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 20.794
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022432 0 68 6 2 78 0 73 20 61 0 15 109
2022/2023781 73 43 10 87 58 143 0 132 207 2 17 9
2023/2024345 23 85 8 14 4 27 1 30 0 70 55 28
2024/20251.330 77 177 57 11 364 217 5 36 91 111 86 98
2025/20262.299 168 78 374 125 427 514 255 32 95 105 67 59
2026/2027115 88 27 0 0 0 0 0 0 0 0 0 0
Totale 6.309