IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.940
EU - Europa 948
AS - Asia 451
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 2
Totale 3.382
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.857
IE - Irlanda 246
CN - Cina 234
UA - Ucraina 230
SG - Singapore 203
IT - Italia 126
CA - Canada 83
RU - Federazione Russa 78
BE - Belgio 68
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
AT - Austria 8
NL - Olanda 6
IN - India 5
LB - Libano 5
EU - Europa 4
GR - Grecia 4
PL - Polonia 4
UZ - Uzbekistan 3
BR - Brasile 2
RO - Romania 2
BG - Bulgaria 1
HK - Hong Kong 1
RS - Serbia 1
Totale 3.382
Salva come PNG Salva come JPEG
Città #
Santa Clara 493
Chandler 267
Dublin 246
Jacksonville 240
Singapore 153
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
Ann Arbor 6
Nuremberg 6
Jinan 5
Los Angeles 5
Norwalk 5
Padova 5
Pune 5
Civitanova Marche 4
Den Haag 4
Houston 4
Mountain View 4
Ragusa 4
Rome 4
Zhengzhou 4
Florence 3
Hangzhou 3
Kunming 3
Liberty Lake 3
Monterotondo 3
Montreal 3
Seattle 3
Augusta 2
Baronissi 2
Beijing 2
Changchun 2
Forest City 2
Naples 2
Ningbo 2
Saint Ives 2
Suhl 2
Valguarnera 2
Washington 2
Xuzhou 2
Belgrade 1
Belo Horizonte 1
Cachan 1
Calatabiano 1
Central 1
Charlotte 1
Duncan 1
Düsseldorf 1
Enschede 1
Finspang 1
Florianópolis 1
Floridia 1
Frankfurt Am Main 1
Gela 1
Guangzhou 1
Hamburg 1
Hamm 1
Hanover 1
Ludwigshafen 1
Manchester 1
Milan 1
Monmouth Junction 1
Munich 1
Oakland 1
Paris 1
Paterno 1
Porto Torres 1
Princeton 1
Scordia 1
Shanghai 1
Shenzhen 1
Stockholm 1
Syracuse 1
Tappahannock 1
Totale 2.592
Salva come PNG Salva come JPEG
Nome #
Introduzione all'architettura dei calcolatori, Terza edizione italiana 99
A temporal ordering specification of some session services 76
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 73
A LOTOS Specification of the PROWAY Highway Service 71
On discrete models and immunological algorithms for protein structure prediction 71
Cooperative Project-based Learning in a Web-based Software Engineering Course 70
An institution isomorphism for planar graph colouring 70
Architectural Unit Testing 69
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 68
Equational type logic 66
Attualità didattica dell'aritmetica Maya 66
Relational state transition dynamics 63
Il sistema di acquisizione dati del L.N.S. 62
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 62
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 61
Research questions in state transition models of biomolecular dynamics 60
On the Expressiveness of Equational Type Logic 60
Specification styles in distributed systems design and verification 58
Architettura degli elaboratori A.A. 2011-2012 58
A soft stairway to institutions 57
Protocol design using LOTOS: A critical synthesis of a standardization experience 57
Formal Description in LOTOS of the OSI Session Layer: Introduction 56
A relational view of recurrence and attractors in state transition dynamics 55
Interpolation and compactness in categories of pre-institutions 54
Some statistical measurements on the European Informatics Network (EIN) 54
Distributed processing in a nuclear data acquisition system 53
Algebraic Methods in Language Processing. Editorial 53
Architecture and Specification Style in Formal Descriptions of Distributed Systems 52
Some topics in the design of the specification language LOTOS 52
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 51
ω-rewriting the Collatz problem 50
On the engineering of logics 49
On the architectural design of the formal specification of the session standards in LOTOS 48
The OSI Transport Service and its Formal Description in LOTOS 48
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 47
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 46
An integration of Euler's pentagonal partition 46
A reduction scheme by pre-institution transformations 46
LOTOS specifications, their implementations and their tests 45
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 45
Algebraic Methods in Language Processing. Editorial 45
Attualità e pratica dell'aritmetica Maya 44
Algebraic Methods in Language Processing. Editorial 44
Formal Description of the OSI Session Layer. Transport Service 43
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 43
On the use of LOTOS for the Formal Description of a Transport Protocol 43
On the specification in LOTOS of OSI protocols 43
Strategic planning and service models for the ELViRA project 43
Experience with and Future of LOTOS as a Specification Language 43
Specification and Implementation of the MONDAN System 42
Results and programming techniques from the CR3x+1 project 42
Graph colouring institutions 42
Fare laboratorio in rete: tracce di un'esperienza di web-learning 41
On the use of equational type logic for software engineering and protocol design 40
Formal Specification in OSI 40
Specification architecture. Editorial 40
The characterization of implementation of LOTOS specifications 39
SDL and CCS based description of communicating entities 39
The architecture of the software implemented by CREI for EIN 39
Third International Conference on Algebraic Methodology of Software Technology. Editorial 39
The Visual Proof Manipulation Project (VPM) 38
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 37
On the use of specification styles in the design of distributed systems 37
Measurements on the Activity of the EIN Matching Unit (EMU) 35
Introducing equational type logic 35
LOTOS in practice 34
Introduction to the PSTV-IX. Guest editorial 30
Graph colouring institutions (Extended Abstract) 29
Totale 3.456
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.867
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 10.867
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020136 0 0 0 0 0 2 26 0 45 4 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/2025891 77 177 57 11 364 205 0 0 0 0 0 0
Totale 3.456