IRIS
CERIOLI, MAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.932
Totale 4.932
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.932
Totale 4.932
Salva come PNG Salva come JPEG
Città #
Genova 3.879
Rapallo 523
Genoa 377
Vado Ligure 143
Bordighera 10
Totale 4.932
Salva come PNG Salva come JPEG
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 167
From Formal Techniques to Well-Founded Software Development Methods 144
Partial Higher-Order Specifications 141
Institutions for Very Abstract Specifications 138
A Formal Framework with Late Binding 134
DOCASL: an Observer-based CASL extension for Dynamic Specifications 134
Free Objects and Equational Deduction for Partial Conditional Specifications 127
Non-strict Don't Care Algebras and Specifications 124
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 121
Multiparadigm Specification Languages: a First Attempt at Foundations 120
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 119
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 118
Gesper: Support to Capitalize on Experience in a Network of SMEs 115
Algebraic-Oriented Institutions 114
Permissive Subsorted Partial Logic in CASL 113
A Lazy Approach to Partial Algebras 113
Non-strict Don't Care Algebras and Specifications 112
Extending Casl by Late Binding 106
Fluent vs Basic Assertions in Java: An Empirical Study 106
From ADT to UML-Like Modelling (Short Abstract) 104
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 103
Partial Higher-Order Specifications 101
From Total Equational to Partial Conditional (Chapter 3) 98
Relationships between Logical Frames 94
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 92
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 92
What is an Abstract Data Type after all? 92
May I Borrow Your Logic? 88
Relationships between Logical Formalisms 84
CASL Semantics (Part III) 84
Injecting Distribution in CASL 84
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 82
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 82
On the Deployment of IoT Systems: An Industrial Survey 81
Basic Concepts (Chapter 1) 80
Implementation of Derived Programs (Almost) for Free 80
Very Abstract Specifications: A Formalism Independent Approach 77
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 76
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 76
LMS Adoption at the University of Genova: Ten Years After 74
Tests as Documentation: a First Attempt at Quality Evaluation 73
GRASP: Grading and Rating ASsistant Professor 70
A sound and equationally-complete deduction system for partial conditional (higher order) types 68
Civic participation powered by Ethereum: A proposal 67
An Algebraic Semantics of UML Supporting its Multiview Approach 65
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 65
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 62
Principi di Ingegneria del software 5/ed 54
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 53
COVID-19 hits the job market: An 88 million job ads analysis 41
Fight silent horror unit test methods by consulting a TestWizard 37
UML: una notazione per la modellazione 34
Principi e concetti object-oriented 32
What are IoT systems for real? An experts’ survey on software engineering aspects 27
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 26
Totale 4.964
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.399
article - articoli 2.518
book - libri 181
conference - conferenze 3.374
curatela - curatele 894
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.432
Totale 28.798
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.099 0 0 0 63 104 97 188 72 118 223 175 59
2020/2021314 26 23 25 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/2025168 50 76 35 7 0 0 0 0 0 0 0 0
Totale 4.964