CINECA IRIS Institutional Research Information System

TORTA, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.802
EU - Europa 2.322
AS - Asia 807
AF - Africa 20
OC - Oceania 10
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.969
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.747
DK - Danimarca 420
IT - Italia 400
SE - Svezia 370
CN - Cina 331
SG - Singapore 251
IE - Irlanda 225
DE - Germania 215
FR - Francia 136
UA - Ucraina 135
FI - Finlandia 120
GB - Regno Unito 111
KR - Corea 73
PL - Polonia 62
CA - Canada 53
VN - Vietnam 46
RU - Federazione Russa 45
ID - Indonesia 37
IN - India 18
AT - Austria 16
NL - Olanda 15
BE - Belgio 14
AU - Australia 10
ZA - Sudafrica 10
ES - Italia 9
GR - Grecia 9
TW - Taiwan 7
HK - Hong Kong 6
SA - Arabia Saudita 6
PH - Filippine 5
TR - Turchia 5
CH - Svizzera 4
IL - Israele 4
IR - Iran 4
JP - Giappone 4
NG - Nigeria 4
PK - Pakistan 4
CZ - Repubblica Ceca 3
LK - Sri Lanka 3
PT - Portogallo 3
A1 - Anonimo 2
BD - Bangladesh 2
BR - Brasile 2
MA - Marocco 2
MX - Messico 2
RO - Romania 2
AR - Argentina 1
BA - Bosnia-Erzegovina 1
DZ - Algeria 1
EE - Estonia 1
EU - Europa 1
HU - Ungheria 1
LU - Lussemburgo 1
LV - Lettonia 1
NO - Norvegia 1
PY - Paraguay 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 6.969
Salva come PNG Salva come JPEG
Città #
Ann Arbor 854
Chandler 395
Santa Clara 276
Dublin 225
Singapore 195
Wilmington 194
Beijing 152
Fairfield 145
Jacksonville 135
Houston 132
Torino 112
Dearborn 91
Guangzhou 90
Turin 90
Woodbridge 90
Ashburn 84
Villeurbanne 71
Columbus 67
Princeton 65
Medford 64
Warsaw 62
Cambridge 59
Boardman 53
Pisa 53
Nyköping 42
Seattle 41
Dong Ket 37
Boston 31
Jakarta 29
Helsinki 26
Norwalk 23
Ottawa 21
Redwood City 21
Falls Church 19
Wayne 18
Toronto 16
Milan 15
Brussels 13
New York 12
Fremont 11
Nanjing 10
Naples 10
Lachine 9
San Diego 9
Yubileyny 9
Hefei 8
San Mateo 8
Kunming 7
Lappeenranta 7
Taipei 7
Verona 7
Dallas 6
Miami 6
Mountain View 6
Port Elizabeth 6
Shenyang 6
Edinburgh 5
Nürnberg 5
Phoenix 5
Southampton 5
Vienna 5
Abuja 4
Des Moines 4
Düsseldorf 4
Hebei 4
Los Angeles 4
Nuremberg 4
Padova 4
Rome 4
Shanghai 4
Central 3
Chennai 3
Delhi 3
Hong Kong 3
Leawood 3
Madrid 3
Mataram 3
Montlhery 3
Nanchang 3
Pretoria 3
San Jose 3
Seoul 3
Stockholm 3
Tokyo 3
Washington 3
Adelaide 2
Assago 2
Bengaluru 2
Bolzano 2
Bruck an der Leitha 2
Buffalo 2
Buraidah 2
Bécancour 2
Changchun 2
Cisano Bergamasco 2
Coimbatore 2
Favaro Veneto 2
Florence 2
Frankfurt am Main 2
Fuzhou 2
Totale 4.386
Salva come PNG Salva come JPEG
Nome #
Representing Ecological Network Specifications with Semantic Web Techniques 378
GeCoLan: A constraint language for reasoning about ecological networks in the semantic web 359
Ontological Representation of Constraints for Geographical Reasoning 324
35 Years of Pietro Torasso's work on diagnosis 286
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans 252
SMT-based diagnosis of Multi-Agent Temporal Plans 237
Temporal Multiagent Plan Execution: Explaining What Happened 234
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas 210
A Scheduling Tool for Conditionally Independent Temporal Preferences 195
Explaining interdependent action delays in multiagent plans execution 194
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions 191
Scheduling with Structured Preferences 186
A web-based, relational database for studying glaciers in the Italian Alps 165
Cost-sensitive Iterative Abductive Reasoning with Abstractions 156
Mixed-Initiative management of online calendars 144
Diagnosing Dependent Action Delays in Temporal Multiagent Plans 142
Automatic component abstraction for Model-Based Diagnosis on relational models 141
Interacting with the User in Calendar Management 135
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains 129
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model 119
Diagnosing Delays in Multi-Agent Plans Execution 117
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations 108
Hypothesis Discrimination with Abstractions based on Observation and Action Costs 107
Computing Minimum-Cardinality Diagnoses Using OBDDs 106
Intelligent User Interfaces for calendar management 91
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems 88
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis 87
High Level Interpretation of Action Failures in Multi-Robot Systems 86
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems 83
Mixed-Initiative Scheduling of Tasks in User Collaboration 82
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability 81
A Theory of Abstraction for Diagnosis of Discrete-Event Systems 80
Reasoning about Time Constraints in a Mixed-Initiative Calendar Manager 80
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis 79
RM for Users' Safety and Security in the Built Environment 76
Compact Diagnoses Representation in Diagnostic Problem Solving 75
Exploiting Automatic Validation in Human Mission Planning 72
Formalizing the Abstraction Process in Model-Based Diagnosis 70
On-line monitoring and diagnosis of a team of service robots: A model-based approach 70
On-line Monitoring and Diagnosis of Multi-Agent Systems: a Model Based Approach 69
Qualitative Domain Abstractions for Time-Varying Systems: an Approach based on Reusable Abstraction Fragments 68
On the role of modeling causal independence for system model compilation with OBDDs 66
Monitoring and Diagnosing Multi-Agent Systems: the RoboCare proposal 65
The role of obdds in controlling tha complexity of model based diagnosis 63
Distributed runtime verification by past-CTL and the field calculus 61
On the Use of OBDDs in Model Based Diagnosis: an Approach based on the Partition of the Model 60
Computation of Minimal Sensor Sets for Conditional Testability Requirements 60
Parametric Abstraction of Behavioral Modes for Model-Based Diagnosis 59
Reformulation for the diagnosis of discrete-event systems 58
Fostering resilient execution of multi-agent plans through self-organisation 57
Un database relazionale web-based per lo studio dei ghiacciai del piemonte 54
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis 54
Intelligent Supervision of Plan Execution in Multi-Agent Systems 51
IMPROVING ON-BOARD DIAGNOSIS EFFICIENCY THROUGH AUTOMATIC SYSTEM MODEL ABSTRACTION 50
Merging Indiscriminable Diagnoses: An Approach Based on Automatic Domains Abstraction 47
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration 44
Integration of Cultural and Natural Heritage Information in Future Mobile Guides 44
Abductive Problem Solving with Abstractions 39
Aggregate processes as distributed adaptive services for the Industrial Internet of Things 38
An Intelligent Support System to Help Teachers Plan Field Trips 35
Towards aggregate monitoring of spatio-temporal properties 35
A field-based computing approach to sensing-driven clustering in robot swarms 30
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes 29
Aggregate Programming for Customized Building Management and Users Preference Implementation 27
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions 26
Towards a Standard for Human Interaction with Connected Autonomous Vehicles 26
Bringing Aggregate Programming Towards the Cloud 25
On the Dynamic Evolution of Distributed Computational Aggregates 14
Extensible 3D Simulation of Aggregated Systems with FCPP 14
On Stream Runtime Verification and Aggregate Programming 13
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks 12
Parallelising an Aggregate Programming Framework with Message-Passing Interface 11
FCPP to Aggregate Them All 11
Real-Time Guarantees for SLCS Monitors in XC 11
Toward Secure TinyML on a Standardized AI Architecture 9
An Enhanced Exchange Operator for XC 7
A general framework and decentralised algorithms for collective computational processes 6
Towards Real-Time Aggregate Computing 1
Totale 7.264
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.297
article - articoli 0
book - libri 0
conference - conferenze 13.140
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.437
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020894 0 0 0 0 0 173 126 88 173 96 126 112
2020/20211.507 172 70 100 96 141 146 109 108 185 160 130 90
2021/2022739 19 45 51 85 62 22 55 32 17 36 167 148
2022/20231.085 93 88 6 111 117 269 87 83 114 9 63 45
2023/2024426 60 81 27 35 23 29 2 6 2 39 49 73
2024/2025872 70 165 78 126 365 68 0 0 0 0 0 0
Totale 7.264