IRIS
CERIOLI, MAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.336
AS - Asia 612
NA - Nord America 252
SA - Sud America 61
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.272
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.230
SG - Singapore 259
US - Stati Uniti d'America 235
CN - Cina 184
VN - Vietnam 112
FR - Francia 52
BR - Brasile 41
HK - Hong Kong 19
DE - Germania 13
JP - Giappone 10
MX - Messico 9
CH - Svizzera 8
FI - Finlandia 8
NL - Olanda 6
AR - Argentina 5
EC - Ecuador 5
IN - India 5
IQ - Iraq 5
GB - Regno Unito 4
PK - Pakistan 4
UA - Ucraina 4
UZ - Uzbekistan 3
VE - Venezuela 3
CA - Canada 2
CI - Costa d'Avorio 2
CL - Cile 2
CO - Colombia 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ES - Italia 2
HN - Honduras 2
ID - Indonesia 2
IE - Irlanda 2
MY - Malesia 2
SE - Svezia 2
ZA - Sudafrica 2
AL - Albania 1
BD - Bangladesh 1
BO - Bolivia 1
CG - Congo 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GT - Guatemala 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
LB - Libano 1
MA - Marocco 1
MD - Moldavia 1
PH - Filippine 1
PL - Polonia 1
PY - Paraguay 1
SA - Arabia Saudita 1
SN - Senegal 1
TH - Thailandia 1
TR - Turchia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.272
Salva come PNG Salva come JPEG
Città #
Genova 3.879
Genoa 1.393
Rapallo 523
Vado Ligure 408
Singapore 123
San Jose 76
Lauterbourg 48
Ashburn 42
Beijing 41
Ho Chi Minh City 31
Hanoi 29
New York 22
Hong Kong 19
Santa Clara 15
Da Nang 11
Frankfurt am Main 11
Bordighera 10
Helsinki 8
Zurich 8
Mexico City 7
Tokyo 7
Amsterdam 6
São Paulo 4
Tianjin 4
Chicago 3
Dublin 3
Haiphong 3
Hải Dương 3
Los Angeles 3
Quito 3
Quận Ba 3
Shanghai 3
Tashkent 3
Turin 3
Abidjan 2
Baghdad 2
Cairo 2
Cardiff 2
Guangzhou 2
Hangzhou 2
Jakarta 2
Johannesburg 2
Kirkuk 2
Madrid 2
Orem 2
Osasco 2
Piscataway 2
Porto Alegre 2
Santiago 2
Shijiazhuang 2
Stockholm 2
Tiền Hải 2
Vienne 2
Vinh 2
Acalanes Ridge 1
Ambarès-et-Lagrave 1
Amman 1
Anchieta 1
Araras 1
Araçatuba 1
Asunción 1
Atlanta 1
Badia al Pino 1
Barcelona 1
Barquisimeto 1
Barretos 1
Belo Horizonte 1
Borghetto di Vara 1
Brasília 1
Brazzaville 1
Brescia 1
Buenos Aires 1
Buffalo 1
Buies Creek 1
Bắc Ninh 1
Caldas Novas 1
Campo Grande 1
Canto do Buriti 1
Cao Lanh 1
Carapicuíba 1
Cariacica 1
Cartagena 1
Casablanca 1
Chennai 1
Chongqing 1
Cleveland 1
Cobble Hill 1
Conselheiro Lafaiete 1
Council Bluffs 1
Dakar 1
Delhi 1
Denver 1
Des Moines 1
El Progreso 1
El Vigía 1
Esmeraldas 1
Feliz 1
Foshan 1
Franca 1
Guatemala City 1
Totale 6.841
Salva come PNG Salva come JPEG
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 222
From Formal Techniques to Well-Founded Software Development Methods 195
DOCASL: an Observer-based CASL extension for Dynamic Specifications 189
A Formal Framework with Late Binding 186
Free Objects and Equational Deduction for Partial Conditional Specifications 178
Partial Higher-Order Specifications 170
Fluent vs Basic Assertions in Java: An Empirical Study 167
Institutions for Very Abstract Specifications 164
Non-strict Don't Care Algebras and Specifications 164
Algebraic-Oriented Institutions 162
A Lazy Approach to Partial Algebras 157
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 155
On the Deployment of IoT Systems: An Industrial Survey 155
Extending Casl by Late Binding 154
Multiparadigm Specification Languages: a First Attempt at Foundations 153
Gesper: Support to Capitalize on Experience in a Network of SMEs 151
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 149
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 149
From ADT to UML-Like Modelling (Short Abstract) 146
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 144
Non-strict Don't Care Algebras and Specifications 141
Fight silent horror unit test methods by consulting a TestWizard 139
Permissive Subsorted Partial Logic in CASL 137
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 137
Partial Higher-Order Specifications 136
From Total Equational to Partial Conditional (Chapter 3) 130
CASL Semantics (Part III) 130
May I Borrow Your Logic? 127
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 126
Basic Concepts (Chapter 1) 124
Injecting Distribution in CASL 123
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 121
Relationships between Logical Frames 120
What is an Abstract Data Type after all? 119
Civic participation powered by Ethereum: A proposal 116
LMS Adoption at the University of Genova: Ten Years After 115
An Algebraic Semantics of UML Supporting its Multiview Approach 112
Very Abstract Specifications: A Formalism Independent Approach 112
Relationships between Logical Formalisms 111
A sound and equationally-complete deduction system for partial conditional (higher order) types 111
Implementation of Derived Programs (Almost) for Free 111
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 111
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 110
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 109
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 107
COVID-19 hits the job market: An 88 million job ads analysis 101
GRASP: Grading and Rating ASsistant Professor 99
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 99
Tests as Documentation: a First Attempt at Quality Evaluation 98
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 97
Principi di Ingegneria del software 5/ed 86
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights 85
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 83
What are IoT systems for real? An experts’ survey on software engineering aspects 82
UML: una notazione per la modellazione 61
Principi e concetti object-oriented 55
Software engineering in IoT: Insights from a survey of 361 experts 23
Totale 7.314
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.086
article - articoli 3.919
book - libri 279
conference - conferenze 5.541
curatela - curatele 1.478
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.869
Totale 44.172
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021105 0 0 0 0 0 0 0 0 0 39 43 23
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.501 211 28 123 110 225 177 266 114 127 120 0 0
Totale 7.314