IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.922
EU - Europa 1.517
AS - Asia 1.359
SA - Sud America 195
AF - Africa 121
Continente sconosciuto - Info sul continente non disponibili 5
Totale 6.119
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.799
SG - Singapore 748
RU - Federazione Russa 478
CN - Cina 369
IE - Irlanda 246
UA - Ucraina 237
BR - Brasile 159
IT - Italia 157
VN - Vietnam 101
CA - Canada 98
FR - Francia 98
BE - Belgio 68
DE - Germania 66
FI - Finlandia 45
CI - Costa d'Avorio 38
GB - Regno Unito 37
NG - Nigeria 34
KR - Corea 33
IN - India 25
AR - Argentina 24
SN - Senegal 24
BD - Bangladesh 23
PL - Polonia 20
MX - Messico 15
SE - Svezia 15
IQ - Iraq 12
CH - Svizzera 11
ZA - Sudafrica 10
AT - Austria 9
ES - Italia 7
NL - Olanda 7
TR - Turchia 6
LB - Libano 5
PK - Pakistan 5
TN - Tunisia 5
UZ - Uzbekistan 5
EU - Europa 4
GR - Grecia 4
ID - Indonesia 4
JM - Giamaica 4
JP - Giappone 4
CO - Colombia 3
EC - Ecuador 3
HK - Hong Kong 3
KE - Kenya 3
NP - Nepal 3
OM - Oman 3
SA - Arabia Saudita 3
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CR - Costa Rica 2
DZ - Algeria 2
EG - Egitto 2
HU - Ungheria 2
PY - Paraguay 2
RO - Romania 2
AL - Albania 1
AO - Angola 1
BZ - Belize 1
CG - Congo 1
CL - Cile 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
NI - Nicaragua 1
PE - Perù 1
PH - Filippine 1
PS - Palestinian Territory 1
RS - Serbia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.119
Salva come PNG Salva come JPEG
Città #
Santa Clara 497
Singapore 436
Dallas 350
Chandler 267
Dublin 247
Jacksonville 241
San Jose 196
Moscow 184
Ashburn 115
Boardman 89
Chicago 87
Nanjing 74
Toronto 70
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
Changsha 14
Jiaxing 14
Brooklyn 13
Buffalo 13
Ottawa 13
The Dalles 11
Abuja 10
Tianjin 10
Montreal 9
Atlanta 8
Columbus 8
Rome 8
San Luis 8
Council Bluffs 7
Da Nang 7
Dhaka 7
Houston 7
Johannesburg 7
Nuremberg 7
Ann Arbor 6
Belo Horizonte 6
Denver 6
Phoenix 6
Pune 6
Rio de Janeiro 6
Baghdad 5
Boston 5
Haiphong 5
Jinan 5
Mexico City 5
Norwalk 5
Padova 5
Brasília 4
Casalnuovo di Napoli 4
Civitanova Marche 4
Den Haag 4
Mountain View 4
Mumbai 4
Naples 4
Porto Alegre 4
Ragusa 4
San Francisco 4
Seattle 4
Stockholm 4
Tokyo 4
Zhengzhou 4
Ankara 3
Biên Hòa 3
Chennai 3
Curitiba 3
Florence 3
Florianópolis 3
Fortaleza 3
Goiânia 3
Hangzhou 3
Hortolândia 3
Joinville 3
Kingston 3
Totale 4.238
Salva come PNG Salva come JPEG
Nome #
A LOTOS Specification of the PROWAY Highway Service 160
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 149
A temporal ordering specification of some session services 142
Introduzione all'architettura dei calcolatori, Terza edizione italiana 138
Architectural Unit Testing 134
Equational type logic 133
An institution isomorphism for planar graph colouring 133
Cooperative Project-based Learning in a Web-based Software Engineering Course 126
Attualità didattica dell'aritmetica Maya 124
A relational view of recurrence and attractors in state transition dynamics 123
Algebraic Methods in Language Processing. Editorial 115
Architettura degli elaboratori A.A. 2011-2012 114
On discrete models and immunological algorithms for protein structure prediction 113
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 112
Relational state transition dynamics 110
A soft stairway to institutions 110
Architecture and Specification Style in Formal Descriptions of Distributed Systems 106
Distributed processing in a nuclear data acquisition system 106
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 105
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 103
An integration of Euler's pentagonal partition 103
A reduction scheme by pre-institution transformations 99
Research questions in state transition models of biomolecular dynamics 98
Il sistema di acquisizione dati del L.N.S. 97
Some statistical measurements on the European Informatics Network (EIN) 96
Algebraic Methods in Language Processing. Editorial 94
Protocol design using LOTOS: A critical synthesis of a standardization experience 91
Algebraic Methods in Language Processing. Editorial 91
Specification styles in distributed systems design and verification 90
Interpolation and compactness in categories of pre-institutions 89
Attualità e pratica dell'aritmetica Maya 89
On the Expressiveness of Equational Type Logic 87
ω-rewriting the Collatz problem 85
Some topics in the design of the specification language LOTOS 84
Formal Description in LOTOS of the OSI Session Layer: Introduction 82
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 81
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 81
On the engineering of logics 81
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 80
Results and programming techniques from the CR3x+1 project 79
The OSI Transport Service and its Formal Description in LOTOS 78
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 76
Strategic planning and service models for the ELViRA project 75
On the use of equational type logic for software engineering and protocol design 74
Formal Description of the OSI Session Layer. Transport Service 73
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 73
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 73
Graph colouring institutions (Extended Abstract) 73
On the architectural design of the formal specification of the session standards in LOTOS 72
On the use of LOTOS for the Formal Description of a Transport Protocol 72
Formal Specification in OSI 72
LOTOS specifications, their implementations and their tests 71
Fare laboratorio in rete: tracce di un'esperienza di web-learning 71
LOTOS in practice 71
Specification and Implementation of the MONDAN System 70
Specification architecture. Editorial 70
On the use of specification styles in the design of distributed systems 69
Third International Conference on Algebraic Methodology of Software Technology. Editorial 69
Measurements on the Activity of the EIN Matching Unit (EMU) 68
The architecture of the software implemented by CREI for EIN 68
The Visual Proof Manipulation Project (VPM) 67
Experience with and Future of LOTOS as a Specification Language 67
On the specification in LOTOS of OSI protocols 66
SDL and CCS based description of communicating entities 66
Introducing equational type logic 65
Graph colouring institutions 64
Introduction to the PSTV-IX. Guest editorial 64
The characterization of implementation of LOTOS specifications 63
Totale 6.193
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.741
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 19.741
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 0 0 0 0 2
2021/2022499 67 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.298 168 78 374 125 427 514 255 32 95 105 67 58
Totale 6.193