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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.244 41 27 77 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/202511 11 0 0 0 0 0 0 0 0 0 0 0
Totale 4.807