CRIS Current Research Information System

FELLI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.481
NA - Nord America 1.064
EU - Europa 274
Continente sconosciuto - Info sul continente non disponibili 171
SA - Sud America 118
AF - Africa 27
OC - Oceania 2
Totale 3.137
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.029
CN - Cina 469
SG - Singapore 449
VN - Vietnam 244
IT - Italia 138
HK - Hong Kong 118
KR - Corea 90
BR - Brasile 89
IN - India 31
FR - Francia 25
JP - Giappone 24
NL - Olanda 22
RU - Federazione Russa 22
DE - Germania 19
FI - Finlandia 14
CA - Canada 13
ID - Indonesia 13
AR - Argentina 12
ZA - Sudafrica 12
AT - Austria 10
BD - Bangladesh 10
GB - Regno Unito 9
MX - Messico 9
EC - Ecuador 6
PH - Filippine 6
CI - Costa d'Avorio 5
IQ - Iraq 5
SA - Arabia Saudita 5
CO - Colombia 4
MA - Marocco 4
MY - Malesia 4
UA - Ucraina 4
CR - Costa Rica 3
AU - Australia 2
CL - Cile 2
CZ - Repubblica Ceca 2
EG - Egitto 2
ES - Italia 2
ET - Etiopia 2
HN - Honduras 2
IE - Irlanda 2
SE - Svezia 2
TH - Thailandia 2
TR - Turchia 2
VE - Venezuela 2
AM - Armenia 1
BB - Barbados 1
DO - Repubblica Dominicana 1
GP - Guadalupe 1
GT - Guatemala 1
IR - Iran 1
JM - Giamaica 1
KZ - Kazakistan 1
LC - Santa Lucia 1
LT - Lituania 1
LY - Libia 1
MN - Mongolia 1
NP - Nepal 1
PE - Perù 1
PK - Pakistan 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
RO - Romania 1
RS - Serbia 1
TL - Timor Orientale 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
Totale 2.966
Salva come PNG Salva come JPEG
Città #
Singapore 289
Santa Clara 240
Hefei 224
San Jose 164
Hong Kong 118
Seoul 88
Ho Chi Minh City 69
Ashburn 66
Council Bluffs 66
Hanoi 66
Boardman 54
Staranzano 51
Chicago 30
Tokyo 23
Bengaluru 20
Dallas 20
Los Angeles 19
Bologna 16
Beijing 14
Florence 14
Haiphong 14
Lauterbourg 14
New York 13
Buffalo 10
Helsinki 10
Johannesburg 10
Nuremberg 10
Hải Dương 9
Shanghai 8
Milan 7
Tampa 7
The Dalles 7
Tongling 7
Biên Hòa 6
Guangzhou 6
Jakarta 6
Redondo Beach 6
Abidjan 5
Atlanta 5
Da Nang 5
Ha Long 5
Mexico City 5
Naples 5
São Paulo 5
Vienna 5
Bắc Ninh 4
Lappeenranta 4
Ninh Bình 4
Rome 4
Salvador 4
Thái Nguyên 4
Toronto 4
Washington 4
Xi'an 4
Yubileyny 4
Amsterdam 3
Boston 3
Chongqing 3
Guayaquil 3
Hangzhou 3
Kansas City 3
Kuala Lumpur 3
Mumbai 3
Phủ Lý 3
Princeton 3
Quận Bình Thạnh 3
Vĩnh Tường 3
Wuhan 3
Abano Terme 2
Abbeville 2
Auburn 2
Barnet 2
Belo Horizonte 2
Brasília 2
Bridgeport 2
Brooklyn 2
Bắc Giang 2
Calgary 2
Calhoun 2
Can Tho 2
Cape Town 2
Cary 2
Changchun 2
Changsha 2
Chengdu 2
Denver 2
Detroit 2
Dublin 2
Elk Grove Village 2
Fort Lauderdale 2
Foshan 2
Frankfurt am Main 2
Honolulu 2
Huế 2
Kingston 2
Las Vegas 2
Lawrenceville 2
London 2
Magny-les-Hameaux 2
Melbourne 2
Totale 1.984
Salva come PNG Salva come JPEG
Nome #
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 163
Integrating BPMN and DMN: Modeling and Analysis 163
A Semantic Approach to Decidability in Epistemic Planning 161
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 136
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 135
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 129
Monitoring Arithmetic Temporal Properties on Finite Traces 119
A Semantic Approach to Decidability in Epistemic Planning 118
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 116
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 112
Conformance Checking with Uncertainty via SMT 112
LTL-based conformance checking of fuzzy event logs 95
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 91
Synthesising process controllers from formal models of transformable assembly systems 81
Data-aware conformance checking with SMT 79
Supervisory Control for Behavior Composition 76
SMT-based Safety Checking of Parameterized Multi-Agent Systems 73
delphic: Practical DEL Planning via Possibilities 64
Repairing Soundness Properties in Data-Aware Processes 63
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 61
On the Flexibility of Declarative Process Specifications 60
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 48
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 48
Soundness of data-aware processes with arithmetic conditions 42
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 40
'Knowing Whether' in Proper Epistemic Knowledge Bases 36
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 35
Planning over multi-agent epistemic states: A classical planning approach 34
Soundness verification of decision-aware process models with variable-to-variable conditions 33
Toward Process Control from Formal Models of Transformable Manufacturing Systems 32
Planning for a Single Agent in a Multi-Agent Environment Using FOND 32
Two-Player Game Structures for Generalized Planning and Agent Composition 31
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 30
Towards team formation via automated planning 29
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments 29
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases 29
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 28
Parallel Behavior Composition for Manufacturing 27
Goal-based composition of stateful services for smart homes 27
Description logic Knowledge and Action Bases 27
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 26
Synthesising Industry-Standard Manufacturing Process Controllers 26
Unbounded Orchestrations of Transducers for Manufacturing 26
Composite Capabilities for Cloud Manufacturing 26
Agent composition synthesis based on ATL 26
Process Plan Controllers for Non-Deterministic Manufacturing Systems 26
Foundations of Relational Artifacts Verification 25
Synthesis of Orchestrations of Transducers for Manufacturing 24
Verification of Description Logic Knowledge and Action Bases 23
Computing Social Behaviours Using Agent Models 22
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events 22
Realisability of Production Recipes 21
Totale 3.137
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.312
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 9.312
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023127 0 0 0 0 36 68 0 2 0 0 0 21
2023/202471 4 0 7 5 0 8 4 7 3 14 18 1
2024/2025923 44 129 41 45 264 53 86 6 7 27 64 157
2025/20261.570 180 365 184 157 119 30 63 165 125 81 59 42
2026/2027446 53 68 207 118 0 0 0 0 0 0 0 0
Totale 3.137