TRENTANNI, GIANLUCA
 Distribuzione geografica
Continente #
AS - Asia 1.580
NA - Nord America 986
EU - Europa 705
SA - Sud America 342
AF - Africa 26
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 4
Totale 3.652
Nazione #
US - Stati Uniti d'America 925
SG - Singapore 668
CN - Cina 408
BR - Brasile 271
RU - Federazione Russa 252
VN - Vietnam 144
IT - Italia 141
HK - Hong Kong 138
FR - Francia 74
JP - Giappone 63
KR - Corea 56
NL - Olanda 56
DE - Germania 55
FI - Finlandia 43
AR - Argentina 21
AT - Austria 21
IN - India 19
CA - Canada 18
BD - Bangladesh 17
GB - Regno Unito 16
EC - Ecuador 14
MX - Messico 13
VE - Venezuela 11
CO - Colombia 10
ID - Indonesia 9
IL - Israele 9
PL - Polonia 8
ES - Italia 7
IQ - Iraq 7
MY - Malesia 7
JM - Giamaica 6
TR - Turchia 6
UZ - Uzbekistan 6
ZA - Sudafrica 6
KE - Kenya 5
AE - Emirati Arabi Uniti 4
BG - Bulgaria 4
CL - Cile 4
CR - Costa Rica 4
DZ - Algeria 4
EG - Egitto 4
MA - Marocco 4
NI - Nicaragua 4
PK - Pakistan 4
UA - Ucraina 4
UY - Uruguay 4
AU - Australia 3
AZ - Azerbaigian 3
BO - Bolivia 3
CZ - Repubblica Ceca 3
DO - Repubblica Dominicana 3
LT - Lituania 3
MK - Macedonia 3
PA - Panama 3
PY - Paraguay 3
AM - Armenia 2
AO - Angola 2
BE - Belgio 2
GR - Grecia 2
HR - Croazia 2
JO - Giordania 2
NO - Norvegia 2
PH - Filippine 2
PR - Porto Rico 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
AL - Albania 1
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BW - Botswana 1
CY - Cipro 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
IE - Irlanda 1
IR - Iran 1
KZ - Kazakistan 1
LC - Santa Lucia 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
Totale 3.643
Città #
Singapore 399
Santa Clara 360
Hong Kong 136
Hefei 112
Moscow 88
San Jose 87
Ashburn 82
Beijing 80
Lauterbourg 63
Tokyo 56
Seoul 54
Ho Chi Minh City 44
Helsinki 39
Hanoi 30
Los Angeles 28
New York 26
Nuremberg 23
São Paulo 22
Pisa 14
Buffalo 12
Dallas 12
Falkenstein 12
Milan 11
Rio de Janeiro 11
Rome 10
Orem 9
Belo Horizonte 8
Da Nang 8
Florence 8
Warsaw 8
Guayaquil 7
Manaus 7
Atlanta 6
Chennai 6
Minamishinagawa 6
San Marcello 6
Tashkent 6
Bengaluru 5
Frankfurt am Main 5
Haiphong 5
Houston 5
Livorno 5
Naples 5
Salvador 5
Vienna 5
Amsterdam 4
Buenos Aires 4
Fortaleza 4
Guarulhos 4
Hải Dương 4
Kingston 4
Kuala Lumpur 4
Limeira 4
Managua 4
Manchester 4
Nairobi 4
Philadelphia 4
Quito 4
Ribeirão Preto 4
San Francisco 4
San José 4
Stezzano 4
Tampere 4
Thái Nguyên 4
Baku 3
Barquisimeto 3
Boardman 3
Campodarsego 3
Charlotte 3
Chicago 3
Constantine 3
Dhaka 3
Düsseldorf 3
Franca 3
Guangzhou 3
Le Plessis-Robinson 3
Madrid 3
Maracaibo 3
Medellín 3
Miami 3
Milwaukee 3
Montreal 3
Nha Trang 3
Palatine 3
Parma 3
Phoenix 3
Prague 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
Totale 2.114
Nome #
QuARS: a pioneer tool for NL requirement analysis 142
QuARS: Quality Analyzer for Requirement Specifications 110
QuARS: a NLP tool for requirements analysis 104
Manuale d'uso del geo-data server e del sito internet (vers. agg.) 95
Manuale d'uso del geo-data server e del sito internet 95
Leveraging large language models for automated access policies generation: an agentware approach 89
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 88
Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards 81
Certificazione del software fiscale. Un'esperienza italiana di certificazione conforme alla legislazione fiscale. 79
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 77
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session 70
Certification of cash registers software 70
Sito Web "Pubblicare Open Access al CNR" 69
Sito Web "BIBV - BIBliography of historic activity of Italian Volcanoes" 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 65
Sito web Biblioteca Area CNR Pisa 65
Evaluating web site quality: a statistical approach 65
Fiscal software certification: An Italian experience of certification against the fiscal legislation 64
A case study of requirements quality analysis 64
Cartelle sanitarie e di rischio: un'esperienza di certificazione 63
Sito web del laboratorio ISTI "Formal Methods & Tools" 61
An approach to ambiguity analysis in safety-related standards 61
QuARS. User Manual (version 0.5) 59
An Automatic Tool for the Analysis of Natural Language Requirements 58
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 57
Certification and legislation. An Italian experience of fiscal software certification 55
QuARS versus QuARS Express 54
Sito Web "Vamos 2013 - Seventh International Workshop on Variability Modelling of Software-intensive Systems" 53
E-COMWEB: a quality Model for e-commerce Web sites 52
Addressing Readability in NL Requirements Analysis 52
Certificazione prodotti software 52
Sito web GL2020 - 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society" 52
Il GEO-DATA server dell'autorità di bacino del fiume Arno 51
Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro 51
Evaluation of natural language requirements in the MODCONTROL project 47
Sito Web "SPLC 2014 - 18th International Software Product Line Conference" 47
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 47
WCS: a Witness and Counterexample Server 46
Il geo-data server dell'Autorità di Bacino del fiume Arno. Manuale d'uso del geo-data server e del sito Internet 45
An Automatic Tool for the Analysis of Natural Language Requirements 45
QuARS Express - User Manual (version 0.1) 42
QuARS Express: A Tool for Evaluating Natural Language Requirements 41
The HAL-online Tool 39
Early Analysis of Natural Language Requirements 39
A new quality model for natural language requirements specifications 39
Evaluation of natural language requirements in an industrial case study 38
QuARS Express - A Tool Demonstration 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 improving the quality of software requirements 35
HAL (History Dependent Automata Laboratory) - online version [Release 2.1] 35
JACK3 - Just Another Concurrency Kit [Release 3.0] 34
WCS - Witness and Counterexample Server - online tool [Release 1.0 , 03 December 2004] 34
HAL (History dependant Automata Laboratory) - online version [Release 1.2] 32
SEFM 2010 - Poster and Tool Demo Session Proceedings 32
WCS - Witness and Counterexample Server - online tool [Release 2.5 , 01 January 2007] 32
MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) 31
Architettura del geo-data server 31
Assisting the design of a groupware system - Model checking usability aspects of thinkteam 30
Establishing a quality model-based evaluation process for Websites 30
An experience in using a tool for evaluating a large set of natural language requirements 30
QuARS and the natural language processing techniques: looking for a suitable syntax parser 30
JACK3 - Just Another Concurrency Kit [Release 1.0] 29
Thinkteam with replicated data repositories: stochastic model checking in industry 28
Verification on the WEB 28
Conciliating TOP-DOWN and BOTTOM-UP approaches in Websites quality evaluation 26
HAL (History Dependent Automata Laboratory) - online version [Release 1.0] 26
Assisting the design of an industrial groupware system by model checking 26
TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet 25
Assisting the design of a groupware system - model checking usability aspects of thinkteam 24
Verification on the web of mobile systems 23
Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods" 23
Totale 3.652
Categoria #
all - tutte 11.164
article - articoli 774
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 904
Totale 12.842


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.247 96 224 168 253 325 88 309 119 243 262 91 69
2026/2027148 148 0 0 0 0 0 0 0 0 0 0 0
Totale 3.652