IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.951
EU - Europa 953
AS - Asia 617
SA - Sud America 72
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 4
Totale 3.637
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.865
SG - Singapore 360
IE - Irlanda 246
CN - Cina 236
UA - Ucraina 230
IT - Italia 127
CA - Canada 83
RU - Federazione Russa 80
BE - Belgio 68
BR - Brasile 63
DE - Germania 61
FI - Finlandia 42
FR - Francia 29
SN - Senegal 24
GB - Regno Unito 19
CI - Costa d'Avorio 13
SE - Svezia 12
CH - Svizzera 11
AR - Argentina 8
AT - Austria 8
NL - Olanda 6
IN - India 5
LB - Libano 5
EU - Europa 4
GR - Grecia 4
PL - Polonia 4
UZ - Uzbekistan 4
BD - Bangladesh 2
PK - Pakistan 2
RO - Romania 2
TR - Turchia 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
CG - Congo 1
CR - Costa Rica 1
DZ - Algeria 1
EC - Ecuador 1
HK - Hong Kong 1
HU - Ungheria 1
MX - Messico 1
NI - Nicaragua 1
RS - Serbia 1
Totale 3.637
Salva come PNG Salva come JPEG
Città #
Santa Clara 493
Chandler 267
Dublin 246
Jacksonville 240
Singapore 221
Boardman 89
Chicago 82
Nanjing 74
Andover 69
Brussels 68
Lawrence 68
Cambridge 67
Toronto 67
San Mateo 46
Helsinki 41
Des Moines 39
Catania 33
Ashburn 29
Wilmington 28
Dakar 24
Nanchang 24
Saint Petersburg 24
Shenyang 23
Grafing 22
Bremen 21
Hebei 20
Jesi 17
Changsha 14
Jiaxing 14
Abidjan 13
Ottawa 13
Moscow 10
Tianjin 10
San Luis 8
Ann Arbor 6
Nuremberg 6
Council Bluffs 5
Jinan 5
Los Angeles 5
Norwalk 5
Padova 5
Pune 5
Rome 5
Civitanova Marche 4
Den Haag 4
Houston 4
Mountain View 4
Porto Alegre 4
Ragusa 4
Zhengzhou 4
Belo Horizonte 3
Brasília 3
Florence 3
Hangzhou 3
Joinville 3
Kunming 3
Liberty Lake 3
Monterotondo 3
Montreal 3
Seattle 3
São Paulo 3
Augusta 2
Baronissi 2
Beijing 2
Changchun 2
Florianópolis 2
Forest City 2
Fortaleza 2
Hortolândia 2
Naples 2
Ningbo 2
Saint Ives 2
Serra 2
Suhl 2
Teresina 2
The Dalles 2
Valguarnera 2
Washington 2
Xuzhou 2
Abadla 1
Araras 1
Banja Luka 1
Belford Roxo 1
Belgrade 1
Belém 1
Cachan 1
Calatabiano 1
Caxias do Sul 1
Central 1
Charlotte 1
Chengdu 1
Chuzhou 1
Cotia 1
Curitiba 1
Debrecen 1
Dhaka 1
Diamantina 1
Duncan 1
Düsseldorf 1
Enschede 1
Totale 2.689
Salva come PNG Salva come JPEG
Nome #
Introduzione all'architettura dei calcolatori, Terza edizione italiana 102
A temporal ordering specification of some session services 81
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 78
On discrete models and immunological algorithms for protein structure prediction 76
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 76
An institution isomorphism for planar graph colouring 75
Architectural Unit Testing 74
Cooperative Project-based Learning in a Web-based Software Engineering Course 74
A LOTOS Specification of the PROWAY Highway Service 74
Attualità didattica dell'aritmetica Maya 70
Relational state transition dynamics 69
Equational type logic 69
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 66
Research questions in state transition models of biomolecular dynamics 65
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 65
On the Expressiveness of Equational Type Logic 65
Protocol design using LOTOS: A critical synthesis of a standardization experience 64
Il sistema di acquisizione dati del L.N.S. 64
Specification styles in distributed systems design and verification 61
Architettura degli elaboratori A.A. 2011-2012 60
A soft stairway to institutions 59
Formal Description in LOTOS of the OSI Session Layer: Introduction 59
A relational view of recurrence and attractors in state transition dynamics 59
Interpolation and compactness in categories of pre-institutions 57
Some statistical measurements on the European Informatics Network (EIN) 57
Architecture and Specification Style in Formal Descriptions of Distributed Systems 57
Algebraic Methods in Language Processing. Editorial 57
Some topics in the design of the specification language LOTOS 56
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 55
Distributed processing in a nuclear data acquisition system 55
ω-rewriting the Collatz problem 55
On the engineering of logics 53
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 52
The OSI Transport Service and its Formal Description in LOTOS 51
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 51
An integration of Euler's pentagonal partition 51
On the architectural design of the formal specification of the session standards in LOTOS 50
LOTOS specifications, their implementations and their tests 49
Algebraic Methods in Language Processing. Editorial 49
Specification and Implementation of the MONDAN System 48
Strategic planning and service models for the ELViRA project 48
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 48
On the specification in LOTOS of OSI protocols 47
Attualità e pratica dell'aritmetica Maya 47
Algebraic Methods in Language Processing. Editorial 47
A reduction scheme by pre-institution transformations 47
Formal Description of the OSI Session Layer. Transport Service 46
Graph colouring institutions 46
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 45
Results and programming techniques from the CR3x+1 project 45
On the use of LOTOS for the Formal Description of a Transport Protocol 45
On the use of equational type logic for software engineering and protocol design 45
Experience with and Future of LOTOS as a Specification Language 45
Specification architecture. Editorial 45
The Visual Proof Manipulation Project (VPM) 43
Fare laboratorio in rete: tracce di un'esperienza di web-learning 43
Formal Specification in OSI 43
On the use of specification styles in the design of distributed systems 43
The characterization of implementation of LOTOS specifications 42
SDL and CCS based description of communicating entities 42
The architecture of the software implemented by CREI for EIN 42
Third International Conference on Algebraic Methodology of Software Technology. Editorial 42
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 41
Measurements on the Activity of the EIN Matching Unit (EMU) 39
Introducing equational type logic 38
LOTOS in practice 36
Graph colouring institutions (Extended Abstract) 32
Introduction to the PSTV-IX. Guest editorial 31
Totale 3.711
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.816
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 12.816
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202059 0 0 0 0 0 0 0 0 0 0 46 13
2020/2021357 1 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.146 77 177 57 11 364 217 5 36 91 111 0 0
Totale 3.711