CRIS Current Research Information System

FELLI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.466
NA - Nord America 793
EU - Europa 214
Continente sconosciuto - Info sul continente non disponibili 171
SA - Sud America 105
AF - Africa 25
OC - Oceania 2
Totale 2.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 771
CN - Cina 469
SG - Singapore 447
VN - Vietnam 244
HK - Hong Kong 118
KR - Corea 89
BR - Brasile 83
IT - Italia 80
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
CA - Canada 11
ID - Indonesia 11
ZA - Sudafrica 11
AT - Austria 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
CO - Colombia 2
CR - Costa Rica 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
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.605
Salva come PNG Salva come JPEG
Città #
Singapore 287
Santa Clara 237
Hefei 224
San Jose 137
Hong Kong 118
Seoul 88
Ho Chi Minh City 69
Hanoi 66
Boardman 54
Ashburn 50
Tokyo 23
Bengaluru 20
Bologna 16
Council Bluffs 16
Dallas 16
Los Angeles 15
Beijing 14
Florence 14
Haiphong 14
Lauterbourg 14
Chicago 10
Helsinki 10
Johannesburg 10
Nuremberg 10
Buffalo 9
Hải Dương 9
New York 8
Shanghai 8
Milan 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
Mexico City 5
São Paulo 5
Vienna 5
Bắc Ninh 4
Lappeenranta 4
Naples 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
Kansas City 3
Mumbai 3
Phủ Lý 3
Quận Bình Thạnh 3
Rome 3
Vĩnh Tường 3
Wuhan 3
Abano Terme 2
Barnet 2
Belo Horizonte 2
Bridgeport 2
Bắc Giang 2
Calgary 2
Calhoun 2
Can Tho 2
Cary 2
Changchun 2
Changsha 2
Chengdu 2
Dublin 2
Elk Grove Village 2
Fort Lauderdale 2
Foshan 2
Frankfurt am Main 2
Guayaquil 2
Huế 2
London 2
Magny-les-Hameaux 2
Melbourne 2
Miami 2
Miano 2
Moscow 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
Totale 1.794
Salva come PNG Salva come JPEG
Nome #
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 153
A Semantic Approach to Decidability in Epistemic Planning 150
Integrating BPMN and DMN: Modeling and Analysis 149
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 128
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 127
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 119
Monitoring Arithmetic Temporal Properties on Finite Traces 110
A Semantic Approach to Decidability in Epistemic Planning 108
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 107
Conformance Checking with Uncertainty via SMT 107
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 96
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 82
LTL-based conformance checking of fuzzy event logs 81
Synthesising process controllers from formal models of transformable assembly systems 75
Data-aware conformance checking with SMT 74
Supervisory Control for Behavior Composition 69
SMT-based Safety Checking of Parameterized Multi-Agent Systems 63
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 55
On the Flexibility of Declarative Process Specifications 55
Repairing Soundness Properties in Data-Aware Processes 55
delphic: Practical DEL Planning via Possibilities 54
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 42
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 41
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 37
Soundness of data-aware processes with arithmetic conditions 34
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 31
'Knowing Whether' in Proper Epistemic Knowledge Bases 29
Soundness verification of decision-aware process models with variable-to-variable conditions 28
Planning over multi-agent epistemic states: A classical planning approach 28
Toward Process Control from Formal Models of Transformable Manufacturing Systems 28
Planning for a Single Agent in a Multi-Agent Environment Using FOND 26
Towards team formation via automated planning 25
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 24
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 24
Unbounded Orchestrations of Transducers for Manufacturing 22
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
Synthesising Industry-Standard Manufacturing Process Controllers 21
Description logic Knowledge and Action Bases 21
Agent composition synthesis based on ATL 21
Foundations of Relational Artifacts Verification 21
Parallel Behavior Composition for Manufacturing 20
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 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
Synthesis of Orchestrations of Transducers for Manufacturing 17
Realisability of Production Recipes 17
Computing Social Behaviours Using Agent Models 16
Totale 2.776
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.420
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 8.420
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/202785 53 32 0 0 0 0 0 0 0 0 0 0
Totale 2.776