IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.680
AS - Asia 6.242
EU - Europa 5.607
SA - Sud America 722
AF - Africa 86
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 13
Totale 22.372
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.556
SG - Singapore 2.357
CN - Cina 1.693
IE - Irlanda 1.350
RU - Federazione Russa 947
TR - Turchia 891
IT - Italia 714
BR - Brasile 616
DE - Germania 600
HK - Hong Kong 570
GB - Regno Unito 427
UA - Ucraina 414
SE - Svezia 395
VN - Vietnam 383
FR - Francia 313
FI - Finlandia 273
IN - India 97
CA - Canada 60
BD - Bangladesh 49
MX - Messico 41
AR - Argentina 40
BE - Belgio 40
JP - Giappone 39
NL - Olanda 29
IQ - Iraq 27
ZA - Sudafrica 25
PL - Polonia 24
ES - Italia 19
MA - Marocco 18
EC - Ecuador 17
EU - Europa 16
UZ - Uzbekistan 16
KR - Corea 14
PK - Pakistan 13
CO - Colombia 11
IL - Israele 11
TN - Tunisia 11
AT - Austria 10
AU - Australia 10
KE - Kenya 10
MY - Malesia 10
SA - Arabia Saudita 9
VE - Venezuela 9
NP - Nepal 8
PY - Paraguay 8
CL - Cile 7
JM - Giamaica 7
LT - Lituania 7
DZ - Algeria 6
GR - Grecia 6
LB - Libano 6
PH - Filippine 6
RO - Romania 6
AZ - Azerbaigian 5
EG - Egitto 5
IR - Iran 5
OM - Oman 5
PE - Perù 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AE - Emirati Arabi Uniti 4
BO - Bolivia 4
CH - Svizzera 4
UY - Uruguay 4
AL - Albania 3
CR - Costa Rica 3
JO - Giordania 3
PS - Palestinian Territory 3
PT - Portogallo 3
AO - Angola 2
BG - Bulgaria 2
BH - Bahrain 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
HN - Honduras 2
ID - Indonesia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
ME - Montenegro 2
MN - Mongolia 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BY - Bielorussia 1
CD - Congo 1
DM - Dominica 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
GF - Guiana Francese 1
GT - Guatemala 1
HR - Croazia 1
Totale 22.353
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.615
Dublin 1.344
Singapore 1.303
Chandler 1.236
San Jose 885
Dallas 791
Hong Kong 552
Boardman 506
Santa Clara 477
Ashburn 448
Izmir 433
Nanjing 371
San Mateo 302
The Dalles 249
L’Aquila 232
Wilmington 226
Lawrence 206
Princeton 206
Moscow 180
New York 177
Beijing 170
Lauterbourg 160
Nanchang 145
Milan 135
Hangzhou 133
Ann Arbor 126
Ho Chi Minh City 125
Hanoi 106
Los Angeles 74
Kunming 72
Seattle 72
Shenyang 71
Verona 67
Tianjin 66
Hefei 60
Bremen 57
Dearborn 56
Hebei 56
Helsinki 56
Mountain View 54
Council Bluffs 51
Munich 51
L'aquila 50
São Paulo 46
Woodbridge 41
Norwalk 40
Brussels 39
Shanghai 39
Des Moines 36
Jinan 33
Tokyo 33
Jiaxing 32
Ningbo 32
Columbus 31
Frankfurt am Main 31
Changsha 28
Rome 26
Paris 24
Rio de Janeiro 24
Da Nang 23
Houston 23
Zhengzhou 22
Belo Horizonte 21
Orem 21
Montreal 20
Warsaw 20
Brooklyn 19
Changchun 19
Chennai 19
Denver 19
Chicago 18
London 17
Mexico City 17
Guangzhou 16
Johannesburg 16
Lanzhou 16
Poplar 16
Atlanta 15
Falls Church 14
Lappeenranta 14
Padua 14
Tappahannock 14
Tashkent 14
Düsseldorf 13
Stockholm 13
Taizhou 13
Amsterdam 12
Boston 12
Dhaka 12
Haiphong 12
Orange 12
Phoenix 12
Fremont 11
Pescara 11
San Francisco 11
Auburn Hills 10
Baghdad 10
Berlin 10
Toronto 10
Campinas 9
Totale 14.907
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 197
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 196
Model-Based Software Performance Analysis 182
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 179
Software engineering for self-adaptive systems: A second research roadmap 172
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 169
User-centric Android Flexible Permissions 166
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 148
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 147
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 146
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 145
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 144
Model-Based System Reconfiguration for Dynamic Performance Management 143
Synthesis and Verification of Self-aware Computing Systems 143
An empirical study of privacy labels on the Apple iOS mobile app store 142
Introducing Trust in Service-oriented Distributed Systems through Blockchain 141
Towards a Connector Algebra 138
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 135
A programming model for adaptable Java applications 132
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 132
Towards Self-evolving Context-aware Services 130
Deadlock-free software architectures for COM/DCOM Applications 129
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 129
An empirical approach for determining context of mobile systems 128
ModelLAND: Where do models come from? 127
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 126
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 126
A Development Process for Self-adapting Service Oriented Applications 125
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 123
Automated integration of service-oriented software systems 123
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 123
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 122
An investigation into Android run-time permissions from the end users' perspective 122
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 121
Proving Finiteness of CCS Processes by Non-Standard Semantics 121
Hey, my data are mine! Active data to empower the user 121
CHARMY: A Framework for Designing and Verifying Architectural Specifications 120
Combining Interaction and Automation in Process Algebra Verification 120
Mediating Connector Patterns for Components Interoperability 118
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 118
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 117
Software Engineering for Self-Adaptive Systems: A Research Roadmap 116
Failure-free Connector Synthesis for Correct Components Assembly 116
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 116
A hybrid approach for resource-based comparison of adaptable Java applications 115
Automated Synthesis of Service Choreographies 115
Application-Layer Connector Synthesis 114
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 114
On Representing Humans’ Soft-Ethics Preferences As Dispositions 113
Infinite Normal Forms for Non-Linear Term Rewritting Systems 113
Is Really IoT Technology Gender Neutral? 113
Software architecture-based analysis and testing: a look into achievements and future challenges 112
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 112
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 111
A Framework for Analyzing and Testing the Performance of Software Services 111
Automatic synthesis of coordinators of COTS group-ware applications: an example 111
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 111
Achieving functional and non functional interoperability through synthesized connectors 111
A self-configuring and adaptive privacy-aware permission system for Android apps 111
In Search of Clarity: Discerning Between Human Replacement and Augmentation 110
I'm Trustworthy! Don't you Trust me? 110
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 110
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 110
A model-based synthesis process for choreography realizability enforcement 110
On the adaptation of context-aware services 110
Integrating performance and reliability analysis in a Non-Functional MDA framework 110
Infinite Normal Forms for Non-linear Term Rewriting Systems 109
An Approach to Integration Testing Based on Architectural Descriptions 109
Is Type Checking Practical for System Configuration? 109
A framework for integration of functional and non-functional analysis of software architectures 108
Compositional Generation of Software Architecture Performance QN Models 108
The Teleservices and Remote Medical Care System (TRMCS) 107
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance 107
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 107
Self-aware Computing Systems: Related Concepts and Research Areas 107
Charmy: A Framework for Designing and Validating Architectural Specifications 106
Automatic failures-free connector synthesis: An example 106
Context-Aware Adaptive Services: The PLASTIC Approach 106
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 106
Transformations of software models into performance models 106
Graphics by a Logic Database Management System 105
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 105
A Scenario Based Notation for Specifying Temporal Properties 105
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 105
An Experience in Architectural Extensions: Active Objects in J2EE 105
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 105
A statistical approach for context-awareness of mobile applications 105
A Strategy to Deal with Divergent Rewrite Systems 104
Automated Check of Architectural Models Consistency using Spin 104
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 104
Software Architectures and Coordination models 104
AI Act and Individual Rights: A Juridical and Technical Perspective 103
Automatic synthesis of behavior protocols for composable web-services 103
Adding sorts to TRSs: a result on modularity of termination 103
Automated Performance Validation of Software Design: An Industrial Experience 103
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture 103
The Challenge of Human Dignity in the Era of Autonomous Systems 103
An `Executable' Impredicative Semantics for the Ada Configuration. 102
Infinite Normal Forms for Non-linear Term Rewriting Systems 102
Using Logic Databases in Software Development Environments 102
Totale 12.067
Salva come PNG Salva come JPEG
Categoria #
all - tutte 89.146
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 89.146
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021474 0 0 0 0 0 0 0 0 0 47 392 35
2021/20221.124 38 124 131 90 68 20 17 71 83 44 87 351
2022/20233.723 272 156 38 376 408 384 2 232 1.694 20 84 57
2023/20241.018 321 59 25 147 67 181 12 86 0 26 36 58
2024/20253.795 114 89 348 123 412 287 451 439 798 227 287 220
2025/20266.333 336 695 567 802 633 549 1.164 306 632 649 0 0
Totale 22.669