FELLI, PAOLO
 Distribuzione geografica
Continente #
AS - Asia 1.267
NA - Nord America 468
EU - Europa 143
SA - Sud America 99
AF - Africa 11
OC - Oceania 2
Totale 1.990
Nazione #
US - Stati Uniti d'America 458
SG - Singapore 408
CN - Cina 399
VN - Vietnam 205
HK - Hong Kong 113
KR - Corea 88
BR - Brasile 81
IT - Italia 42
IN - India 23
NL - Olanda 22
RU - Federazione Russa 20
JP - Giappone 17
DE - Germania 15
AR - Argentina 11
FI - Finlandia 11
AT - Austria 10
ID - Indonesia 9
FR - Francia 8
CA - Canada 5
CI - Costa d'Avorio 5
GB - Regno Unito 5
MX - Messico 5
UA - Ucraina 3
ZA - Sudafrica 3
AU - Australia 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
MA - Marocco 2
CL - Cile 1
CO - Colombia 1
EG - Egitto 1
ES - Italia 1
IE - Irlanda 1
IR - Iran 1
KZ - Kazakistan 1
LT - Lituania 1
PE - Perù 1
PY - Paraguay 1
RO - Romania 1
SE - Svezia 1
TL - Timor Orientale 1
TR - Turchia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 1.990
Città #
Singapore 260
Santa Clara 227
Hefei 224
Hong Kong 113
Seoul 88
Ho Chi Minh City 61
Boardman 52
Hanoi 52
Ashburn 33
Bengaluru 20
Tokyo 16
Florence 14
Dallas 12
Haiphong 12
Bologna 11
Los Angeles 11
Beijing 9
Buffalo 9
Nuremberg 9
Hải Dương 8
Helsinki 7
Tongling 7
Biên Hòa 6
Chicago 6
Jakarta 6
Redondo Beach 6
Tampa 6
Abidjan 5
Ha Long 5
Shanghai 5
São Paulo 5
Vienna 5
Bắc Ninh 4
Lappeenranta 4
Ninh Bình 4
Salvador 4
Thái Nguyên 4
Yubileyny 4
Amsterdam 3
Boston 3
Da Nang 3
Guangzhou 3
Hangzhou 3
Mexico City 3
Phủ Lý 3
Quận Bình Thạnh 3
Toronto 3
Wuhan 3
Abano Terme 2
Belo Horizonte 2
Bắc Giang 2
Can Tho 2
Chongqing 2
Elk Grove Village 2
Foshan 2
Huế 2
Johannesburg 2
Magny-les-Hameaux 2
Melbourne 2
Moscow 2
New York 2
Paranaguá 2
Piracicaba 2
Presidente Prudente 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
Rome 2
Salt Lake City 2
Sterling 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 Tường 2
Vĩnh Yên 2
Vũng Tàu 2
Xi'an 2
Xingtai 2
Điện Bàn 2
Aachen 1
Abaeté 1
Ankara 1
Araxá 1
Arrecifes 1
Avellaneda 1
Bauru 1
Beni Mellal 1
Bentivoglio 1
Berazategui 1
Betim 1
Blumenau 1
Bocaiúva 1
Bolzano 1
Bucharest 1
Totale 1.453
Nome #
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 138
A Semantic Approach to Decidability in Epistemic Planning 121
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 114
Integrating BPMN and DMN: Modeling and Analysis 105
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 103
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 100
Monitoring Arithmetic Temporal Properties on Finite Traces 97
Conformance Checking with Uncertainty via SMT 95
A Semantic Approach to Decidability in Epistemic Planning 92
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 82
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 74
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 66
Synthesising process controllers from formal models of transformable assembly systems 64
Supervisory Control for Behavior Composition 58
Data-aware conformance checking with SMT 56
SMT-based Safety Checking of Parameterized Multi-Agent Systems 46
Repairing Soundness Properties in Data-Aware Processes 40
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 38
LTL-based conformance checking of fuzzy event logs 36
On the Flexibility of Declarative Process Specifications 36
delphic: Practical DEL Planning via Possibilities 35
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 33
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 30
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 29
Soundness of data-aware processes with arithmetic conditions 25
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 23
Planning for a Single Agent in a Multi-Agent Environment Using FOND 23
Toward Process Control from Formal Models of Transformable Manufacturing Systems 22
'Knowing Whether' in Proper Epistemic Knowledge Bases 20
Towards team formation via automated planning 20
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 18
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 18
Two-Player Game Structures for Generalized Planning and Agent Composition 18
Process Plan Controllers for Non-Deterministic Manufacturing Systems 17
Goal-based composition of stateful services for smart homes 16
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases 16
Composite Capabilities for Cloud Manufacturing 16
Agent composition synthesis based on ATL 16
Planning over multi-agent epistemic states: A classical planning approach 15
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments 15
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 15
Description logic Knowledge and Action Bases 15
Foundations of Relational Artifacts Verification 15
Verification of Description Logic Knowledge and Action Bases 15
Soundness verification of decision-aware process models with variable-to-variable conditions 14
Parallel Behavior Composition for Manufacturing 14
Synthesis of Orchestrations of Transducers for Manufacturing 14
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events 14
Unbounded Orchestrations of Transducers for Manufacturing 14
Realisability of Production Recipes 14
Computing Social Behaviours Using Agent Models 13
Synthesising Industry-Standard Manufacturing Process Controllers 13
Totale 2.156
Categoria #
all - tutte 6.473
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 6.473


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.035 180 365 184 157 119 30 0 0 0 0 0 0
Totale 2.156