TRENTANNI, GIANLUCA
 Distribuzione geografica
Continente #
AS - Asia 1.573
NA - Nord America 797
EU - Europa 680
SA - Sud America 337
AF - Africa 26
OC - Oceania 4
Totale 3.417
Nazione #
US - Stati Uniti d'America 759
SG - Singapore 665
CN - Cina 408
BR - Brasile 270
RU - Federazione Russa 252
VN - Vietnam 143
HK - Hong Kong 137
IT - Italia 123
FR - Francia 73
JP - Giappone 63
KR - Corea 56
NL - Olanda 56
DE - Germania 53
FI - Finlandia 43
AR - Argentina 21
AT - Austria 21
IN - India 19
GB - Regno Unito 16
BD - Bangladesh 15
EC - Ecuador 14
MX - Messico 13
CA - Canada 10
CO - Colombia 9
ID - Indonesia 9
IL - Israele 9
PL - Polonia 8
VE - Venezuela 8
IQ - Iraq 7
MY - Malesia 7
ES - Italia 6
TR - Turchia 6
UZ - Uzbekistan 6
ZA - Sudafrica 6
KE - Kenya 5
AE - Emirati Arabi Uniti 4
BG - Bulgaria 4
CL - Cile 4
DZ - Algeria 4
EG - Egitto 4
MA - Marocco 4
PK - Pakistan 4
UA - Ucraina 4
UY - Uruguay 4
AU - Australia 3
AZ - Azerbaigian 3
BO - Bolivia 3
DO - Repubblica Dominicana 3
JM - Giamaica 3
LT - Lituania 3
MK - Macedonia 3
NI - Nicaragua 3
PA - Panama 3
PY - Paraguay 3
AM - Armenia 2
AO - Angola 2
BE - Belgio 2
GR - Grecia 2
JO - Giordania 2
NO - Norvegia 2
PH - Filippine 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BW - Botswana 1
CY - Cipro 1
CZ - Repubblica Ceca 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
IE - Irlanda 1
IR - Iran 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MN - Mongolia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
RO - Romania 1
RS - Serbia 1
SE - Svezia 1
TT - Trinidad e Tobago 1
Totale 3.417
Città #
Singapore 398
Santa Clara 356
Hong Kong 136
Hefei 112
Moscow 88
San Jose 87
Beijing 80
Lauterbourg 63
Tokyo 56
Ashburn 55
Seoul 54
Ho Chi Minh City 43
Helsinki 39
Hanoi 30
Los Angeles 25
Nuremberg 23
São Paulo 21
New York 20
Pisa 14
Dallas 12
Falkenstein 12
Milan 11
Rio de Janeiro 11
Buffalo 9
Orem 9
Rome 9
Belo Horizonte 8
Da Nang 8
Florence 8
Warsaw 8
Guayaquil 7
Manaus 7
Chennai 6
Minamishinagawa 6
San Marcello 6
Tashkent 6
Bengaluru 5
Frankfurt am Main 5
Haiphong 5
Livorno 5
Naples 5
Salvador 5
Vienna 5
Amsterdam 4
Buenos Aires 4
Fortaleza 4
Guarulhos 4
Hải Dương 4
Kuala Lumpur 4
Limeira 4
Manchester 4
Nairobi 4
Quito 4
Ribeirão Preto 4
Stezzano 4
Tampere 4
Thái Nguyên 4
Atlanta 3
Baku 3
Campodarsego 3
Charlotte 3
Constantine 3
Dhaka 3
Düsseldorf 3
Franca 3
Guangzhou 3
Kingston 3
Le Plessis-Robinson 3
Managua 3
Maracaibo 3
Medellín 3
Montreal 3
Nha Trang 3
Parma 3
San Giuliano Terme 3
Sofia 3
Surabaya 3
São Gonçalo 3
Turin 3
Tây Ninh 3
Vitória de Santo Antão 3
Acerra 2
Alberobello 2
Americana 2
Amman 2
Ankara 2
Anápolis 2
Assago 2
Baghdad 2
Barcelona 2
Barquisimeto 2
Berlin 2
Bogotá 2
Brasília 2
Brooklyn 2
Bình Dương 2
Bảo Lộc 2
Bắc Giang 2
Cairo 2
Campo Grande 2
Totale 2.044
Nome #
QuARS: a pioneer tool for NL requirement analysis 134
QuARS: Quality Analyzer for Requirement Specifications 104
Manuale d'uso del geo-data server e del sito internet 92
Manuale d'uso del geo-data server e del sito internet (vers. agg.) 90
QuARS: a NLP tool for requirements analysis 88
Strumenti per la valutazione software di Sistemi di Biglietterie Automatizzate di tipo client-server per la gestione di eventi (spettacoli e intrattenimenti) con posti non numerati 86
Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards 75
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 73
Certificazione del software fiscale. Un'esperienza italiana di certificazione conforme alla legislazione fiscale. 73
Leveraging large language models for automated access policies generation: an agentware approach 72
Certification of cash registers software 68
Sito Web "Pubblicare Open Access al CNR" 67
Strumenti per la valutazione software di Sistemi di Biglietterie Automatizzate di tipo client-server per la gestione di eventi (spettacoli e intrattenimenti) con posti numerati, abbonamenti e controllo accessi 64
Sito web Biblioteca Area CNR Pisa 64
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 63
Evaluating web site quality: a statistical approach 62
Sito Web "BIBV - BIBliography of historic activity of Italian Volcanoes" 62
A case study of requirements quality analysis 61
QuARS. User Manual (version 0.5) 58
Fiscal software certification: An Italian experience of certification against the fiscal legislation 58
Sito web del laboratorio ISTI "Formal Methods & Tools" 57
Cartelle sanitarie e di rischio: un'esperienza di certificazione 56
An approach to ambiguity analysis in safety-related standards 55
Strumenti per la valutazione software di Sistemi di Biglietterie Automatizzate di tipo client-server per la gestione di eventi (spettacoli e intrattenimenti) con posti numerati e abbonamenti 54
An Automatic Tool for the Analysis of Natural Language Requirements 53
Certification and legislation. An Italian experience of fiscal software certification 53
E-COMWEB: a quality Model for e-commerce Web sites 52
Sito Web "Vamos 2013 - Seventh International Workshop on Variability Modelling of Software-intensive Systems" 52
Certificazione prodotti software 52
Il GEO-DATA server dell'autorità di bacino del fiume Arno 51
Sito web GL2020 - 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society" 51
Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro 49
QuARS versus QuARS Express 48
Addressing Readability in NL Requirements Analysis 46
Il geo-data server dell'Autorità di Bacino del fiume Arno. Manuale d'uso del geo-data server e del sito Internet 44
Sito Web "SPLC 2014 - 18th International Software Product Line Conference" 44
Strumenti per la valutazione software di Sistemi di Biglietterie Automatizzate di tipo client-server per la gestione di eventi (spettacoli e intrattenimenti) per il controllo accessi 44
WCS: a Witness and Counterexample Server 43
QuARS Express - User Manual (version 0.1) 41
Evaluation of natural language requirements in the MODCONTROL project 41
A new quality model for natural language requirements specifications 38
The HAL-online Tool 37
Early Analysis of Natural Language Requirements 37
Strumenti per la valutazione software di Sistemi di Biglietterie Automatizzate di tipo client-server per la gestione di eventi calcistici 36
An Automatic Tool for the Analysis of Natural Language Requirements 36
Evaluation of natural language requirements in an industrial case study 35
QuARS Express: A Tool for Evaluating Natural Language Requirements 35
An automatic tool for improving the quality of software requirements 34
WCS - Witness and Counterexample Server - online tool [Release 1.0 , 03 December 2004] 34
QuARS Express - A Tool Demonstration 32
WCS - Witness and Counterexample Server - online tool [Release 2.5 , 01 January 2007] 32
HAL (History dependant Automata Laboratory) - online version [Release 1.2] 31
SEFM 2010 - Poster and Tool Demo Session Proceedings 31
Architettura del geo-data server 31
HAL (History Dependent Automata Laboratory) - online version [Release 2.1] 31
JACK3 - Just Another Concurrency Kit [Release 3.0] 30
Thinkteam with replicated data repositories: stochastic model checking in industry 28
Establishing a quality model-based evaluation process for Websites 28
Verification on the WEB 28
QuARS and the natural language processing techniques: looking for a suitable syntax parser 28
Assisting the design of a groupware system - Model checking usability aspects of thinkteam 27
MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) 27
An experience in using a tool for evaluating a large set of natural language requirements 27
Conciliating TOP-DOWN and BOTTOM-UP approaches in Websites quality evaluation 26
HAL (History Dependent Automata Laboratory) - online version [Release 1.0] 26
JACK3 - Just Another Concurrency Kit [Release 1.0] 25
TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet 25
Assisting the design of an industrial groupware system by model checking 24
Verification on the web of mobile systems 23
Assisting the design of a groupware system - model checking usability aspects of thinkteam 23
Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods" 21
Totale 3.426
Categoria #
all - tutte 10.067
article - articoli 684
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 823
Totale 11.574


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202421 0 0 0 0 0 0 0 0 7 0 12 2
2024/20251.236 7 8 100 43 270 117 20 73 64 71 263 200
2025/20262.169 96 224 168 253 325 88 309 119 243 262 82 0
Totale 3.426