IRIS
ASTESIANO, EGIDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.117
AS - Asia 815
NA - Nord America 651
SA - Sud America 75
AF - Africa 17
OC - Oceania 1
Totale 11.676
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 9.991
US - Stati Uniti d'America 612
SG - Singapore 358
CN - Cina 242
VN - Vietnam 97
FR - Francia 69
BR - Brasile 47
HK - Hong Kong 29
BD - Bangladesh 28
DE - Germania 23
JP - Giappone 21
CA - Canada 17
AR - Argentina 8
IQ - Iraq 8
IN - India 7
CH - Svizzera 6
MX - Messico 6
EC - Ecuador 5
GB - Regno Unito 5
JM - Giamaica 5
PH - Filippine 5
CO - Colombia 4
FI - Finlandia 4
HN - Honduras 4
PY - Paraguay 4
TH - Thailandia 4
CL - Cile 3
ES - Italia 3
JO - Giordania 3
KE - Kenya 3
ZA - Sudafrica 3
DK - Danimarca 2
EG - Egitto 2
GT - Guatemala 2
ID - Indonesia 2
IE - Irlanda 2
LB - Libano 2
MA - Marocco 2
NL - Olanda 2
PE - Perù 2
SC - Seychelles 2
TN - Tunisia 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AT - Austria 1
BB - Barbados 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
KR - Corea 1
MD - Moldavia 1
MM - Myanmar 1
NI - Nicaragua 1
NP - Nepal 1
PF - Polinesia Francese 1
PK - Pakistan 1
PL - Polonia 1
RO - Romania 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
UA - Ucraina 1
ZW - Zimbabwe 1
Totale 11.676
Salva come PNG Salva come JPEG
Città #
Genova 6.836
Genoa 1.682
Rapallo 815
Vado Ligure 604
San Jose 179
Singapore 173
Lauterbourg 65
Ashburn 51
Beijing 45
New York 34
Santa Clara 31
Hanoi 28
Hong Kong 27
Ho Chi Minh City 22
Frankfurt am Main 19
Tokyo 18
Bordighera 15
Chicago 10
Dallas 7
Rome 6
Zurich 6
Buffalo 5
Da Nang 5
Hải Dương 5
Helsinki 4
Orem 4
Princeton 4
San Antonio 4
San Francisco 4
Tianjin 4
Toronto 4
Amman 3
Baghdad 3
Burlington 3
Haiphong 3
Houston 3
Kingston 3
Los Angeles 3
Miami 3
Nairobi 3
Philadelphia 3
Phoenix 3
Quezon City 3
Quito 3
Roseville 3
Akron 2
Amenia 2
Amsterdam 2
Anderson 2
Asunción 2
Austin 2
Bridgeport 2
Cairo 2
Calgary 2
Can Tho 2
Chennai 2
Chongqing 2
City of London 2
Cleveland 2
Council Bluffs 2
Dayton 2
Dover 2
Dublin 2
El Paso 2
Everett 2
Fredericksburg 2
Guangzhou 2
Guatemala City 2
Guayaquil 2
Indpls 2
Inverness 2
Kansas City 2
Key West 2
Kingstree 2
Kirkuk 2
Lansdowne 2
Lima 2
Litchfield Park 2
Mexico City 2
Mobile 2
Montreal 2
Orland Park 2
Parma 2
Porter Ranch 2
Portland 2
Porto Alegre 2
Queens 2
Rio de Janeiro 2
Rochester 2
Salt Lake City 2
San Diego 2
San Mateo 2
Santiago 2
Spring Hill 2
St. Cloud 2
Tashkent 2
Thái Bình 2
Tualatin 2
Tucson 2
Van Nuys 2
Totale 10.868
Salva come PNG Salva come JPEG
Nome #
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 247
D-oids: a model for dynamic data-types 236
Architecture Specific Models: Software Design on Abstract Platforms 229
A Metalanguage for the Formal Requirement Specification of Reactive Systems 214
A Discipline for Handling Feature Interaction 206
A dynamic specification of the RPC-memory problem 203
On the parameterized algebraic specification of concurrent systems 202
From Formal Techniques to Well-Founded Software Development Methods 200
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 199
Algebraic specification of concurrency 190
Algebraic Specification of Concurrent Systems 189
Free Objects and Equational Deduction for Partial Conditional Specifications 188
Data in a concurrent environment 187
Relational specifications and observational semantics 186
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 185
Partial Higher-Order Specifications 181
On the specification of the firing squad problem 181
An outline of the SMoLCS approach 179
Generalized bisimulation in relational specifications 178
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 176
A Semantic Model for Dynamic Systems 176
A Framework for Defining and Comparing Modelling Methods 173
Revising the UML Collaborations: A Well-Founded Approach 172
Non-strict Don't Care Algebras and Specifications 169
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 169
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 167
Observational Structures and Their Logics 167
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 166
Semantics of CSP via translation into CCS 165
SOA Adoption in the Italian Industry 165
Multiparadigm Specification Languages: a First Attempt at Foundations 161
Comparing direct and continuation semantics styles for concurrent languages 161
Towards a Holistic Method for Business Process Analytics 158
Applying the SMoLCS Specification Methodology to the CNET Architecture 156
Processes as data types: Observational semantics and logic 156
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 156
From ADT to UML-Like Modelling (Short Abstract) 155
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 155
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 154
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 151
Parametric Channels Via Label Expressions in CCS 150
Non-strict Don't Care Algebras and Specifications 145
The SMoLCS ToolSet 145
Knowledge structuring and representation in requirement specification 145
Towards a Well-Founded UML-Based Development Method 145
Partial Higher-Order Specifications 143
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 143
The SMoLCS approach to the formal semantics of programming languages 142
Modeling Business within a UML-Based Rigorous Software Development Approach 139
Labelled Transition Logic:an outline 135
A syntax-directed approach to the semantics of concurrent languages 133
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 133
Tight Structuring for Precise UML-based Requirement Specifications 133
Stores as Homomorphisms and their Transformations 133
Formalism and Method 131
Algebraic Specification at Work 131
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 130
Semantics of Distributed Processes Derived by Translation 128
Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers 128
SMoLCS-driven concurrent calculi 127
Stores as Homomorphisms and Their Transformations 125
The Ada Challenge for New Formal Semantic Techniques 124
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study 123
Relationships between Logical Frames 123
An Algebraic Semantics of UML Supporting its Multiview Approach 122
Business Process Modelling: Five Styles and a Method to Choose the Most Suitable One 118
Building VECM-based Systems with a Model Driven Approach: an Experience Report 117
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? 114
On the effectiveness of screen mockups in requirements engineering: results from an internal replication 113
FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 105
Formal Specification of a Concurrent Architecture in a Real Project 105
Formalism and Method 98
FIDJI'2003 - Scientific Engineering of Distributed Java Applications, proceedings of the 3rd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2003 97
Specifying reactive systems by abstract events 96
From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour 86
Parametric Channels and their Applications 80
Totale 11.693
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.938
article - articoli 4.732
book - libri 749
conference - conferenze 15.735
curatela - curatele 643
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 12.079
Totale 67.876
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.043 21 165 47 104 40 30 109 249 24 83 55 116
2022/20231.009 127 86 5 139 122 180 4 69 181 2 90 4
2023/2024325 18 57 9 34 22 35 18 19 23 15 26 49
2024/20251.261 48 105 62 101 194 118 107 143 45 55 111 172
2025/20262.040 237 25 135 187 257 209 359 104 92 214 53 168
2026/2027205 205 0 0 0 0 0 0 0 0 0 0 0
Totale 11.693