IRIS
CERIOLI, MAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.719
Totale 4.719
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.719
Totale 4.719
Salva come PNG Salva come JPEG
Città #
Genova 3.879
Rapallo 523
Genoa 307
Bordighera 10
Totale 4.719
Salva come PNG Salva come JPEG
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 164
From Formal Techniques to Well-Founded Software Development Methods 140
Partial Higher-Order Specifications 136
Institutions for Very Abstract Specifications 136
A Formal Framework with Late Binding 128
DOCASL: an Observer-based CASL extension for Dynamic Specifications 127
Non-strict Don't Care Algebras and Specifications 123
Free Objects and Equational Deduction for Partial Conditional Specifications 121
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 115
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 114
Permissive Subsorted Partial Logic in CASL 112
Algebraic-Oriented Institutions 112
Gesper: Support to Capitalize on Experience in a Network of SMEs 111
Non-strict Don't Care Algebras and Specifications 110
A Lazy Approach to Partial Algebras 108
From ADT to UML-Like Modelling (Short Abstract) 102
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 100
Partial Higher-Order Specifications 99
Extending Casl by Late Binding 99
Fluent vs Basic Assertions in Java: An Empirical Study 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 89
May I Borrow Your Logic? 85
CASL Semantics (Part III) 81
Relationships between Logical Formalisms 80
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 78
Basic Concepts (Chapter 1) 77
Implementation of Derived Programs (Almost) for Free 77
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 76
Injecting Distribution in CASL 76
On the Deployment of IoT Systems: An Industrial Survey 76
Very Abstract Specifications: A Formalism Independent Approach 74
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 72
Tests as Documentation: a First Attempt at Quality Evaluation 71
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 71
LMS Adoption at the University of Genova: Ten Years After 70
GRASP: Grading and Rating ASsistant Professor 67
A sound and equationally-complete deduction system for partial conditional (higher order) types 64
Civic participation powered by Ethereum: A proposal 63
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 60
An Algebraic Semantics of UML Supporting its Multiview Approach 60
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 58
Principi di Ingegneria del software 5/ed 51
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
UML: una notazione per la modellazione 31
Fight silent horror unit test methods by consulting a TestWizard 31
Principi e concetti object-oriented 30
What are IoT systems for real? An experts’ survey on software engineering aspects 22
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 15
Totale 4.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.240
article - articoli 2.092
book - libri 155
conference - conferenze 2.751
curatela - curatele 750
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.492
Totale 24.480
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019199 0 0 0 0 0 0 0 0 0 0 110 89
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/2024200 12 42 4 32 29 25 16 22 12 6 0 0
Totale 4.751