4 Contributo in Atti di Convegno (Proceeding)
 Distribuzione geografica
Continente #
EU - Europa 1.198
NA - Nord America 571
AS - Asia 461
OC - Oceania 36
AF - Africa 34
SA - Sud America 20
Continente sconosciuto - Info sul continente non disponibili 4
Totale 2.324
Nazione #
US - Stati Uniti d'America 533
IT - Italia 362
DE - Germania 242
CN - Cina 93
NL - Olanda 93
CZ - Repubblica Ceca 85
FR - Francia 80
IE - Irlanda 55
VN - Vietnam 54
IN - India 53
GB - Regno Unito 49
IR - Iran 41
IL - Israele 40
AU - Australia 36
RU - Federazione Russa 34
CA - Canada 30
JP - Giappone 30
CH - Svizzera 29
HK - Hong Kong 29
SE - Svezia 23
ES - Italia 20
UA - Ucraina 20
SG - Singapore 19
KR - Corea 15
TR - Turchia 15
AT - Austria 13
PL - Polonia 12
DZ - Algeria 10
FI - Finlandia 10
LK - Sri Lanka 10
PT - Portogallo 9
BE - Belgio 8
BR - Brasile 8
NO - Norvegia 8
RO - Romania 8
TH - Thailandia 8
ZA - Sudafrica 8
GE - Georgia 7
EE - Estonia 6
GR - Grecia 6
ID - Indonesia 6
PK - Pakistan 6
TW - Taiwan 6
IQ - Iraq 5
LU - Lussemburgo 5
MA - Marocco 5
MY - Malesia 5
PH - Filippine 5
SC - Seychelles 5
CO - Colombia 4
EU - Europa 4
HN - Honduras 4
MX - Messico 4
AZ - Azerbaigian 3
EC - Ecuador 3
HR - Croazia 3
KZ - Kazakistan 3
RS - Serbia 3
AL - Albania 2
BY - Bielorussia 2
DK - Danimarca 2
ET - Etiopia 2
HU - Ungheria 2
OM - Oman 2
PE - Perù 2
PY - Paraguay 2
SA - Arabia Saudita 2
SI - Slovenia 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BG - Bulgaria 1
DJ - Gibuti 1
EG - Egitto 1
JE - Jersey 1
KE - Kenya 1
LB - Libano 1
LT - Lituania 1
MT - Malta 1
NP - Nepal 1
UG - Uganda 1
Totale 2.324
Città #
Ashburn 94
L’Aquila 89
Dublin 55
Rome 44
Dong Ket 43
Council Bluffs 26
Los Angeles 24
Boardman 21
Naaldwijk 20
Ann Arbor 18
Tel Aviv 17
New York 14
Houston 13
Seattle 13
Sydney 13
London 12
Melbourne 12
Milan 12
Central 11
Kish 11
San Jose 11
Singapore 11
Fleming Island 10
Zurich 10
Gurgaon 9
Leawood 9
Nanjing 9
Tokyo 9
Changsha 8
Jerusalem 8
Montreal 8
Parsippany 8
Seoul 8
Vienna 8
Beijing 7
Dallas 7
Helsinki 7
Landshut 7
Bengaluru 6
Chiang Mai 6
Chongqing 6
Falls Church 6
Haarlem 6
Hadera 6
Linden 6
Paris 6
Augsburg 5
Collestrada 5
Fetsund 5
Hanoi 5
Istanbul 5
Madrid 5
Mashhad 5
Munich 5
Nuremberg 5
Palermo 5
Rajagiriya 5
Tettnang 5
Turin 5
Amsterdam 4
Brooklyn 4
Bucharest 4
Cupertino 4
Foligno 4
Frankfurt am Main 4
Guangzhou 4
Kartal 4
Kolkata 4
Kuala Lumpur 4
Lahore 4
Las Vegas 4
Luxembourg 4
Manchester 4
Mumbai 4
Naples 4
Novara 4
Tallinn 4
Tübingen 4
Agadir 3
Berlin 3
Braga 3
Brampton 3
Cassano Allo Ionio 3
Central District 3
Changchun 3
Chicago 3
Cuenca 3
Duncan 3
Easton 3
Grenoble 3
Groningen 3
Gross-Gerau 3
Helmond 3
Hong Kong 3
Izmir 3
Jakarta 3
Kwai Chung 3
Moscow 3
Münster 3
Naperville 3
Totale 971
Nome #
Exploiting Social Influence to Control Elections Based on Scoring Rules, file dfe4cef7-42f8-ea31-e053-6605fe0a48e4 222
Recommending Links to Maximize the Influence in Social Networks, file dfe4cef7-0e6a-ea31-e053-6605fe0a48e4 201
A particle-based policy for the optimal control of Markov decision processes, file dfe4cef7-0c3d-ea31-e053-6605fe0a48e4 172
MDEForge: An extensible Web-based modeling platform, file dfe4cef7-0990-ea31-e053-6605fe0a48e4 171
Inequity Aversion Pricing in Multi-Unit Markets, file dfe4cef7-21e2-ea31-e053-6605fe0a48e4 132
The economic assessment of seismic damage: an example for the 2012 event in Northern Italy, file dfe4cef7-1013-ea31-e053-6605fe0a48e4 95
CYGNUS, file dfe4cef7-219a-ea31-e053-6605fe0a48e4 92
Sustainability assessment of urban areas through a multicriteria decision support system, file dfe4cef7-12a1-ea31-e053-6605fe0a48e4 85
On fair price discrimination in multi-unit markets, file dfe4cef7-1643-ea31-e053-6605fe0a48e4 84
Parameterized Complexity of Manipulating Sequential Allocation, file dfe4cef7-23ba-ea31-e053-6605fe0a48e4 79
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper), file dfe4cef7-2336-ea31-e053-6605fe0a48e4 72
Coverage Centrality Maximization in Undirected Networks, file dfe4cef7-0e2e-ea31-e053-6605fe0a48e4 66
A chance-constrained approach to the quantized control of a heat ventilation and air conditioning system with prioritized constraints, file dfe4cef7-0e18-ea31-e053-6605fe0a48e4 59
The Impact of Selfishness in Hypergraph Hedonic Games, file dfe4cef7-193b-ea31-e053-6605fe0a48e4 59
Computing Approximate Pure Nash Equilibria in Digraph k-Coloring Games, file dfe4cef7-0e1e-ea31-e053-6605fe0a48e4 58
The Quality of Content Publishing in the Digital Era, file dfe4cef7-18d2-ea31-e053-6605fe0a48e4 57
A More Complete Phenomenology of Tau Lepton Induced Air Showers, file dfe4cef7-0f6a-ea31-e053-6605fe0a48e4 55
Multi-messenger astronomy: gravitational waves, neutrinos, photons, and cosmic rays, file dfe4cef7-15ea-ea31-e053-6605fe0a48e4 29
On Pareto Optimality in Social Distance Games, file dfe4cef7-302b-ea31-e053-6605fe0a48e4 29
0νββ decay: The CUPID-0 experiment, file dfe4cef6-f06a-ea31-e053-6605fe0a48e4 27
Supporting Smart Cities Modeling with Graphical and Textual Editors, file dfe4cef7-1de0-ea31-e053-6605fe0a48e4 27
PLUS: Performance Learning for Uncertainty of Software, file dfe4cef7-0a4b-ea31-e053-6605fe0a48e4 26
CYGNO: Triple-GEM Optical Readout for Directional Dark Matter Search, file dfe4cef7-1a94-ea31-e053-6605fe0a48e4 24
Low-rank lottery tickets: finding efficient low-rank neural networks via matrix differential equations, file 7082ac2c-a455-4f6b-ace4-b972c652f62a 23
Performance-based software model refactoring in fuzzy contexts, file dfe4cef7-122f-ea31-e053-6605fe0a48e4 23
Performance-based selection of software and hardware features under parameter uncertainty, file dfe4cef7-16cc-ea31-e053-6605fe0a48e4 21
From Communicating Machines to Graphical Choreographies, file dfe4cef7-3fd3-ea31-e053-6605fe0a48e4 21
Optimization of a single module of CUPID, file ad93073a-bcf3-46f4-99cc-0fe222b1b96e 18
On Runtime Enforcement via Suppressions, file dfe4cef7-1831-ea31-e053-6605fe0a48e4 16
Performance of Prototype of Optically Readout TPC with a 55Fe source, file dfe4cef7-2199-ea31-e053-6605fe0a48e4 16
The CORAM (COsmic RAy Mission) outreach program: comic ray measurements at high altitude, file dfe4cef6-f0c6-ea31-e053-6605fe0a48e4 15
The first time domain experiment with Swift: monitoring of seven nearby galaxies, file dfe4cef7-11ef-ea31-e053-6605fe0a48e4 14
Defensive Programming for Smart Home Cybersecurity, file dfe4cef7-20db-ea31-e053-6605fe0a48e4 14
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum, file dfe4cef7-232d-ea31-e053-6605fe0a48e4 12
Optimal placement of storage nodes in a wireless sensor network, file dfe4cef7-0e8e-ea31-e053-6605fe0a48e4 11
Results on 82Se 2νββ with CUPID-0 Phase I, file dfe4cef7-2426-ea31-e053-6605fe0a48e4 11
Nash Stability in Social Distance Games, file dfe4cef7-2f92-ea31-e053-6605fe0a48e4 11
Strategyproof Mechanisms for Friends and Enemies Games, file dfe4cef7-1bf0-ea31-e053-6605fe0a48e4 9
Ultra High Energy Cosmic Rays and the Highest Energies Universe, file dfe4cef7-23a9-ea31-e053-6605fe0a48e4 9
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space, file dfe4cef7-4f79-ea31-e053-6605fe0a48e4 9
Recoil Directionality Experiment, file dfe4cef7-52ca-ea31-e053-6605fe0a48e4 9
Investigating the determinants of network learning: a qualitative comparative analysis on an Italian network, file dfe4cef6-f11e-ea31-e053-6605fe0a48e4 8
Studies on the high-energy follow-up of gravitational wave transient events, file dfe4cef7-1118-ea31-e053-6605fe0a48e4 8
Observational Prospects in the Electromagnetic Domain of Gravitational Wave Sources, file dfe4cef7-15f1-ea31-e053-6605fe0a48e4 8
Verifying Concurrent Programs by Memory Unwinding, file dfe4cef7-3751-ea31-e053-6605fe0a48e4 8
A Prototype for Data Race Detection in CSeq 3, file dfe4cef7-63ec-ea31-e053-6605fe0a48e4 8
GeoSpread: an Epidemic Spread Modeling Tool for COVID-19 Using Mobility Data, file 48a64415-b628-42f6-84a8-5d23b3a8e3a9 7
QoS-based formation of software architectures in the Internet of Things, file dfe4cef6-f18c-ea31-e053-6605fe0a48e4 6
Price of pareto optimality in hedonic games, file dfe4cef7-3029-ea31-e053-6605fe0a48e4 6
Model repositories: Will they become reality? A position statement, file 4fe67602-1647-4f54-8c64-2635cd04b083 5
Multi-class queuing networks models for energy optimization, file 5deacd51-7f0e-4f13-853b-5509a67e83d3 5
Enacting Emergent Configurations in the IoT through Domain Objects, file a461c526-b362-4cca-b02d-d9a69a84b2f5 5
Optimization of a single module of CUPID, file dfe4cef7-5b11-ea31-e053-6605fe0a48e4 5
Enabling performance antipatterns to arise from an ADL-based software architecture, file 8a3652cc-5c4f-4a64-8295-646b2e9998a2 4
Lazy sequentialization for TSO and PSO via shared memory abstractions, file dfe4cef6-f05f-ea31-e053-6605fe0a48e4 4
Greedily improving our own centrality in a network, file dfe4cef6-f0b6-ea31-e053-6605fe0a48e4 4
Probabilistic Analysis of Binary Sessions, file dfe4cef6-f8d4-ea31-e053-6605fe0a48e4 4
From large-amplitude kinetic Alfvén fluctuations to kinetic turbulence at proton scales, file dfe4cef6-fe56-ea31-e053-6605fe0a48e4 4
Data-driven Adaptation in Microservice-based IoT Architectures, file dfe4cef7-1789-ea31-e053-6605fe0a48e4 4
A Reference Architecture for Personalized and Self-adaptive e-Health Apps, file dfe4cef7-1a63-ea31-e053-6605fe0a48e4 4
Automated clustering of metamodel repositories, file dfe4cef7-3224-ea31-e053-6605fe0a48e4 4
Model-based Performance Analysis for Architecting Cyber-Physical Dynamic Spaces, file dfe4cef7-6028-ea31-e053-6605fe0a48e4 4
Incremental Composition for Adaptive By-Design Service Based Systems, file 62b55922-ea92-43ed-8179-3bcf4803f7bb 3
A tool for clustering metamodel repositories, file 769b7f52-9a5f-430b-8e4c-bc74c191eee0 3
DeMOCAS: Domain Objects for Service-based Collective Adaptive Systems, file dd573f69-ed8b-4bad-a8a5-40d847c52315 3
Parallel and distributed bounded model checking of multi-threaded programs, file dfe4cef6-f075-ea31-e053-6605fe0a48e4 3
Mining metrics for understanding metamodel characteristics, file dfe4cef6-f0ce-ea31-e053-6605fe0a48e4 3
Identification of Credulous Users on Twitter, file dfe4cef6-f1ee-ea31-e053-6605fe0a48e4 3
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization, file dfe4cef7-0cba-ea31-e053-6605fe0a48e4 3
A Flexible Architecture for Key Performance Indicators Assessment in Smart Cities, file dfe4cef7-17c6-ea31-e053-6605fe0a48e4 3
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space, file dfe4cef7-2718-ea31-e053-6605fe0a48e4 3
Machine Learning Models for SSD and HDD Reliability Prediction, file e8e5a7b0-a4fe-45aa-9819-61e2904a547b 3
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment, file e9c47513-33aa-42b7-bc73-cfef5414e2da 3
null, file fdd19632-ce4e-4f08-a71b-32d643c53a50 3
ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies, file 0e5a3d88-43ff-4d3f-ba7a-5332f85dba58 2
Core-periphery Partitioning and Quantum Annealing, file 12243162-fcda-4b44-a970-247bb053198c 2
Optimizing inference serving on serverless platforms, file 26ba77ea-f9da-4742-ade8-28a03b5234fb 2
null, file 30b14666-18a1-4061-9b9e-f2eb94c50bce 2
Towards a Domain Specific Language for Engineering Collective Adaptive Systems, file 36dd49dc-74c1-41e5-b226-24e6d98fcf09 2
Automated Code Generation for NFC-based Access Control, file 37d99829-06e7-45e7-8efb-42e8400557e6 2
A DevOps Perspective for QoS-Aware Adaptive Applications, file 3b34727f-f10f-434a-88fd-2ee183541b79 2
Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems, file 51a79fc4-e9ef-4846-9f30-eff3d461d7f1 2
Sparse Temporal Spanners with Low Stretch, file 5ef6ad55-ae74-419d-8244-6a68764326a1 2
CEDULE: A scheduling framework for burstable performance in cloud computing, file 730bae23-3ace-496f-af1d-d992cccc06ed 2
Towards an Evaluation Framework for Autonomous Systems, file 7d5a741d-4e3e-43ad-a649-5efa926bbfd0 2
CAStlE: A Tool for Collective Adaptive Systems Engineering, file 816a44eb-6e6a-4912-b3f8-264e5833ecdc 2
Design for Adaptation of Distributed Service-Based Systems, file 8c8a8d37-a223-4214-8085-f323ec4bcb46 2
Simulating COVID-19 containment measures using the South Korean patient data, file a3dad8a3-b47c-4c8b-adc8-3fb9e4c03d67 2
Crystal Eye: a wide sight on the Universe looking for the electromagnetic counterpart of gravitational waves, file dfe4cef6-f274-ea31-e053-6605fe0a48e4 2
Similar Patterns of Cultural and Creative Industries. A Preliminary Analysis Based on Self-Organized-Map to the Italian Case, file dfe4cef7-04ad-ea31-e053-6605fe0a48e4 2
Mining correlations of ATL model transformation and metamodel metrics, file dfe4cef7-0994-ea31-e053-6605fe0a48e4 2
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems, file dfe4cef7-0fb6-ea31-e053-6605fe0a48e4 2
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs, file dfe4cef7-3ecd-ea31-e053-6605fe0a48e4 2
From Communicating Machines to Graphical Choreographies, file dfe4cef7-4a21-ea31-e053-6605fe0a48e4 2
Nonlinear Higher-Order Label Spreading, file dfe4cef7-5c25-ea31-e053-6605fe0a48e4 2
Generalized Matrix Means for Semi-Supervised Learning with Multilayer Graphs, file dfe4cef7-5c27-ea31-e053-6605fe0a48e4 2
A User-driven Adaptation Approach for Microservice-based IoT Applications, file dfe4cef7-5d59-ea31-e053-6605fe0a48e4 2
Proceedings of the Event IPSP2018, file ee9345e2-f593-44be-9a77-de4cafbaa2cd 2
Optimal population mix in pool depletion systems with two-class workload, file f144c053-5a5c-4cc9-b233-83337c8bf572 2
Qualifying chains of transformation with coverage based evaluation criteria, file f37da9df-0646-4412-9610-1fa7f04cd53d 2
Totale 2.386


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021272 2 2 0 11 37 21 15 27 27 36 26 68
2021/2022826 31 33 52 49 55 70 84 86 84 77 95 110
2022/20231.091 87 63 70 77 94 60 138 96 87 109 159 51
2023/2024245 88 98 59 0 0 0 0 0 0 0 0 0
Totale 2.434