IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.804
EU - Europa 1.510
AS - Asia 1.357
SA - Sud America 195
AF - Africa 121
Continente sconosciuto - Info sul continente non disponibili 5
Totale 5.992
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.684
SG - Singapore 747
RU - Federazione Russa 478
CN - Cina 368
IE - Irlanda 246
UA - Ucraina 237
BR - Brasile 159
IT - Italia 150
VN - Vietnam 101
FR - Francia 98
CA - Canada 97
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
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
JM - Giamaica 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 5.992
Salva come PNG Salva come JPEG
Città #
Santa Clara 496
Singapore 436
Dallas 349
Chandler 267
Dublin 247
Jacksonville 241
Moscow 184
San Jose 114
Ashburn 112
Boardman 89
Chicago 86
Nanjing 74
Andover 69
Toronto 69
Brussels 68
Lawrence 68
Cambridge 67
Lauterbourg 60
Los Angeles 57
Beijing 53
San Mateo 46
Helsinki 43
Des Moines 39
Abidjan 38
Catania 37
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
Changsha 14
Jiaxing 14
Brooklyn 13
Buffalo 13
New York 13
Ottawa 13
The Dalles 11
Abuja 10
Tianjin 10
Montreal 9
Columbus 8
Rome 8
San Luis 8
Council Bluffs 7
Da Nang 7
Dhaka 7
Houston 7
Johannesburg 7
Nuremberg 7
Ann Arbor 6
Atlanta 6
Belo Horizonte 6
Denver 6
Pune 6
Rio de Janeiro 6
Baghdad 5
Boston 5
Haiphong 5
Jinan 5
Mexico City 5
Norwalk 5
Padova 5
Phoenix 5
Brasília 4
Casalnuovo di Napoli 4
Civitanova Marche 4
Den Haag 4
Mountain View 4
Mumbai 4
Porto Alegre 4
Ragusa 4
San Francisco 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
Kunming 3
Liberty Lake 3
London 3
Totale 4.137
Salva come PNG Salva come JPEG
Nome #
A LOTOS Specification of the PROWAY Highway Service 158
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 145
A temporal ordering specification of some session services 141
Introduzione all'architettura dei calcolatori, Terza edizione italiana 137
Equational type logic 131
Architectural Unit Testing 130
An institution isomorphism for planar graph colouring 130
Cooperative Project-based Learning in a Web-based Software Engineering Course 122
Attualità didattica dell'aritmetica Maya 121
A relational view of recurrence and attractors in state transition dynamics 120
Algebraic Methods in Language Processing. Editorial 113
Architettura degli elaboratori A.A. 2011-2012 111
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 110
On discrete models and immunological algorithms for protein structure prediction 108
Relational state transition dynamics 107
A soft stairway to institutions 106
Distributed processing in a nuclear data acquisition system 105
Architecture and Specification Style in Formal Descriptions of Distributed Systems 104
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 104
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 102
An integration of Euler's pentagonal partition 100
Research questions in state transition models of biomolecular dynamics 97
A reduction scheme by pre-institution transformations 96
Il sistema di acquisizione dati del L.N.S. 95
Some statistical measurements on the European Informatics Network (EIN) 94
Algebraic Methods in Language Processing. Editorial 93
Protocol design using LOTOS: A critical synthesis of a standardization experience 89
Algebraic Methods in Language Processing. Editorial 89
Interpolation and compactness in categories of pre-institutions 88
Specification styles in distributed systems design and verification 88
On the Expressiveness of Equational Type Logic 86
Attualità e pratica dell'aritmetica Maya 86
Some topics in the design of the specification language LOTOS 83
ω-rewriting the Collatz problem 83
Formal Description in LOTOS of the OSI Session Layer: Introduction 81
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 80
On the engineering of logics 80
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 79
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 78
Results and programming techniques from the CR3x+1 project 78
The OSI Transport Service and its Formal Description in LOTOS 77
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 75
Strategic planning and service models for the ELViRA project 74
On the use of equational type logic for software engineering and protocol design 73
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 72
On the architectural design of the formal specification of the session standards in LOTOS 71
On the use of LOTOS for the Formal Description of a Transport Protocol 71
Formal Specification in OSI 71
Graph colouring institutions (Extended Abstract) 71
Formal Description of the OSI Session Layer. Transport Service 70
LOTOS specifications, their implementations and their tests 70
Specification and Implementation of the MONDAN System 69
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 69
Fare laboratorio in rete: tracce di un'esperienza di web-learning 69
Specification architecture. Editorial 69
LOTOS in practice 68
Third International Conference on Algebraic Methodology of Software Technology. Editorial 68
The architecture of the software implemented by CREI for EIN 67
The Visual Proof Manipulation Project (VPM) 66
Experience with and Future of LOTOS as a Specification Language 66
On the use of specification styles in the design of distributed systems 66
On the specification in LOTOS of OSI protocols 65
SDL and CCS based description of communicating entities 65
Measurements on the Activity of the EIN Matching Unit (EMU) 64
Introducing equational type logic 64
Graph colouring institutions 63
Introduction to the PSTV-IX. Guest editorial 63
The characterization of implementation of LOTOS specifications 62
Totale 6.066
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.797
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 18.797
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 0 0 0 0 2 36 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.171 168 78 374 125 427 514 255 32 95 103 0 0
Totale 6.066