CERIOLI, MAURA
 Distribuzione geografica
Continente #
EU - Europa 6.211
AS - Asia 27
SA - Sud America 7
NA - Nord America 1
Totale 6.246
Nazione #
IT - Italia 6.211
CN - Cina 27
BR - Brasile 7
US - Stati Uniti d'America 1
Totale 6.246
Città #
Genova 3.879
Genoa 1.391
Rapallo 523
Vado Ligure 408
Beijing 15
Bordighera 10
Ashburn 1
Brasília 1
Palestina 1
Porto Alegre 1
Rio das Pedras 1
São Paulo 1
Teresina 1
Totale 6.233
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 199
From Formal Techniques to Well-Founded Software Development Methods 180
A Formal Framework with Late Binding 171
DOCASL: an Observer-based CASL extension for Dynamic Specifications 169
Free Objects and Equational Deduction for Partial Conditional Specifications 156
Partial Higher-Order Specifications 154
Institutions for Very Abstract Specifications 151
Algebraic-Oriented Institutions 148
Non-strict Don't Care Algebras and Specifications 146
A Lazy Approach to Partial Algebras 140
Fluent vs Basic Assertions in Java: An Empirical Study 140
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 138
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 136
Multiparadigm Specification Languages: a First Attempt at Foundations 135
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 134
Extending Casl by Late Binding 134
From ADT to UML-Like Modelling (Short Abstract) 133
Gesper: Support to Capitalize on Experience in a Network of SMEs 130
Non-strict Don't Care Algebras and Specifications 129
Permissive Subsorted Partial Logic in CASL 126
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 122
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 119
Partial Higher-Order Specifications 117
May I Borrow Your Logic? 114
From Total Equational to Partial Conditional (Chapter 3) 113
On the Deployment of IoT Systems: An Industrial Survey 113
CASL Semantics (Part III) 112
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 110
What is an Abstract Data Type after all? 110
Relationships between Logical Frames 110
Injecting Distribution in CASL 108
Basic Concepts (Chapter 1) 107
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 105
Civic participation powered by Ethereum: A proposal 99
LMS Adoption at the University of Genova: Ten Years After 98
Relationships between Logical Formalisms 97
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 97
Implementation of Derived Programs (Almost) for Free 97
Fight silent horror unit test methods by consulting a TestWizard 96
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 94
A sound and equationally-complete deduction system for partial conditional (higher order) types 94
An Algebraic Semantics of UML Supporting its Multiview Approach 93
Very Abstract Specifications: A Formalism Independent Approach 93
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 89
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 88
GRASP: Grading and Rating ASsistant Professor 86
Tests as Documentation: a First Attempt at Quality Evaluation 83
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 78
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 78
COVID-19 hits the job market: An 88 million job ads analysis 73
Principi di Ingegneria del software 5/ed 70
What are IoT systems for real? An experts’ survey on software engineering aspects 63
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights 59
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 56
UML: una notazione per la modellazione 50
Principi e concetti object-oriented 45
Totale 6.285
Categoria #
all - tutte 20.085
article - articoli 3.516
book - libri 248
conference - conferenze 4.967
curatela - curatele 1.327
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.027
Totale 40.170


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021240 0 0 0 15 14 26 6 25 49 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/2026472 211 28 123 110 0 0 0 0 0 0 0 0
Totale 6.285