IRIS
SCOLLO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.197
EU - Europa 930
AS - Asia 240
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 1
Totale 2.409
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.114
IE - Irlanda 246
UA - Ucraina 230
CN - Cina 225
IT - Italia 118
CA - Canada 83
RU - Federazione Russa 78
BE - Belgio 68
DE - Germania 56
FI - Finlandia 39
FR - Francia 28
SN - Senegal 24
GB - Regno Unito 19
CI - Costa d'Avorio 13
SE - Svezia 12
CH - Svizzera 11
AT - Austria 8
IN - India 5
LB - Libano 5
NL - Olanda 5
EU - Europa 4
GR - Grecia 4
PL - Polonia 4
UZ - Uzbekistan 3
RO - Romania 2
BG - Bulgaria 1
BR - Brasile 1
HK - Hong Kong 1
RS - Serbia 1
SG - Singapore 1
Totale 2.409
Salva come PNG Salva come JPEG
Città #
Chandler 267
Dublin 246
Jacksonville 240
Nanjing 74
Andover 69
Brussels 68
Lawrence 68
Cambridge 67
Toronto 67
San Mateo 46
Des Moines 39
Helsinki 38
Catania 33
Ashburn 28
Wilmington 28
Dakar 24
Nanchang 24
Saint Petersburg 24
Shenyang 23
Grafing 22
Boardman 21
Bremen 21
Hebei 20
Jesi 17
Changsha 14
Jiaxing 14
Abidjan 13
Ottawa 13
Moscow 10
Tianjin 10
Ann Arbor 6
Jinan 5
Norwalk 5
Padova 5
Pune 5
Den Haag 4
Houston 4
Mountain View 4
Ragusa 4
Zhengzhou 4
Florence 3
Hangzhou 3
Kunming 3
Liberty Lake 3
Monterotondo 3
Montreal 3
Nuremberg 3
Seattle 3
Augusta 2
Baronissi 2
Beijing 2
Changchun 2
Naples 2
Ningbo 2
Saint Ives 2
Suhl 2
Valguarnera 2
Washington 2
Belgrade 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
Hamm 1
Hanover 1
Los Angeles 1
Ludwigshafen 1
Manchester 1
Milan 1
Monmouth Junction 1
Munich 1
Paris 1
Paterno 1
Porto Torres 1
Princeton 1
Scordia 1
Stockholm 1
Syracuse 1
Tappahannock 1
Terni 1
Torino 1
Trimbach 1
Verona 1
Vienna 1
Villarosa 1
Totale 1.773
Salva come PNG Salva come JPEG
Nome #
Introduzione all'architettura dei calcolatori, Terza edizione italiana 86
A temporal ordering specification of some session services 62
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 58
Cooperative Project-based Learning in a Web-based Software Engineering Course 55
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs 55
Architectural Unit Testing 54
A LOTOS Specification of the PROWAY Highway Service 53
An institution isomorphism for planar graph colouring 52
On discrete models and immunological algorithms for protein structure prediction 52
Equational type logic 51
Attualità didattica dell'aritmetica Maya 48
Compactness and Loewenheim-Skolem properties in categories of pre-institutions 48
On the Expressiveness of Equational Type Logic 48
Relational state transition dynamics 47
Il sistema di acquisizione dati del L.N.S. 47
Research questions in state transition models of biomolecular dynamics 45
Proceedings of the Twenty-first Twente Workshop on Language Technology (TWLT), joint with the Third AMAST Workshop on Language Processing. Preface 45
Architettura degli elaboratori A.A. 2011-2012 44
Specification styles in distributed systems design and verification 43
A soft stairway to institutions 42
Formal Description in LOTOS of the OSI Session Layer: Introduction 42
Some statistical measurements on the European Informatics Network (EIN) 40
Protocol design using LOTOS: A critical synthesis of a standardization experience 40
Interpolation and compactness in categories of pre-institutions 39
Algebraic Methods in Language Processing. Editorial 39
Proceedings of the Advanced International Conference on Telecommunications and I nternational Conference on Internet and Web Applications and Services, AICT/ICIW 2006. Preface 38
Some topics in the design of the specification language LOTOS 38
Distributed processing in a nuclear data acquisition system 38
A relational view of recurrence and attractors in state transition dynamics 37
Architecture and Specification Style in Formal Descriptions of Distributed Systems 37
On the engineering of logics 37
ω-rewriting the Collatz problem 37
The OSI Transport Service and its Formal Description in LOTOS 35
Some measurements on the EIN computer network performed at CREI by means of the subnetwork control module 34
On the architectural design of the formal specification of the session standards in LOTOS 34
Looking for Class Records in the 3x+1 Problem by Means of the COMETA Grid Infrastructure 33
LOTOS specifications, their implementations and their tests 32
Proceedings of the Sixteenth Twente Workshop on Language Technology, joint with the Second AMAST Workshop on Language Processing. Preface 32
An integration of Euler's pentagonal partition 32
State Transition Dynamics - Basic Concepts and Molecular Computing Perspectives 31
A reduction scheme by pre-institution transformations 31
Formal Description of the OSI Session Layer. Transport Service 30
On the use of LOTOS for the Formal Description of a Transport Protocol 30
Algebraic Methods in Language Processing. Editorial 30
Results and programming techniques from the CR3x+1 project 29
Strategic planning and service models for the ELViRA project 29
Experience with and Future of LOTOS as a Specification Language 29
Algebraic Methods in Language Processing. Editorial 29
Specification and Implementation of the MONDAN System 28
Graph colouring institutions 28
Attualità e pratica dell'aritmetica Maya 28
Fare laboratorio in rete: tracce di un'esperienza di web-learning 27
On the use of equational type logic for software engineering and protocol design 26
On the specification in LOTOS of OSI protocols 26
The characterization of implementation of LOTOS specifications 26
Formal Specification in OSI 26
The architecture of the software implemented by CREI for EIN 26
Specification architecture. Editorial 26
The Visual Proof Manipulation Project (VPM) 25
SDL and CCS based description of communicating entities 25
Third International Conference on Algebraic Methodology of Software Technology. Editorial 25
Measurements on the Activity of the EIN Matching Unit (EMU) 23
On the nature of TELLUS (a Typed Equational Logic Look over Uniform Specification) 22
On the use of specification styles in the design of distributed systems 22
Introducing equational type logic 22
LOTOS in practice 21
Graph colouring institutions (Extended Abstract) 17
Introduction to the PSTV-IX. Guest editorial 17
Totale 2.483
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.472
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 7.472
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20196 0 0 0 0 0 0 0 0 0 0 0 6
2019/2020361 153 20 27 0 25 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/2024263 23 85 8 14 4 27 1 30 0 70 1 0
Totale 2.483