FELLI, PAOLO
 Distribuzione geografica
Continente #
AS - Asia 1.444
NA - Nord America 650
EU - Europa 184
SA - Sud America 103
AF - Africa 25
OC - Oceania 2
Totale 2.408
Nazione #
US - Stati Uniti d'America 637
CN - Cina 463
SG - Singapore 444
VN - Vietnam 243
HK - Hong Kong 113
KR - Corea 89
BR - Brasile 82
IT - Italia 51
IN - India 31
FR - Francia 25
JP - Giappone 24
NL - Olanda 22
RU - Federazione Russa 22
DE - Germania 19
FI - Finlandia 14
AR - Argentina 12
ZA - Sudafrica 11
AT - Austria 10
ID - Indonesia 10
CA - Canada 7
GB - Regno Unito 7
CI - Costa d'Avorio 5
IQ - Iraq 5
MX - Messico 5
MA - Marocco 4
PH - Filippine 4
UA - Ucraina 4
EC - Ecuador 3
SA - Arabia Saudita 3
AU - Australia 2
BD - Bangladesh 2
CL - Cile 2
CZ - Repubblica Ceca 2
EG - Egitto 2
ES - Italia 2
ET - Etiopia 2
IE - Irlanda 2
SE - Svezia 2
TH - Thailandia 2
TR - Turchia 2
CO - Colombia 1
CR - Costa Rica 1
IR - Iran 1
KZ - Kazakistan 1
LT - Lituania 1
MN - Mongolia 1
MY - Malesia 1
NP - Nepal 1
PE - Perù 1
PK - Pakistan 1
PS - Palestinian Territory 1
PY - Paraguay 1
RO - Romania 1
TL - Timor Orientale 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 2.408
Città #
Singapore 284
Santa Clara 228
Hefei 224
San Jose 126
Hong Kong 113
Seoul 88
Ho Chi Minh City 69
Hanoi 65
Boardman 54
Ashburn 37
Tokyo 23
Bengaluru 20
Florence 14
Haiphong 14
Lauterbourg 14
Bologna 13
Dallas 12
Los Angeles 12
Beijing 10
Helsinki 10
Johannesburg 10
Nuremberg 10
Buffalo 9
Council Bluffs 9
Hải Dương 9
Chicago 8
Shanghai 7
The Dalles 7
Tongling 7
Biên Hòa 6
Guangzhou 6
Jakarta 6
Redondo Beach 6
Tampa 6
Abidjan 5
Da Nang 5
Ha Long 5
New York 5
São Paulo 5
Vienna 5
Bắc Ninh 4
Lappeenranta 4
Ninh Bình 4
Salvador 4
Thái Nguyên 4
Xi'an 4
Yubileyny 4
Amsterdam 3
Boston 3
Chongqing 3
Hangzhou 3
Mexico City 3
Mumbai 3
Phủ Lý 3
Quận Bình Thạnh 3
Toronto 3
Vĩnh Tường 3
Wuhan 3
Abano Terme 2
Barnet 2
Belo Horizonte 2
Bắc Giang 2
Can Tho 2
Changchun 2
Changsha 2
Chengdu 2
Dublin 2
Elk Grove Village 2
Foshan 2
Frankfurt am Main 2
Guayaquil 2
Huế 2
Magny-les-Hameaux 2
Melbourne 2
Moscow 2
Paranaguá 2
Piracicaba 2
Presidente Prudente 2
Pune 2
Quận Bảy 2
Quận Một 2
Quận Phú Nhuận 2
Quận Sáu 2
Quận Tân Phú 2
Reggio Emilia 2
Riyadh 2
Rome 2
Salt Lake City 2
Sterling 2
Stockholm 2
Sumaré 2
São Gonçalo 2
Tam Bình 2
Thành Phố Bà Rịa 2
Vedelago 2
Vila Velha 2
Vĩnh Yên 2
Vũng Tàu 2
Xingtai 2
Zhengzhou 2
Totale 1.711
Nome #
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 149
A Semantic Approach to Decidability in Epistemic Planning 146
Integrating BPMN and DMN: Modeling and Analysis 132
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 122
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 121
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 115
Monitoring Arithmetic Temporal Properties on Finite Traces 108
Conformance Checking with Uncertainty via SMT 104
A Semantic Approach to Decidability in Epistemic Planning 103
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 102
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 86
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 78
Data-aware conformance checking with SMT 71
Synthesising process controllers from formal models of transformable assembly systems 70
Supervisory Control for Behavior Composition 65
LTL-based conformance checking of fuzzy event logs 61
SMT-based Safety Checking of Parameterized Multi-Agent Systems 60
Repairing Soundness Properties in Data-Aware Processes 53
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 51
On the Flexibility of Declarative Process Specifications 50
delphic: Practical DEL Planning via Possibilities 47
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 39
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 39
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 34
Soundness of data-aware processes with arithmetic conditions 32
'Knowing Whether' in Proper Epistemic Knowledge Bases 27
Planning for a Single Agent in a Multi-Agent Environment Using FOND 26
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 25
Toward Process Control from Formal Models of Transformable Manufacturing Systems 25
Towards team formation via automated planning 22
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 22
Unbounded Orchestrations of Transducers for Manufacturing 21
Two-Player Game Structures for Generalized Planning and Agent Composition 21
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 20
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases 20
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 20
Composite Capabilities for Cloud Manufacturing 20
Agent composition synthesis based on ATL 20
Soundness verification of decision-aware process models with variable-to-variable conditions 19
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events 19
Goal-based composition of stateful services for smart homes 19
Planning over multi-agent epistemic states: A classical planning approach 19
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments 19
Description logic Knowledge and Action Bases 19
Verification of Description Logic Knowledge and Action Bases 19
Process Plan Controllers for Non-Deterministic Manufacturing Systems 19
Parallel Behavior Composition for Manufacturing 17
Synthesising Industry-Standard Manufacturing Process Controllers 17
Realisability of Production Recipes 17
Foundations of Relational Artifacts Verification 17
Computing Social Behaviours Using Agent Models 16
Synthesis of Orchestrations of Transducers for Manufacturing 16
Totale 2.579
Categoria #
all - tutte 7.212
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 7.212


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.458 180 365 184 157 119 30 63 165 125 70 0 0
Totale 2.579