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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021270 0 0 0 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/2026652 168 78 374 32 0 0 0 0 0 0 0 0
Totale 4.547