IRIS
CERIOLI, MAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.706
Totale 4.706
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.706
Totale 4.706
Salva come PNG Salva come JPEG
Città #
Genova 3.879
Rapallo 572
Genoa 255
Totale 4.706
Salva come PNG Salva come JPEG
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 160
Partial Higher-Order Specifications 137
From Formal Techniques to Well-Founded Software Development Methods 137
Institutions for Very Abstract Specifications 136
A Formal Framework with Late Binding 127
DOCASL: an Observer-based CASL extension for Dynamic Specifications 127
Non-strict Don't Care Algebras and Specifications 125
Free Objects and Equational Deduction for Partial Conditional Specifications 123
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 119
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 117
Multiparadigm Specification Languages: a First Attempt at Foundations 115
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 115
Permissive Subsorted Partial Logic in CASL 112
Algebraic-Oriented Institutions 112
Gesper: Support to Capitalize on Experience in a Network of SMEs 112
Non-strict Don't Care Algebras and Specifications 109
A Lazy Approach to Partial Algebras 107
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 101
Extending Casl by Late Binding 101
From ADT to UML-Like Modelling (Short Abstract) 100
Fluent vs Basic Assertions in Java: An Empirical Study 100
Partial Higher-Order Specifications 98
From Total Equational to Partial Conditional (Chapter 3) 98
Relationships between Logical Frames 95
What is an Abstract Data Type after all? 91
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 90
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 89
May I Borrow Your Logic? 85
Relationships between Logical Formalisms 80
CASL Semantics (Part III) 80
Basic Concepts (Chapter 1) 78
Injecting Distribution in CASL 78
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 78
Implementation of Derived Programs (Almost) for Free 78
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 77
Very Abstract Specifications: A Formalism Independent Approach 75
On the Deployment of IoT Systems: An Industrial Survey 74
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 70
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 70
GRASP: Grading and Rating ASsistant Professor 67
LMS Adoption at the University of Genova: Ten Years After 66
A sound and equationally-complete deduction system for partial conditional (higher order) types 65
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 59
Principi di Ingegneria del software 5/ed 51
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 51
Principi e concetti object-oriented 31
Fight silent horror unit test methods by consulting a TestWizard 31
COVID-19 hits the job market: An 88 million job ads analysis 31
UML: una notazione per la modellazione 30
What are IoT systems for real? An experts’ survey on software engineering aspects 21
Totale 4.735
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.505
article - articoli 1.751
book - libri 140
conference - conferenze 2.296
curatela - curatele 674
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.644
Totale 21.010
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019318 0 0 0 0 0 47 18 6 5 43 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/2023699 66 47 4 80 79 129 3 92 121 5 59 14
2023/2024130 12 44 9 33 31 1 0 0 0 0 0 0
Totale 4.735