IRIS
CERIOLI, MAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.386
AS - Asia 659
NA - Nord America 599
SA - Sud America 71
Continente sconosciuto - Info sul continente non disponibili 47
AF - Africa 11
Totale 7.773
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.271
US - Stati Uniti d'America 560
SG - Singapore 264
CN - Cina 188
VN - Vietnam 112
FR - Francia 54
BR - Brasile 45
BD - Bangladesh 35
HK - Hong Kong 19
CA - Canada 15
DE - Germania 14
JP - Giappone 11
MX - Messico 9
CH - Svizzera 8
FI - Finlandia 8
NL - Olanda 8
EC - Ecuador 7
AR - Argentina 6
GB - Regno Unito 5
IN - India 5
IQ - Iraq 5
JM - Giamaica 5
UA - Ucraina 5
VE - Venezuela 5
PK - Pakistan 4
HN - Honduras 3
ID - Indonesia 3
MY - Malesia 3
UZ - Uzbekistan 3
CI - Costa d'Avorio 2
CL - Cile 2
CO - Colombia 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ES - Italia 2
GT - Guatemala 2
IE - Irlanda 2
SE - Svezia 2
ZA - Sudafrica 2
AL - Albania 1
BO - Bolivia 1
CG - Congo 1
CR - Costa Rica 1
DZ - Algeria 1
HR - Croazia 1
JO - Giordania 1
LB - Libano 1
MA - Marocco 1
MD - Moldavia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
PY - Paraguay 1
SA - Arabia Saudita 1
SC - Seychelles 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TR - Turchia 1
TW - Taiwan 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.727
Salva come PNG Salva come JPEG
Città #
Genova 3.879
Genoa 1.399
Rapallo 523
Vado Ligure 408
San Jose 142
Singapore 128
Ashburn 69
Lauterbourg 48
Beijing 44
Ho Chi Minh City 31
New York 30
Hanoi 29
Santa Clara 21
Hong Kong 19
Da Nang 11
Frankfurt am Main 11
Bordighera 10
Chicago 10
Houston 9
Helsinki 8
Los Angeles 8
Tokyo 8
Zurich 8
Mexico City 7
Amsterdam 6
Dallas 6
Phoenix 5
Turin 5
Vancouver 5
Agropoli 4
Quito 4
Rome 4
São Paulo 4
Tianjin 4
Atlanta 3
Buffalo 3
Columbus 3
Dublin 3
Haiphong 3
Hangzhou 3
Hải Dương 3
Miami 3
Milan 3
Orland Park 3
Queens 3
Quận Ba 3
Rialto 3
Roseville 3
San Antonio 3
Shanghai 3
Tashkent 3
Abidjan 2
Baghdad 2
Barquisimeto 2
Bay City 2
Bethlehem 2
Billings 2
Birmingham 2
Bushnell 2
Cairo 2
Cardiff 2
Cleveland 2
Dearborn 2
El Paso 2
Fredericksburg 2
Goldsboro 2
Guangzhou 2
Guatemala City 2
Guayaquil 2
Inverness 2
Jakarta 2
Johannesburg 2
Kirkuk 2
Lansdowne 2
London 2
Madrid 2
Montreal 2
Naples 2
Nashua 2
Orem 2
Osasco 2
Oxford 2
Pensacola 2
Philadelphia 2
Pine Bluff 2
Piscataway 2
Porto Alegre 2
San Francisco 2
Santiago 2
Shijiazhuang 2
Spanaway 2
Stockholm 2
Tiền Hải 2
Toronto 2
Tualatin 2
Vienne 2
Vinh 2
Washington 2
Acalanes Ridge 1
Acireale 1
Totale 7.054
Salva come PNG Salva come JPEG
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 229
From Formal Techniques to Well-Founded Software Development Methods 200
A Formal Framework with Late Binding 196
DOCASL: an Observer-based CASL extension for Dynamic Specifications 195
Free Objects and Equational Deduction for Partial Conditional Specifications 188
Partial Higher-Order Specifications 181
Institutions for Very Abstract Specifications 173
Fluent vs Basic Assertions in Java: An Empirical Study 172
Algebraic-Oriented Institutions 171
Non-strict Don't Care Algebras and Specifications 169
Gesper: Support to Capitalize on Experience in a Network of SMEs 163
Multiparadigm Specification Languages: a First Attempt at Foundations 161
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 161
On the Deployment of IoT Systems: An Industrial Survey 161
A Lazy Approach to Partial Algebras 160
Extending Casl by Late Binding 158
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 156
From ADT to UML-Like Modelling (Short Abstract) 155
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 154
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 151
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 147
Fight silent horror unit test methods by consulting a TestWizard 147
Non-strict Don't Care Algebras and Specifications 145
Permissive Subsorted Partial Logic in CASL 144
Partial Higher-Order Specifications 143
CASL Semantics (Part III) 138
From Total Equational to Partial Conditional (Chapter 3) 137
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 133
May I Borrow Your Logic? 132
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 129
Basic Concepts (Chapter 1) 129
Injecting Distribution in CASL 129
What is an Abstract Data Type after all? 124
Very Abstract Specifications: A Formalism Independent Approach 123
Civic participation powered by Ethereum: A proposal 123
Relationships between Logical Frames 123
An Algebraic Semantics of UML Supporting its Multiview Approach 122
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 121
LMS Adoption at the University of Genova: Ten Years After 120
Relationships between Logical Formalisms 119
A sound and equationally-complete deduction system for partial conditional (higher order) types 119
Implementation of Derived Programs (Almost) for Free 117
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 115
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 115
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 113
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 112
COVID-19 hits the job market: An 88 million job ads analysis 112
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 105
Tests as Documentation: a First Attempt at Quality Evaluation 105
GRASP: Grading and Rating ASsistant Professor 103
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights 99
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 94
Principi di Ingegneria del software 5/ed 91
What are IoT systems for real? An experts’ survey on software engineering aspects 90
UML: una notazione per la modellazione 68
Principi e concetti object-oriented 63
Software engineering in IoT: Insights from a survey of 361 experts 38
AI-Driven Microlearning for Proactive DevSecOps: Closing the Security Skill Gap 22
Towards Automated Skill and Competency Management in IT Companies 10
Totale 7.773
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.351
article - articoli 4.315
book - libri 310
conference - conferenze 6.213
curatela - curatele 1.617
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 11.896
Totale 48.702
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022685 40 86 9 94 21 48 55 155 18 58 34 67
2022/2023645 66 47 4 80 79 129 3 49 116 5 57 10
2023/2024245 12 42 4 32 29 25 16 22 12 6 16 29
2024/20251.017 50 76 35 58 142 92 73 151 41 42 103 154
2025/20261.751 211 28 123 110 225 177 266 114 127 141 73 156
2026/2027209 209 0 0 0 0 0 0 0 0 0 0 0
Totale 7.773