IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.210
AS - Asia 6.281
EU - Europa 5.626
SA - Sud America 723
AF - Africa 86
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 13
Totale 22.961
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.073
SG - Singapore 2.384
CN - Cina 1.696
IE - Irlanda 1.350
RU - Federazione Russa 947
TR - Turchia 891
IT - Italia 732
BR - Brasile 616
DE - Germania 600
HK - Hong Kong 572
GB - Regno Unito 427
UA - Ucraina 414
SE - Svezia 395
VN - Vietnam 383
FR - Francia 313
FI - Finlandia 273
IN - India 97
CA - Canada 68
BD - Bangladesh 53
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 20
MA - Marocco 18
EC - Ecuador 17
EU - Europa 16
UZ - Uzbekistan 16
KR - Corea 14
PK - Pakistan 13
CO - Colombia 11
IL - Israele 11
MY - Malesia 11
TN - Tunisia 11
AT - Austria 10
AU - Australia 10
KE - Kenya 10
VE - Venezuela 10
NP - Nepal 9
SA - Arabia Saudita 9
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
CR - Costa Rica 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
JO - Giordania 3
PS - Palestinian Territory 3
PT - Portogallo 3
TT - Trinidad e Tobago 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
Totale 22.940
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.615
Dublin 1.344
Singapore 1.304
Chandler 1.236
San Jose 1.017
Dallas 804
Hong Kong 554
Boardman 506
Santa Clara 490
Ashburn 474
Izmir 433
Nanjing 371
San Mateo 302
Council Bluffs 283
The Dalles 249
L’Aquila 232
Wilmington 226
Lawrence 206
Princeton 206
New York 187
Moscow 180
Beijing 170
Lauterbourg 160
Nanchang 145
Milan 136
Hangzhou 133
Ann Arbor 126
Ho Chi Minh City 125
Hanoi 106
Los Angeles 80
Seattle 75
Kunming 72
Shenyang 71
Verona 67
Tianjin 66
Hefei 60
Bremen 57
Dearborn 56
Hebei 56
Helsinki 56
Mountain View 54
Munich 51
L'aquila 50
São Paulo 46
Woodbridge 41
Norwalk 40
Brussels 39
Shanghai 39
Des Moines 36
Jinan 33
Tokyo 33
Columbus 32
Jiaxing 32
Ningbo 32
Frankfurt am Main 31
Changsha 28
Rome 26
Orem 25
Houston 24
Paris 24
Rio de Janeiro 24
Da Nang 23
Montreal 22
Zhengzhou 22
Belo Horizonte 21
Chicago 21
Brooklyn 20
Warsaw 20
Changchun 19
Chennai 19
Denver 19
London 17
Mexico City 17
Atlanta 16
Guangzhou 16
Johannesburg 16
Lanzhou 16
Poplar 16
San Francisco 16
Falls Church 14
Lappeenranta 14
Padua 14
Tappahannock 14
Tashkent 14
Düsseldorf 13
Phoenix 13
Stockholm 13
Taizhou 13
Amsterdam 12
Boston 12
Dhaka 12
Haiphong 12
Orange 12
Toronto 12
Fremont 11
Pescara 11
Auburn Hills 10
Baghdad 10
Berlin 10
Campinas 9
Totale 15.367
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 198
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 196
Model-Based Software Performance Analysis 184
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 182
Software engineering for self-adaptive systems: A second research roadmap 173
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 169
User-centric Android Flexible Permissions 167
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 150
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 149
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 149
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 147
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 147
An empirical study of privacy labels on the Apple iOS mobile app store 146
Model-Based System Reconfiguration for Dynamic Performance Management 144
Synthesis and Verification of Self-aware Computing Systems 144
Introducing Trust in Service-oriented Distributed Systems through Blockchain 141
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 139
Towards a Connector Algebra 139
A programming model for adaptable Java applications 135
Deadlock-free software architectures for COM/DCOM Applications 133
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 133
An empirical approach for determining context of mobile systems 133
Towards Self-evolving Context-aware Services 132
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 132
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 130
ModelLAND: Where do models come from? 128
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 127
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 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 126
CHARMY: A Framework for Designing and Verifying Architectural Specifications 124
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 124
Automated integration of service-oriented software systems 124
Proving Finiteness of CCS Processes by Non-Standard Semantics 123
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 123
Combining Interaction and Automation in Process Algebra Verification 123
Software Engineering for Self-Adaptive Systems: A Research Roadmap 122
Failure-free Connector Synthesis for Correct Components Assembly 122
An investigation into Android run-time permissions from the end users' perspective 122
Mediating Connector Patterns for Components Interoperability 121
Hey, my data are mine! Active data to empower the user 121
Automated Synthesis of Service Choreographies 120
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 119
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 119
Software architecture-based analysis and testing: a look into achievements and future challenges 118
A hybrid approach for resource-based comparison of adaptable Java applications 118
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 117
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 116
On Representing Humans’ Soft-Ethics Preferences As Dispositions 116
Infinite Normal Forms for Non-Linear Term Rewritting Systems 116
Achieving functional and non functional interoperability through synthesized connectors 116
I'm Trustworthy! Don't you Trust me? 114
Automatic synthesis of coordinators of COTS group-ware applications: an example 114
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 114
Application-Layer Connector Synthesis 114
A model-based synthesis process for choreography realizability enforcement 114
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 114
On the adaptation of context-aware services 114
A self-configuring and adaptive privacy-aware permission system for Android apps 114
A framework for integration of functional and non-functional analysis of software architectures 113
Automatic failures-free connector synthesis: An example 113
A Framework for Analyzing and Testing the Performance of Software Services 113
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 113
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 113
Is Really IoT Technology Gender Neutral? 113
Infinite Normal Forms for Non-linear Term Rewriting Systems 112
Charmy: A Framework for Designing and Validating Architectural Specifications 112
An Approach to Integration Testing Based on Architectural Descriptions 112
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 112
Integrating performance and reliability analysis in a Non-Functional MDA framework 112
In Search of Clarity: Discerning Between Human Replacement and Augmentation 111
Transformations of software models into performance models 111
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 111
Automated Check of Architectural Models Consistency using Spin 111
A Strategy to Deal with Divergent Rewrite Systems 110
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance 110
Is Type Checking Practical for System Configuration? 110
Compositional Generation of Software Architecture Performance QN Models 110
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 109
The Teleservices and Remote Medical Care System (TRMCS) 109
Adding sorts to TRSs: a result on modularity of termination 109
Graphics by a Logic Database Management System 108
Context-Aware Adaptive Services: The PLASTIC Approach 108
Self-aware Computing Systems: Related Concepts and Research Areas 108
Automatic synthesis of behavior protocols for composable web-services 107
A Scenario Based Notation for Specifying Temporal Properties 107
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 107
An `Executable' Impredicative Semantics for the Ada Configuration. 106
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 106
Infinite Normal Forms for Non-linear Term Rewriting Systems 106
The Future of Software: Adaptation and Dependability 106
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 106
AI Act and Individual Rights: A Juridical and Technical Perspective 105
Rational Rewriting 105
An Experience in Architectural Extensions: Active Objects in J2EE 105
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture 105
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 105
A statistical approach for context-awareness of mobile applications 105
Towards Ethical Prompt Engineering for Generative AI in SE: Limitations, Challenges and Research Roadmap 104
Automated Performance Validation of Software Design: An Industrial Experience 104
Totale 12.323
Salva come PNG Salva come JPEG
Categoria #
all - tutte 93.821
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 93.821
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 0 0 0 0 0 0 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.924 336 695 567 802 633 549 1.164 306 632 707 458 75
Totale 23.260