IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.112
EU - Europa 991
AS - Asia 758
SA - Sud America 131
AF - Africa 48
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.044
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.017
SG - Singapore 417
CN - Cina 280
IE - Irlanda 246
UA - Ucraina 233
IT - Italia 133
BR - Brasile 116
CA - Canada 88
RU - Federazione Russa 81
BE - Belgio 68
DE - Germania 63
FI - Finlandia 43
FR - Francia 31
GB - Regno Unito 29
SN - Senegal 24
IN - India 16
SE - Svezia 14
CI - Costa d'Avorio 13
PL - Polonia 13
AR - Argentina 11
BD - Bangladesh 11
CH - Svizzera 11
AT - Austria 8
KR - Corea 8
NL - Olanda 6
LB - Libano 5
TR - Turchia 5
ZA - Sudafrica 5
EU - Europa 4
GR - Grecia 4
UZ - Uzbekistan 4
MX - Messico 3
EC - Ecuador 2
ES - Italia 2
IQ - Iraq 2
JM - Giamaica 2
OM - Oman 2
PK - Pakistan 2
RO - Romania 2
TN - Tunisia 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
CG - Congo 1
CR - Costa Rica 1
DZ - Algeria 1
GE - Georgia 1
HK - Hong Kong 1
HU - Ungheria 1
JO - Giordania 1
KG - Kirghizistan 1
MA - Marocco 1
NI - Nicaragua 1
NP - Nepal 1
PY - Paraguay 1
RS - Serbia 1
VE - Venezuela 1
VN - Vietnam 1
Totale 4.044
Salva come PNG Salva come JPEG
Città #
Santa Clara 495
Singapore 274
Chandler 267
Dublin 247
Jacksonville 240
Boardman 89
Chicago 83
Nanjing 74
Andover 69
Brussels 68
Lawrence 68
Toronto 68
Cambridge 67
San Mateo 46
Helsinki 41
Ashburn 40
Des Moines 39
Los Angeles 35
Catania 33
Wilmington 28
Dakar 24
Hefei 24
Nanchang 24
Saint Petersburg 24
Shenyang 23
Beijing 22
Grafing 22
Bremen 21
Hebei 20
Jesi 17
Changsha 14
Jiaxing 14
Abidjan 13
Ottawa 13
The Dalles 11
Brooklyn 10
Moscow 10
Tianjin 10
Warsaw 9
Columbus 8
San Luis 8
Seoul 8
Nuremberg 7
São Paulo 7
Ann Arbor 6
Council Bluffs 6
Dallas 6
Pune 6
Rome 6
Belo Horizonte 5
Jinan 5
Norwalk 5
Padova 5
Brasília 4
Casalnuovo di Napoli 4
Civitanova Marche 4
Den Haag 4
Dhaka 4
Houston 4
Montreal 4
Mountain View 4
Mumbai 4
New York 4
Porto Alegre 4
Ragusa 4
San Francisco 4
Zhengzhou 4
Ankara 3
Florence 3
Fortaleza 3
Goiânia 3
Hangzhou 3
Joinville 3
Kunming 3
Liberty Lake 3
Manchester 3
Monterotondo 3
Paris 3
Piracicaba 3
Seattle 3
Stockholm 3
Atlanta 2
Augusta 2
Baronissi 2
Belford Roxo 2
Boston 2
Changchun 2
Contagem 2
Curitiba 2
Denver 2
Florianópolis 2
Forest City 2
Hortolândia 2
Itaquaquecetuba 2
Jaboatão dos Guararapes 2
Johannesburg 2
Kingston 2
London 2
Munich 2
Naples 2
Totale 2.920
Salva come PNG Salva come JPEG
Nome #
Introduzione all'architettura dei calcolatori, Terza edizione italiana 110
A temporal ordering specification of some session services 90
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 88
Architectural Unit Testing 87
Cooperative Project-based Learning in a Web-based Software Engineering Course 87
A LOTOS Specification of the PROWAY Highway Service 84
Relational state transition dynamics 83
An institution isomorphism for planar graph colouring 82
Equational type logic 80
Attualità didattica dell'aritmetica Maya 80
On discrete models and immunological algorithms for protein structure prediction 80
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 80
Research questions in state transition models of biomolecular dynamics 76
Specification styles in distributed systems design and verification 71
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 71
On the Expressiveness of Equational Type Logic 71
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 70
A relational view of recurrence and attractors in state transition dynamics 68
Protocol design using LOTOS: A critical synthesis of a standardization experience 68
Il sistema di acquisizione dati del L.N.S. 68
Architettura degli elaboratori A.A. 2011-2012 68
Algebraic Methods in Language Processing. Editorial 68
A soft stairway to institutions 66
Interpolation and compactness in categories of pre-institutions 65
Distributed processing in a nuclear data acquisition system 65
Formal Description in LOTOS of the OSI Session Layer: Introduction 64
Architecture and Specification Style in Formal Descriptions of Distributed Systems 64
ω-rewriting the Collatz problem 63
Some topics in the design of the specification language LOTOS 62
Some statistical measurements on the European Informatics Network (EIN) 60
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 58
On the engineering of logics 58
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 58
An integration of Euler's pentagonal partition 57
Algebraic Methods in Language Processing. Editorial 55
Algebraic Methods in Language Processing. Editorial 55
The OSI Transport Service and its Formal Description in LOTOS 54
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 54
On the architectural design of the formal specification of the session standards in LOTOS 53
Strategic planning and service models for the ELViRA project 53
A reduction scheme by pre-institution transformations 53
LOTOS specifications, their implementations and their tests 52
Attualità e pratica dell'aritmetica Maya 52
Formal Description of the OSI Session Layer. Transport Service 51
Specification and Implementation of the MONDAN System 51
On the specification in LOTOS of OSI protocols 51
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 51
On the use of equational type logic for software engineering and protocol design 50
Specification architecture. Editorial 50
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 49
Results and programming techniques from the CR3x+1 project 49
Graph colouring institutions 49
Formal Specification in OSI 49
On the use of LOTOS for the Formal Description of a Transport Protocol 48
The Visual Proof Manipulation Project (VPM) 48
Experience with and Future of LOTOS as a Specification Language 48
Fare laboratorio in rete: tracce di un'esperienza di web-learning 48
On the use of specification styles in the design of distributed systems 47
Third International Conference on Algebraic Methodology of Software Technology. Editorial 46
The characterization of implementation of LOTOS specifications 45
SDL and CCS based description of communicating entities 45
Measurements on the Activity of the EIN Matching Unit (EMU) 45
Introducing equational type logic 45
The architecture of the software implemented by CREI for EIN 45
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 43
LOTOS in practice 42
Graph colouring institutions (Extended Abstract) 38
Introduction to the PSTV-IX. Guest editorial 34
Totale 4.118
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.626
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 14.626
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021356 0 42 44 14 116 1 38 4 57 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/2026223 168 55 0 0 0 0 0 0 0 0 0 0
Totale 4.118