FELLI, PAOLO
 Distribuzione geografica
Continente #
AS - Asia 1.457
NA - Nord America 732
EU - Europa 195
SA - Sud America 104
AF - Africa 25
OC - Oceania 2
Totale 2.515
Nazione #
US - Stati Uniti d'America 712
CN - Cina 467
SG - Singapore 445
VN - Vietnam 244
HK - Hong Kong 114
KR - Corea 89
BR - Brasile 83
IT - Italia 61
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
CA - Canada 10
ID - Indonesia 10
BD - Bangladesh 8
GB - Regno Unito 8
MX - Messico 7
CI - Costa d'Avorio 5
IQ - Iraq 5
MA - Marocco 4
PH - Filippine 4
UA - Ucraina 4
EC - Ecuador 3
SA - Arabia Saudita 3
AU - Australia 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
DO - Repubblica Dominicana 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
PR - Porto Rico 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.515
Città #
Singapore 285
Santa Clara 233
Hefei 224
San Jose 130
Hong Kong 114
Seoul 88
Ho Chi Minh City 69
Hanoi 66
Boardman 54
Ashburn 42
Tokyo 23
Bengaluru 20
Bologna 16
Dallas 16
Los Angeles 15
Council Bluffs 14
Florence 14
Haiphong 14
Lauterbourg 14
Beijing 13
Chicago 10
Helsinki 10
Johannesburg 10
Nuremberg 10
Buffalo 9
Hải Dương 9
New York 8
Shanghai 8
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
Mexico City 5
São Paulo 5
Vienna 5
Bắc Ninh 4
Lappeenranta 4
Ninh Bình 4
Salvador 4
Thái Nguyên 4
Toronto 4
Washington 4
Xi'an 4
Yubileyny 4
Amsterdam 3
Boston 3
Chongqing 3
Hangzhou 3
Mumbai 3
Phủ Lý 3
Quận Bình Thạnh 3
Vĩnh Tường 3
Wuhan 3
Abano Terme 2
Barnet 2
Belo Horizonte 2
Bắc Giang 2
Calgary 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
Kansas City 2
London 2
Magny-les-Hameaux 2
Melbourne 2
Milan 2
Moscow 2
Naples 2
Paranaguá 2
Piracicaba 2
Pittsburgh 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
San Francisco 2
Sterling 2
Stockholm 2
Sumaré 2
São Gonçalo 2
Totale 1.757
Nome #
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 153
A Semantic Approach to Decidability in Epistemic Planning 149
Integrating BPMN and DMN: Modeling and Analysis 138
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 127
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 124
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 116
Monitoring Arithmetic Temporal Properties on Finite Traces 109
A Semantic Approach to Decidability in Epistemic Planning 107
Conformance Checking with Uncertainty via SMT 105
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 104
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 92
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 79
LTL-based conformance checking of fuzzy event logs 77
Data-aware conformance checking with SMT 72
Synthesising process controllers from formal models of transformable assembly systems 70
Supervisory Control for Behavior Composition 66
SMT-based Safety Checking of Parameterized Multi-Agent Systems 61
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 53
On the Flexibility of Declarative Process Specifications 53
Repairing Soundness Properties in Data-Aware Processes 53
delphic: Practical DEL Planning via Possibilities 50
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 41
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 40
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 35
Soundness of data-aware processes with arithmetic conditions 33
'Knowing Whether' in Proper Epistemic Knowledge Bases 29
Toward Process Control from Formal Models of Transformable Manufacturing Systems 28
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 27
Planning for a Single Agent in a Multi-Agent Environment Using FOND 26
Towards team formation via automated planning 24
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 24
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 23
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments 22
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases 22
Composite Capabilities for Cloud Manufacturing 22
Two-Player Game Structures for Generalized Planning and Agent Composition 22
Unbounded Orchestrations of Transducers for Manufacturing 21
Description logic Knowledge and Action Bases 21
Agent composition synthesis based on ATL 21
Soundness verification of decision-aware process models with variable-to-variable conditions 20
Parallel Behavior Composition for Manufacturing 20
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 20
Planning over multi-agent epistemic states: A classical planning approach 20
Foundations of Relational Artifacts Verification 20
Verification of Description Logic Knowledge and Action Bases 20
Process Plan Controllers for Non-Deterministic Manufacturing Systems 20
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events 19
Goal-based composition of stateful services for smart homes 19
Synthesising Industry-Standard Manufacturing Process Controllers 19
Synthesis of Orchestrations of Transducers for Manufacturing 17
Realisability of Production Recipes 17
Computing Social Behaviours Using Agent Models 16
Totale 2.686
Categoria #
all - tutte 7.897
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.897


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.565 180 365 184 157 119 30 63 165 125 81 59 37
Totale 2.686